|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |