com.ibm.wala.logic
Class BooleanConstantFormula

java.lang.Object
  com.ibm.wala.logic.BooleanConstantFormula

All Implemented Interfaces:

ICNFFormula, IFormula, IMaxTerm

public class BooleanConstantFormula
extends java.lang.Object
implements IMaxTerm

Nested Class Summary

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

IFormula.Kind

Field Summary

static BooleanConstantFormula	FALSE
static BooleanConstantFormula	TRUE

Method Summary

boolean	equals(java.lang.Object obj)
java.util.Collection<? extends ITerm>	getAllTerms()
java.util.Collection<? extends IConstant>	getConstants()
java.util.Collection<AbstractVariable>	getFreeVariables()
IFormula.Kind	getKind()
java.util.Collection<? extends IMaxTerm>	getMaxTerms()
java.util.Collection<? extends ITerm>	getTerms()
int	hashCode()
java.lang.String	prettyPrint(ILogicDecorator d)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

TRUE

public static final BooleanConstantFormula TRUE

FALSE

public static final BooleanConstantFormula FALSE

Method Detail

getFreeVariables

public java.util.Collection<AbstractVariable> getFreeVariables()

Specified by:

getFreeVariables in interface IFormula

Returns:

the free variables in this formula

getConstants

public java.util.Collection<? extends IConstant> getConstants()

Specified by:

getConstants in interface IFormula

Returns:

the constants that appear in this formula

getTerms

public java.util.Collection<? extends ITerm> getTerms()

getKind

public IFormula.Kind getKind()

Specified by:

getKind in interface IFormula

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

prettyPrint

public java.lang.String prettyPrint(ILogicDecorator d)
                             throws java.lang.IllegalArgumentException

Specified by:

prettyPrint in interface IFormula

Throws:

java.lang.IllegalArgumentException

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

getAllTerms

public java.util.Collection<? extends ITerm> getAllTerms()

Specified by:

getAllTerms in interface IFormula

Returns:

all terms that appear in this formula, including recursive descent on on-atomic terms

getMaxTerms

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

Specified by:

getMaxTerms in interface ICNFFormula