|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
SConstraint<V extends Var> | |
SConstraintCollection | An interface for handling collections (sets/sequences) of constraints. |
Class Summary | |
---|---|
AbstractSConstraint<V extends Var> | An abstract class for all implementations of listeners |
ConstantSConstraint | |
Formula | a class that is used to represent a syntatic formula involving unknowns. |
Enum Summary | |
---|---|
SConstraintType |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |