org.clafer.ir

Class IrAbstractBool

java.lang.Object

org.clafer.ir.IrAbstractBool

Direct Known Subclasses:

IrAcyclic, IrAllDifferent, IrAnd, IrBoolChannel, IrCompare, IrFilterString, IrIfOnlyIf, IrIfThenElse, IrImplies, IrIntChannel, IrLone, IrMember, IrNot, IrNotImplies, IrNotMember, IrNotWithin, IrOne, IrOr, IrSelectN, IrSetTest, IrSortSets, IrSortStrings, IrSortStringsChannel, IrSubsetEq, IrUnreachable, IrWithin, IrXor

public abstract class IrAbstractBool
extends Object

Author:

jimmy

Constructor Summary

Constructors

Constructor and Description
IrAbstractBool(IrBoolDomain domain)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object obj)
IrBoolDomain	getDomain()
int	hashCode()

Methods inherited from class java.lang.Object

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

Constructor Detail

IrAbstractBool

public IrAbstractBool(IrBoolDomain domain)

Method Detail

getDomain

public IrBoolDomain getDomain()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object