Uses of Class
kodkod.ast.LeafExpression

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.