search

abau / co4

COmplexity COncerned COnstraint COmpiler
GNU General Public License v3.0
2 stars 3 forks source link

ArgFilter with projections #69

Closed jwaldmann closed 10 years ago

jwaldmann commented 10 years ago

we have

type ArgFilter key             = Map key [Index]

we want

type ArgFilter key             = Map key Filter
data Filter = Selection [Index] | Projection Index
jwaldmann commented 10 years ago

tpdb-4.0/TRS/D33/20.trs works nicely 

1. Argument Filter:
not^[0] project 0
not#^[0] project 0
and^[0, 0] select [1, 0]
or^[0, 0] select [1, 0]

but tpdb-4.0/TRS/D33/17.trs eats up all RAM during CNF construction.