com.evelopers.unimod.analysis
Class FormulaSimplifier

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

Direct Known Subclasses:

ASTFormulaSimplifier

class FormulaSimplifier

extends java.lang.Object

Constructor Summary

FormulaSimplifier()

Method Summary

void	addTerm(TermSimplifier term)
java.util.List	getFormula()
boolean	isIdenticalFalse()
boolean	isIdenticalTrue()

Methods inherited from class java.lang.Object

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

Constructor Detail

FormulaSimplifier

public FormulaSimplifier()

Method Detail

addTerm

public void addTerm(TermSimplifier term)

getFormula

public java.util.List getFormula()

isIdenticalFalse

public boolean isIdenticalFalse()

isIdenticalTrue

public boolean isIdenticalTrue()