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