com.ibm.wala.logic
Class NotFormulaMaxTerm

java.lang.Object
  com.ibm.wala.logic.NotFormula
      com.ibm.wala.logic.NotFormulaMaxTerm

All Implemented Interfaces:

ICNFFormula, IFormula, IMaxTerm

public class NotFormulaMaxTerm
extends NotFormula
implements IMaxTerm

An irreducible Not Formula. use carefully.

Nested Class Summary

Nested classes/interfaces inherited from interface com.ibm.wala.logic.IFormula

IFormula.Kind

Method Summary

java.util.Collection<? extends IMaxTerm>	getMaxTerms()
static NotFormulaMaxTerm	make(RelationFormula f)

Methods inherited from class com.ibm.wala.logic.NotFormula

equals, getAllTerms, getConstants, getFormula, getFreeVariables, getKind, hashCode, make, prettyPrint, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.ibm.wala.logic.IFormula

getAllTerms, getConstants, getFreeVariables, getKind, prettyPrint

Method Detail

make

public static NotFormulaMaxTerm make(RelationFormula f)

getMaxTerms

public java.util.Collection<? extends IMaxTerm> getMaxTerms()

Specified by:

getMaxTerms in interface ICNFFormula