Uses of Class
kodkod.ast.Decls

Packages that use Decls
kodkod.ast Contains classes for creating Kodkod formulas, expressions, and integer expressions. 
kodkod.ast.visitor Contains visitors for Kodkod formulas, expressions, and integer expressions. 
 

Uses of Decls in kodkod.ast
 

Subclasses of Decls in kodkod.ast
 class Decl
          A variable declaration, such as 'x : lone X'.
 

Methods in kodkod.ast that return Decls
 Decls Decls.and(Decls decls)
          Returns a sequence of this.size + decls.size declarations that has these declarations as the prefix and the given declarations as the suffix.
 Decls SumExpression.declarations()
          Returns this.decls.
 Decls QuantifiedFormula.declarations()
          Returns this.declarations.
 Decls Comprehension.declarations()
           
 

Methods in kodkod.ast with parameters of type Decls
 Decls Decls.and(Decls decls)
          Returns a sequence of this.size + decls.size declarations that has these declarations as the prefix and the given declarations as the suffix.
 Expression Formula.comprehension(Decls decls)
          Returns the comprehension expression constructed from this formula and the given declarations.
 Formula Formula.forAll(Decls decls)
          Returns a formula that represents a universal quantification of this formula over the given declarations.
 Formula Formula.forSome(Decls decls)
          Returns a formula that represents an existential quantification of this formula over the given declarations.
 Formula Formula.quantify(QuantifiedFormula.Quantifier quantifier, Decls decls)
          Returns a quantification of this formula using the given quantifier over the specified declarations.
 IntExpression IntExpression.sum(Decls decls)
          Returns an integer expression that is the sum of all values that this integer expression can take given the provided declarations.
 

Uses of Decls in kodkod.ast.visitor
 

Methods in kodkod.ast.visitor that return Decls
 Decls AbstractReplacer.visit(Decls decls)
          Calls lookup(decls) and returns the cached value, if any.
 

Methods in kodkod.ast.visitor with parameters of type Decls
 void VoidVisitor.visit(Decls decls)
          Visits the given sequence of declarations.
 D ReturnVisitor.visit(Decls decls)
          Visits the given sequence of declarations and returns the result.
 void AbstractVoidVisitor.visit(Decls decls)
          Visits all the children of the given declarations node if this.visited(decls) returns false.
 Decls AbstractReplacer.visit(Decls decls)
          Calls lookup(decls) and returns the cached value, if any.
 java.lang.Boolean AbstractDetector.visit(Decls decls)
          Calls lookup(decls) and returns the cached value, if any.
 java.util.Set<T> AbstractCollector.visit(Decls decls)
          Calls lookup(decls) and returns the cached value, if any.