Modifier and Type | Field and Description |
---|---|
static Entier |
UN
Constant 1.
|
static Entier |
ZERO
Constant 0.
|
Constructor and Description |
---|
Entier(int a)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
int |
compute()
Compute the integer value of an expression.
|
Term |
engine()
Process the rules and get back the simplified expression.
|
int |
getValue()
Gets the value.
|
boolean |
isComputable()
Test if the expression is computable.
|
boolean |
isUnit()
Test if unit.
|
boolean |
isZero()
Test if zero.
|
Term |
oneReduction()
Process one step of simplification.
|
java.lang.String |
toString()
External representation.
|
public static final Entier ZERO
public static final Entier UN
public int getValue()
public java.lang.String toString()
Term
public int compute()
Term
compute
in interface Term
Term.compute()
public boolean isZero()
Term
isZero
in interface Term
Term.isZero()
public boolean isUnit()
Term
isUnit
in interface Term
Term.isUnit()
public Term engine()
Term
engine
in interface Term
Term.engine()
public boolean isComputable()
Term
isComputable
in interface Term
Term.isComputable()
public Term oneReduction()
Term
oneReduction
in interface Term
Term.oneReduction()