Uses of Interface
org.clafer.ir.IrSetExpr

Packages that use IrSetExpr

Package	Description
org.clafer.ir	This package provides the IR used as in intermediate language during compilation.

Uses of IrSetExpr in org.clafer.ir

Classes in org.clafer.ir that implement IrSetExpr

Modifier and Type	Class and Description
class	IrAbstractSet
class	IrArrayToSet
class	IrJoinFunction
class	IrJoinRelation
class	IrMask
class	IrOffset
class	IrSetConstant
class	IrSetDifference
class	IrSetIntersection
class	IrSetTernary
class	IrSetUnion
class	IrSetVar
class	IrSingleton

Methods in org.clafer.ir that return IrSetExpr

Modifier and Type	Method and Description
static IrSetExpr	Irs.arrayToSet(IrIntExpr[] array, Integer globalCardinality)
static IrSetExpr	IrUtil.asConstant(IrSetExpr s)
static IrSetExpr	Irs.difference(IrSetExpr minuend, IrSetExpr subtrahend)
IrSetExpr	IrSetTernary.getAlternative()
IrSetExpr[]	IrJoinRelation.getChildren()
IrSetExpr	IrSetTernary.getConsequent()
IrSetExpr	IrSetTest.getLeft()
IrSetExpr	IrSetDifference.getMinuend()
IrSetExpr[]	IrSetUnion.getOperands()
IrSetExpr[]	IrSetIntersection.getOperands()
IrSetExpr	IrSetTest.getRight()
IrSetExpr	IrMask.getSet()
IrSetExpr	IrBoolChannel.getSet()
IrSetExpr	IrNotMember.getSet()
IrSetExpr	IrOffset.getSet()
IrSetExpr	IrSetSum.getSet()
IrSetExpr	IrMember.getSet()
IrSetExpr	IrCard.getSet()
IrSetExpr	IrFilterString.getSet()
IrSetExpr[]	IrIntChannel.getSets()
IrSetExpr[]	IrSortSets.getSets()
IrSetExpr	IrSubsetEq.getSubset()
IrSetExpr	IrSetDifference.getSubtrahend()
IrSetExpr	IrSubsetEq.getSuperset()
IrSetExpr	IrJoinRelation.getTake()
IrSetExpr	IrJoinFunction.getTake()
static IrSetExpr	Irs.intersection(IrSetExpr... operands)
static IrSetExpr	Irs.joinFunction(IrSetExpr take, IrIntExpr[] refs, Integer globalCardinality)
static IrSetExpr	Irs.joinRelation(IrSetExpr take, IrSetExpr[] children, boolean injective) Relational join.
static IrSetExpr	Irs.mask(IrSetExpr set, int from, int to)
static IrSetExpr	Irs.offset(IrSetExpr set, int offset)
IrSetExpr[][]	IrRewriter.rewrite(IrSetExpr[][] exprs, T t)
IrSetExpr[]	IrRewriter.rewrite(IrSetExpr[] exprs, T t)
IrSetExpr	IrRewriter.rewrite(IrSetExpr expr, T t)
static IrSetExpr	Irs.singleton(IrIntExpr value)
static IrSetExpr	Irs.ternary(IrBoolExpr antecedent, IrSetExpr consequent, IrSetExpr alternative)
static IrSetExpr	Irs.union(IrSetExpr... operands)
static IrSetExpr	Irs.union(IrSetExpr[] operands, boolean disjoint)
IrSetExpr	IrRewriter.visit(IrArrayToSet ir, T a)
IrSetExpr	IrRewriter.visit(IrJoinFunction ir, T a)
IrSetExpr	IrRewriter.visit(IrJoinRelation ir, T a)
IrSetExpr	IrRewriter.visit(IrMask ir, T a)
IrSetExpr	IrRewriter.visit(IrOffset ir, T a)
IrSetExpr	IrRewriter.visit(IrSetDifference ir, T a)
IrSetExpr	IrRewriter.visit(IrSetIntersection ir, T a)
IrSetExpr	IrRewriter.visit(IrSetTernary ir, T a)
IrSetExpr	IrRewriter.visit(IrSetUnion ir, T a)
IrSetExpr	IrRewriter.visit(IrSingleton ir, T a)

Methods in org.clafer.ir with parameters of type IrSetExpr

Modifier and Type	Method and Description
static IrSetExpr	IrUtil.asConstant(IrSetExpr s)
static IrIntExpr	IrUtil.asInt(IrSetExpr set)
static IrIntExpr[]	IrUtil.asInts(IrSetExpr[] sets)
static IrBoolExpr	Irs.boolChannel(IrBoolExpr[] bools, IrSetExpr set)
static IrIntExpr	Irs.card(IrSetExpr set)
static IrSetExpr	Irs.difference(IrSetExpr minuend, IrSetExpr subtrahend)
static IrBoolExpr	Irs.equal(IrSetExpr left, IrSetExpr right)
static IrBoolExpr	Irs.equality(IrSetExpr left, IrSetTest.Op op, IrSetExpr right)
static IrBoolExpr	Irs.filterString(IrSetExpr set, int offset, IrIntExpr[] string, IrIntExpr[] result)
static IrBoolExpr	Irs.filterString(IrSetExpr set, IrIntExpr[] string, IrIntExpr[] result)
static int[]	IrUtil.getConstant(IrSetExpr s)
static IrBoolExpr	Irs.intChannel(IrIntExpr[] ints, IrSetExpr[] sets)
static IrSetExpr	Irs.intersection(IrSetExpr... operands)
static IrDomain	IrUtil.intersectionEnvs(IrSetExpr... sets)
static IrDomain	IrUtil.intersectionKers(IrSetExpr... sets)
static boolean	IrUtil.isConstant(IrSetExpr s)
static IrSetExpr	Irs.joinFunction(IrSetExpr take, IrIntExpr[] refs, Integer globalCardinality)
static IrSetExpr	Irs.joinRelation(IrSetExpr take, IrSetExpr[] children, boolean injective) Relational join.
static IrSetExpr	Irs.joinRelation(IrSetExpr take, IrSetExpr[] children, boolean injective) Relational join.
static IrSetExpr	Irs.mask(IrSetExpr set, int from, int to)
static IrBoolExpr	Irs.member(IrIntExpr element, IrSetExpr set)
static IrBoolExpr	Irs.notEqual(IrSetExpr left, IrSetExpr right)
static IrBoolExpr	Irs.notMember(IrIntExpr element, IrSetExpr set)
static IrSetExpr	Irs.offset(IrSetExpr set, int offset)
IrSetExpr[][]	IrRewriter.rewrite(IrSetExpr[][] exprs, T t)
IrSetExpr[]	IrRewriter.rewrite(IrSetExpr[] exprs, T t)
IrSetExpr	IrRewriter.rewrite(IrSetExpr expr, T t)
static IrBoolExpr	Irs.sort(IrSetExpr... sets)
static IrBoolExpr	Irs.subsetEq(IrSetExpr subset, IrSetExpr superset)
static IrIntExpr	Irs.sum(IrSetExpr set)
static IrSetExpr	Irs.ternary(IrBoolExpr antecedent, IrSetExpr consequent, IrSetExpr alternative)
static IrSetExpr	Irs.union(IrSetExpr... operands)
static IrSetExpr	Irs.union(IrSetExpr[] operands, boolean disjoint)
static IrDomain	IrUtil.unionEnvs(IrSetExpr... sets)
static IrDomain	IrUtil.unionKers(IrSetExpr... sets)

Constructors in org.clafer.ir with parameters of type IrSetExpr

Constructor and Description
IrFilterString(IrSetExpr set, int offset, IrIntExpr[] string, IrIntExpr[] result, IrBoolDomain domain)
IrSetSum(IrSetExpr set, IrDomain domain)
IrSetTernary(IrBoolExpr antecedent, IrSetExpr consequent, IrSetExpr alternative, IrDomain env, IrDomain ker, IrDomain card)
IrSortSets(IrSetExpr[] sets, IrBoolDomain domain)
IrSubsetEq(IrSetExpr subset, IrSetExpr superset, IrBoolDomain domain)