org.clafer.ir

Class IrAbstractSet

java.lang.Object

org.clafer.ir.IrAbstractSet

All Implemented Interfaces:

IrExpr, IrSetExpr

Direct Known Subclasses:

IrArrayToSet, IrJoinFunction, IrJoinRelation, IrMask, IrOffset, IrSetDifference, IrSetIntersection, IrSetTernary, IrSetUnion, IrSetVar, IrSingleton

public abstract class IrAbstractSet
extends Object
implements IrSetExpr

Author:

jimmy

Constructor Summary

Constructors

Constructor and Description
IrAbstractSet(IrDomain env, IrDomain ker, IrDomain card)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object obj)
IrDomain	getCard() Card or cardinality is all the possible size of the set.
IrDomain	getEnv() Env or envelope is the union of all possible values the set can be.
IrDomain	getKer() Ker or kernel is the intersection of all possible values the set can be
int	hashCode()

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.clafer.ir.IrSetExpr

accept

Constructor Detail

IrAbstractSet

public IrAbstractSet(IrDomain env,
             IrDomain ker,
             IrDomain card)

Method Detail

getEnv

public IrDomain getEnv()

Env or envelope is the union of all possible values the set can be.

Specified by:

getEnv in interface IrSetExpr

Returns:

the env domain

getKer

public IrDomain getKer()

Ker or kernel is the intersection of all possible values the set can be

Specified by:

getKer in interface IrSetExpr

Returns:

the ker domain

getCard

public IrDomain getCard()

Card or cardinality is all the possible size of the set.

Specified by:

getCard in interface IrSetExpr

Returns:

the card domain

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object