Uses of Class
kodkod.ast.Multiplicity

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'.