|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use LeafExpression | |
---|---|
kodkod.ast | Contains classes for creating Kodkod formulas, expressions, and integer expressions. |
kodkod.engine.fol2sat | Provides a facade for translating, evaluating, and approximating Kodkod formulas, expressions, and int expressions with respect to a given Bounds (or Instance) and Options. |
Uses of LeafExpression in kodkod.ast |
---|
Subclasses of LeafExpression in kodkod.ast | |
---|---|
class |
ConstantExpression
A constant valued expression. |
class |
Relation
A relation is a leaf expression. |
class |
Variable
Represents a variable in a quantified formula ,
a comprehension expression , or a sum expression . |
Uses of LeafExpression in kodkod.engine.fol2sat |
---|
Methods in kodkod.engine.fol2sat that return LeafExpression | |
---|---|
LeafExpression |
UnboundLeafException.leaf()
Returns this.leaf. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |