com.ibm.wala.logic
Class Disjunction

java.lang.Object
  com.ibm.wala.logic.AbstractBinaryFormula
      com.ibm.wala.logic.Disjunction

All Implemented Interfaces:

ICNFFormula, IFormula, IMaxTerm

public class Disjunction
extends AbstractBinaryFormula
implements IMaxTerm

A disjunction of formulae

Nested Class Summary

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

IFormula.Kind

Method Summary

boolean	equals(java.lang.Object obj)
java.util.Collection<? extends ITerm>	getAllTerms()
java.util.Collection<? extends IFormula>	getClauses()
ILogicConstants.BinaryConnective	getConnective()
java.util.Collection<? extends IConstant>	getConstants()
IFormula	getF1()
IFormula	getF2()
java.util.Collection<AbstractVariable>	getFreeVariables()
java.util.Collection<? extends IMaxTerm>	getMaxTerms()
int	hashCode()
static IMaxTerm	make(java.util.Collection<? extends IFormula> clauses)
java.lang.String	prettyPrint(ILogicDecorator d)
java.lang.String	toString()

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

getKind

Methods inherited from class java.lang.Object

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

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

getKind

Method Detail

getConstants

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

Specified by:

getConstants in interface IFormula

Returns:

the constants that appear in this formula

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

getFreeVariables

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

Specified by:

getFreeVariables in interface IFormula

Returns:

the free variables in this formula

prettyPrint

public java.lang.String prettyPrint(ILogicDecorator d)

Specified by:

prettyPrint in interface IFormula

hashCode

public int hashCode()

Specified by:

hashCode in class AbstractBinaryFormula

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in class AbstractBinaryFormula

getConnective

public ILogicConstants.BinaryConnective getConnective()

Specified by:

getConnective in class AbstractBinaryFormula

getF1

public IFormula getF1()

Specified by:

getF1 in class AbstractBinaryFormula

getF2

public IFormula getF2()

Specified by:

getF2 in class AbstractBinaryFormula

make

public static IMaxTerm make(java.util.Collection<? extends IFormula> clauses)

getClauses

public java.util.Collection<? extends IFormula> getClauses()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getMaxTerms

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

Specified by:

getMaxTerms in interface ICNFFormula