public abstract class IrAbstractSet extends Object implements IrSetExpr
Constructor and Description |
---|
IrAbstractSet(IrDomain env,
IrDomain ker,
IrDomain card) |
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() |
public IrAbstractSet(IrDomain env, IrDomain ker, IrDomain card)
public IrDomain getKer()
Copyright © 2013. All Rights Reserved.