|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Objectjava.lang.Enum<Multiplicity>
kodkod.ast.Multiplicity
public enum Multiplicity
Represents the multiplicity of an expression
in a MultiplicityFormula
or
the multiplicity of a variable in a Decl
.
Enum Constant Summary | |
---|---|
LONE
lone expr: expr contains at most one element. |
|
NO
no expr: expr contains no elements. |
|
ONE
one expr: expr contains exactly one element. |
|
SET
v: set expr: v is a subset of expr. |
|
SOME
some expr: expr contains at least one element. |
Method Summary | |
---|---|
static Multiplicity |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static Multiplicity[] |
values()
Returns an array containing the constants of this enum type, in the order they're declared. |
Methods inherited from class java.lang.Enum |
---|
compareTo, equals, getDeclaringClass, hashCode, name, ordinal, toString, valueOf |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Enum Constant Detail |
---|
public static final Multiplicity NO
public static final Multiplicity LONE
public static final Multiplicity ONE
public static final Multiplicity SOME
public static final Multiplicity SET
Method Detail |
---|
public static final Multiplicity[] values()
for(Multiplicity c : Multiplicity.values()) System.out.println(c);
public static Multiplicity valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.
java.lang.IllegalArgumentException
- if this enum type has no constant
with the specified name
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |