com.ibm.wala.logic
Class AbstractBinaryFormula

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

All Implemented Interfaces:

IFormula

Direct Known Subclasses:

BinaryFormula, CNFFormula, Disjunction

public abstract class AbstractBinaryFormula
extends java.lang.Object
implements IFormula

Nested Class Summary

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

IFormula.Kind

Constructor Summary

protected

AbstractBinaryFormula()

Method Summary

abstract boolean	equals(java.lang.Object obj)
abstract ILogicConstants.BinaryConnective	getConnective()
abstract IFormula	getF1()
abstract IFormula	getF2()
IFormula.Kind	getKind()
abstract int	hashCode()

Methods inherited from class java.lang.Object

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

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

getAllTerms, getConstants, getFreeVariables, prettyPrint

Constructor Detail

AbstractBinaryFormula

protected AbstractBinaryFormula()

Method Detail

getKind

public final IFormula.Kind getKind()

Specified by:

getKind in interface IFormula

getConnective

public abstract ILogicConstants.BinaryConnective getConnective()

getF1

public abstract IFormula getF1()

getF2

public abstract IFormula getF2()

equals

public abstract boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public abstract int hashCode()

Overrides:

hashCode in class java.lang.Object