|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |