Package edu.toronto.cs.tlq

Classes used by TLQSolver extension of XChek

See:
          Description

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.
 

Package edu.toronto.cs.tlq Description

Classes used by TLQSolver extension of XChek