Overview Package Tree Index Deprecated About
Prev Class | Next ClassFrames | No Frames
Summary: Nested | Field | Method | ConstrDetail: Nested | Field | Method | Constr

org.grinvin.conjecture.engine.apengine

Class Operators.Invariant

Enclosing Class:
Operators
Implemented Interfaces:
Operators.Operator
public static class Operators.Invariant
extends java.lang.Object
implements Operators.Operator

Field Summary

int
number

Constructor Summary

Invariant(int number)

Method Summary

String
renderString(String[] args)
Expression
toExpression(Expression[] args)
String
toString()

Field Details

number

public int number

Constructor Details

Invariant

public Invariant(int number)

Method Details

renderString

public String renderString(String[] args)
Specified by:
renderString in interface Operators.Operator

toExpression

public Expression toExpression(Expression[] args)
Specified by:
toExpression in interface Operators.Operator

toString

public String toString()

Overview Package Tree Index Deprecated About