Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
java.lang.Object
org.grinvin.expr.ExpressionToFormula
Method Summary | |
TeXFormula |
|
int |
|
void |
|
void |
|
void |
|
public TeXFormula getFormula()
Return the resulting formula.
public int getStrength()
Return the strength of the resulting formula. (Used to determine whether parentheses are needed.)
public void visitCompound(Compound compound)
- Specified by:
- visitCompound in interface Expression.Visitor
public void visitIntegerLiteral(IntegerLiteral literal)
- Specified by:
- visitIntegerLiteral in interface Expression.Visitor
public void visitInvariant(Invariant invariant)
- Specified by:
- visitInvariant in interface Expression.Visitor