Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
java.lang.Object
org.grinvin.conjecture.engine.apengine.Operators.Invariant
Field Summary | |
int |
Constructor Summary | |
|
Method Summary | |
String |
|
Expression |
|
String |
|
public String renderString(String[] args)
- Specified by:
- renderString in interface Operators.Operator
public Expression toExpression(Expression[] args)
- Specified by:
- toExpression in interface Operators.Operator
public String toString()