Package edu.toronto.cs.tlq

Class Summary
MvSetCrossProductAlgebra  
MvSetPlaceholderReWriter rewrites all placeholders into XCTL expressions as described in our papers
MvSetUpsetAlgebra  
PlaceholderReWriter rewrites all placeholders into XCTL expressions as described in our papers
UpSetAlgebra class UpSetAlgebra represents a large lattice of upsets Each element is encoded as an ordered list of integers, each integer corresponding to a minimal element of some lattice.