Uses of Class
kodkod.ast.Decl

Packages that use Decl
kodkod.ast Contains classes for creating Kodkod formulas, expressions, and integer expressions. 
kodkod.ast.visitor Contains visitors for Kodkod formulas, expressions, and integer expressions. 
kodkod.engine.config Provides a mechanism for configuring the kodkod engine and for passing messages between the engine and the client. 
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 Decl in kodkod.ast
 

Methods in kodkod.ast that return Decl
 Decl Variable.declare(Multiplicity mult, Expression expr)
          Returns the declaration that constrains this variable to be bound to the specified number of the elements in the given expression: 'this: mult expr'.
 Decl Variable.loneOf(Expression expr)
          Returns the declaration that constrains this variable to be bound to at most one element of the given expression: 'this: lone expr'.
 Decl Variable.oneOf(Expression expr)
          Returns the declaration that constrains this variable to be bound to exactly one element of the given expression: 'this: one expr'.
 Decl Variable.setOf(Expression expr)
          Returns the declaration that constrains this variable to be bound to a subset of the elements in the given expression: 'this: set expr'.
 Decl Variable.someOf(Expression expr)
          Returns the declaration that constrains this variable to be bound to at least one element of the given expression: 'this: some expr'.
 

Methods in kodkod.ast that return types with arguments of type Decl
 java.util.List<Decl> Decls.declarations()
          Returns an unmodifiable List view of this declaration sequence
 java.util.Iterator<Decl> Decls.iterator()
          Returns an unmodifiable iterator over the declarations in this Decls object.
 

Uses of Decl in kodkod.ast.visitor
 

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

Methods in kodkod.ast.visitor with parameters of type Decl
 void VoidVisitor.visit(Decl decl)
          Visits the given declaration.
 D ReturnVisitor.visit(Decl decl)
          Visits the given declaration and returns the result.
 void AbstractVoidVisitor.visit(Decl decl)
          Visits the variable and expression of this decl if this.visited(decl) returns false.
 Decl AbstractReplacer.visit(Decl decl)
          Calls lookup(decl) and returns the cached value, if any.
 java.lang.Boolean AbstractDetector.visit(Decl decl)
          Calls lookup(decl) and returns the cached value, if any.
 java.util.Set<T> AbstractCollector.visit(Decl decl)
          Calls lookup(decl) and returns the cached value, if any.
 

Uses of Decl in kodkod.engine.config
 

Methods in kodkod.engine.config with parameters of type Decl
 void Reporter.skolemizing(Decl decl, Relation skolem, java.util.List<Decl> context)
          Reports that the given declaration is being skolemized using the given skolem relation.
 void ConsoleReporter.skolemizing(Decl decl, Relation skolem, java.util.List<Decl> context)
          Reports that the given declaration is being skolemized using the given skolem relation.
 void AbstractReporter.skolemizing(Decl decl, Relation skolem, java.util.List<Decl> context)
          Reports that the given declaration is being skolemized using the given skolem relation.
 

Method parameters in kodkod.engine.config with type arguments of type Decl
 void Reporter.skolemizing(Decl decl, Relation skolem, java.util.List<Decl> context)
          Reports that the given declaration is being skolemized using the given skolem relation.
 void ConsoleReporter.skolemizing(Decl decl, Relation skolem, java.util.List<Decl> context)
          Reports that the given declaration is being skolemized using the given skolem relation.
 void AbstractReporter.skolemizing(Decl decl, Relation skolem, java.util.List<Decl> context)
          Reports that the given declaration is being skolemized using the given skolem relation.
 

Uses of Decl in kodkod.engine.fol2sat
 

Methods in kodkod.engine.fol2sat that return Decl
 Decl HigherOrderDeclException.decl()
          Returns this.decl