|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Multiplicity | |
---|---|
kodkod.ast | Contains classes for creating Kodkod formulas, expressions, and integer expressions. |
Uses of Multiplicity in kodkod.ast |
---|
Methods in kodkod.ast that return Multiplicity | |
---|---|
Multiplicity |
MultiplicityFormula.multiplicity()
Returns the mulitplicity of this. |
Multiplicity |
Decl.multiplicity()
Returns the multiplicity in this declaration. |
Multiplicity |
RelationPredicate.Function.targetMult()
Returns the target multiplicity of the function represented by this.relation. |
static Multiplicity |
Multiplicity.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static Multiplicity[] |
Multiplicity.values()
Returns an array containing the constants of this enum type, in the order they're declared. |
Methods in kodkod.ast with parameters of type Multiplicity | |
---|---|
Formula |
Expression.apply(Multiplicity mult)
Returns the formula that results from applying the specified multiplicity to this expression. |
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'. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |