public enum A2BaseRelation extends java.lang.Enum<A2BaseRelation> implements BaseRelation
Modifier and Type | Field and Description |
---|---|
int |
index |
A2BaseRelation |
inverse |
java.lang.String |
relation
NO CHANGE IS NECESSARY BEYOND THIS POINT (only change the class name)
Unfortunately, this MUST be copied in all class.
|
Modifier and Type | Method and Description |
---|---|
int |
getIndex() |
A2BaseRelation |
getInverse() |
java.lang.String |
getString() |
void |
init(int idx,
A2BaseRelation inv) |
static A2BaseRelation |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static A2BaseRelation[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
void |
write(java.io.PrintWriter writer) |
public static final A2BaseRelation EQUIV
public static final A2BaseRelation DIFF
public final java.lang.String relation
public int index
public A2BaseRelation inverse
public static A2BaseRelation[] values()
for (A2BaseRelation c : A2BaseRelation.values()) System.out.println(c);
public static A2BaseRelation 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 namejava.lang.NullPointerException
- if the argument is nullpublic java.lang.String getString()
getString
in interface BaseRelation
public int getIndex()
getIndex
in interface BaseRelation
public A2BaseRelation getInverse()
getInverse
in interface BaseRelation
public void init(int idx, A2BaseRelation inv)
public void write(java.io.PrintWriter writer)
write
in interface BaseRelation
(C) INRIA & friends, 2003-2020