org.clafer.ir

Class IrBoolConstant

java.lang.Object

org.clafer.ir.IrAbstractInt

org.clafer.ir.IrIntVar

org.clafer.ir.IrBoolVar

org.clafer.ir.IrBoolConstant

All Implemented Interfaces:

IrBoolExpr, IrConstant, IrExpr, IrIntExpr, IrVar

public class IrBoolConstant
extends IrBoolVar
implements IrConstant

Author:

jimmy

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object obj)
boolean	getValue()
int	hashCode()
String	toString()

Methods inherited from class org.clafer.ir.IrBoolVar

accept, accept, getDomain, isNegative, negate

Methods inherited from class org.clafer.ir.IrIntVar

getName

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.clafer.ir.IrVar

getName

Method Detail

getValue

public boolean getValue()

equals

public boolean equals(Object obj)

Overrides:

equals in class IrIntVar

hashCode

public int hashCode()

Overrides:

hashCode in class IrIntVar

toString

public String toString()

Overrides:

toString in class IrIntVar