org.clafer.ir

Class IrSetConstant

java.lang.Object

org.clafer.ir.IrAbstractSet

org.clafer.ir.IrSetVar

org.clafer.ir.IrSetConstant

All Implemented Interfaces:

IrConstant, IrExpr, IrSetExpr, IrVar

public class IrSetConstant
extends IrSetVar
implements IrConstant

Author:

jimmy

Method Summary

Methods

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

Methods inherited from class org.clafer.ir.IrSetVar

accept, getName

Methods inherited from class org.clafer.ir.IrAbstractSet

getCard, getEnv, getKer

Methods inherited from class java.lang.Object

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

Method Detail

getValue

public int[] getValue()

equals

public boolean equals(Object obj)

Overrides:

equals in class IrSetVar

hashCode

public int hashCode()

Overrides:

hashCode in class IrSetVar

toString

public String toString()

Overrides:

toString in class IrSetVar