org.clafer.ir

Interface IrSetExpr

All Superinterfaces:

IrExpr

All Known Implementing Classes:

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

public interface IrSetExpr
extends IrExpr

An immutable expression that evaluates to a set of integers.

Author:

jimmy

Method Summary

Methods

Modifier and Type	Method and Description
<A,B> B	accept(IrSetExprVisitor<A,B> visitor, A a) Dynamic dispatch on the visitor.
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

Method Detail

getEnv

IrDomain getEnv()

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

Returns:

the env domain

getKer

IrDomain getKer()

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

Returns:

the ker domain

getCard

IrDomain getCard()

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

Returns:

the card domain

accept

<A,B> B accept(IrSetExprVisitor<A,B> visitor,
             A a)

Dynamic dispatch on the visitor.

Type Parameters:

A - the parameter type

B - the return type

Parameters:

visitor - the visitor

a - the parameter

Returns:

the return value