org.grinvin.expr

Interface Expression.Visitor

Known Implementing Classes:
ExpressionSaver, ExpressionToFormula, ExpressionToString

public static interface Expression.Visitor

Interface for visitors to expressions.

Method Summary

void
visitCompound(Compound compound)
void
visitIntegerLiteral(IntegerLiteral literal)
void
visitInvariant(Invariant invariant)

Method Details

visitCompound

public void visitCompound(Compound compound)

visitIntegerLiteral

public void visitIntegerLiteral(IntegerLiteral literal)

visitInvariant

public void visitInvariant(Invariant invariant)