com.evelopers.unimod.analysis
Class ASTFormulaSimplifier

java.lang.Object
  com.evelopers.unimod.analysis.FormulaSimplifier
      com.evelopers.unimod.analysis.ASTFormulaSimplifier

class ASTFormulaSimplifier

extends FormulaSimplifier

Field Summary

(package private) antlr.ASTFactory

astFactory

Constructor Summary

ASTFormulaSimplifier(antlr.ASTFactory astFactory)

Method Summary

void	addTerm(TermSimplifier term)
java.util.List	getFormula()
antlr.collections.AST	getSimplifiedFormula()
boolean	isIdenticalFalse()
boolean	isIdenticalTrue()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

astFactory

antlr.ASTFactory astFactory

Constructor Detail

ASTFormulaSimplifier

public ASTFormulaSimplifier(antlr.ASTFactory astFactory)

Method Detail

getSimplifiedFormula

public antlr.collections.AST getSimplifiedFormula()

addTerm

public void addTerm(TermSimplifier term)

getFormula

public java.util.List getFormula()

isIdenticalFalse

public boolean isIdenticalFalse()

isIdenticalTrue

public boolean isIdenticalTrue()