org.clafer.ir

Class Irs

java.lang.Object

org.clafer.ir.Irs

public class Irs
extends Object

Import this class to access all IR building functions.

 import static org.clafer.ast.Asts.*;
 

Author:

jimmy

Field Summary

Fields

Modifier and Type	Field and Description
static IrBoolDomain	BoolDomain
static IrDomain	EmptyDomain
static IrSetVar	EmptySet
static IrBoolVar	False
static IrBoolDomain	FalseDomain
static IrIntVar	One
static IrDomain	OneDomain
static IrBoolVar	True Boolean
static IrBoolDomain	TrueDomain Domain
static IrIntVar	Zero Integer
static IrDomain	ZeroDomain
static IrDomain	ZeroOneDomain

Method Summary

Methods

Modifier and Type	Method and Description
static IrBoolExpr	acyclic(IrIntExpr[] edges)
static IrIntExpr	add(Collection<? extends IrIntExpr> addends)
static IrIntExpr	add(int addend1, IrIntExpr addend2)
static IrIntExpr	add(IrIntExpr... addends)
static IrIntExpr	add(IrIntExpr addend1, int addend2)
static IrBoolExpr	allDifferent(IrIntExpr[] ints)
static IrBoolExpr	and(Collection<? extends IrBoolExpr> operands)
static IrBoolExpr	and(IrBoolExpr... operands)
static IrSetExpr	arrayToSet(IrIntExpr[] array, Integer globalCardinality)
static IrBoolVar	bool(String name)
static IrBoolExpr	boolChannel(IrBoolExpr[] bools, IrSetExpr set)
static IrDomain	boundDomain(int low, int high)
static IrIntVar	boundInt(String name, int low, int high)
static IrIntExpr	card(IrSetExpr set)
static IrBoolExpr	compare(int left, IrCompare.Op op, IrIntExpr right)
static IrBoolExpr	compare(IrIntExpr left, IrCompare.Op op, int right)
static IrBoolExpr	compare(IrIntExpr left, IrCompare.Op op, IrIntExpr right)
static IrBoolVar	constant(boolean value)
static IrIntVar	constant(int value)
static IrSetVar	constant(int[] value)
static IrSetVar	constant(IrDomain value)
static IrSetVar	constant(gnu.trove.TIntCollection value)
static IrSetVar	constant(gnu.trove.set.TIntSet value)
static IrDomain	constantDomain(int value)
static IrIntExpr	count(int value, IrIntExpr[] array)
static IrSetExpr	difference(IrSetExpr minuend, IrSetExpr subtrahend)
static IrIntExpr	div(int dividend, IrIntExpr divisor)
static IrIntExpr	div(IrIntExpr dividend, int divisor)
static IrIntExpr	div(IrIntExpr dividend, IrIntExpr divisor)
static IrBoolDomain	domain(boolean value)
static IrIntVar	domainInt(String name, IrDomain domain)
static IrIntExpr	element(IrIntExpr[] array, IrIntExpr index)
static IrDomain	enumDomain(int... values)
static IrDomain	enumDomain(gnu.trove.TIntCollection values)
static IrDomain	enumDomain(gnu.trove.set.TIntSet values)
static IrIntVar	enumInt(String name, int[] values)
static IrBoolExpr	equal(int left, IrIntExpr right)
static IrBoolExpr	equal(IrIntExpr[] left, IrIntExpr[] right)
static IrBoolExpr	equal(IrIntExpr left, int right)
static IrBoolExpr	equal(IrIntExpr left, IrIntExpr right)
static IrBoolExpr	equal(IrSetExpr left, IrSetExpr right)
static IrBoolExpr	equality(IrSetExpr left, IrSetTest.Op op, IrSetExpr right)
static IrBoolExpr	filterString(IrSetExpr set, int offset, IrIntExpr[] string, IrIntExpr[] result)
static IrBoolExpr	filterString(IrSetExpr set, IrIntExpr[] string, IrIntExpr[] result)
static IrDomain	fromToDomain(int from, int to)
static IrBoolExpr	greaterThan(int left, IrIntExpr right)
static IrBoolExpr	greaterThan(IrIntExpr left, int right)
static IrBoolExpr	greaterThan(IrIntExpr left, IrIntExpr right)
static IrBoolExpr	greaterThanEqual(int left, IrIntExpr right)
static IrBoolExpr	greaterThanEqual(IrIntExpr left, int right)
static IrBoolExpr	greaterThanEqual(IrIntExpr left, IrIntExpr right)
static IrBoolExpr	ifOnlyIf(IrBoolExpr left, IrBoolExpr right)
static IrBoolExpr	ifThenElse(IrBoolExpr antecedent, IrBoolExpr consequent, IrBoolExpr alternative)
static IrBoolExpr	implies(IrBoolExpr antecedent, IrBoolExpr consequent)
static IrBoolExpr	intChannel(IrIntExpr[] ints, IrSetExpr[] sets)
static IrSetExpr	intersection(IrSetExpr... operands)
static IrSetExpr	joinFunction(IrSetExpr take, IrIntExpr[] refs, Integer globalCardinality)
static IrSetExpr	joinRelation(IrSetExpr take, IrSetExpr[] children, boolean injective) Relational join.
static IrBoolExpr	lessThan(int left, IrIntExpr right)
static IrBoolExpr	lessThan(IrIntExpr left, int right)
static IrBoolExpr	lessThan(IrIntExpr left, IrIntExpr right)
static IrBoolExpr	lessThanEqual(int left, IrIntExpr right)
static IrBoolExpr	lessThanEqual(IrIntExpr left, int right)
static IrBoolExpr	lessThanEqual(IrIntExpr left, IrIntExpr right)
static IrBoolExpr	lone(Collection<? extends IrBoolExpr> operands)
static IrBoolExpr	lone(IrBoolExpr... operands)
static IrSetExpr	mask(IrSetExpr set, int from, int to)
static IrBoolExpr	member(IrIntExpr element, IrSetExpr set)
static IrIntExpr	minus(IrIntExpr expr)
static IrIntExpr	mul(int multiplicand, IrIntExpr multiplier)
static IrIntExpr	mul(IrIntExpr multiplicand, int multiplier)
static IrIntExpr	mul(IrIntExpr multiplicand, IrIntExpr multiplier)
static IrBoolExpr	not(IrBoolExpr proposition)
static IrBoolExpr	notEqual(int left, IrIntExpr right)
static IrBoolExpr	notEqual(IrIntExpr left, int right)
static IrBoolExpr	notEqual(IrIntExpr left, IrIntExpr right)
static IrBoolExpr	notEqual(IrSetExpr left, IrSetExpr right)
static IrBoolExpr	notImplies(IrBoolExpr antecedent, IrBoolExpr consequent)
static IrBoolExpr	notMember(IrIntExpr element, IrSetExpr set)
static IrBoolExpr	notWithin(IrIntExpr value, IrDomain range)
static IrSetExpr	offset(IrSetExpr set, int offset)
static IrBoolExpr	one(Collection<? extends IrBoolExpr> operands)
static IrBoolExpr	one(IrBoolExpr... operands)
static IrBoolExpr	or(Collection<? extends IrBoolExpr> operands)
static IrBoolExpr	or(IrBoolExpr... operands)
static IrBoolExpr	selectN(IrBoolExpr[] bools, IrIntExpr n)
static IrSetVar	set(String name, int[] env)
static IrSetVar	set(String name, int[] env, int[] ker)
static IrSetVar	set(String name, int[] env, int lowKer, int highKer)
static IrSetVar	set(String name, int lowEnv, int highEnv) Set
static IrSetVar	set(String name, int lowEnv, int highEnv, int[] ker)
static IrSetVar	set(String name, int lowEnv, int highEnv, int lowKer, int highKer)
static IrSetVar	set(String name, IrDomain env)
static IrSetVar	set(String name, IrDomain env, IrDomain ker)
static IrSetVar	set(String name, IrDomain env, IrDomain ker, IrDomain card)
static IrSetExpr	singleton(IrIntExpr value)
static IrBoolExpr	sort(IrIntExpr... array)
static IrBoolExpr	sort(IrIntExpr[]... strings)
static IrBoolExpr	sort(IrSetExpr... sets)
static IrBoolExpr	sortChannel(IrIntExpr[][] strings, IrIntExpr[] ints)
static IrBoolExpr	sortStrict(IrIntExpr... array)
static IrBoolExpr	sortStrict(IrIntExpr[]... strings)
static IrIntExpr	sub(Collection<? extends IrIntExpr> subtrahends)
static IrIntExpr	sub(int minuend, IrIntExpr subtrahend)
static IrIntExpr	sub(IrIntExpr... subtrahends)
static IrIntExpr	sub(IrIntExpr minuend, int subtrahend)
static IrBoolExpr	subsetEq(IrSetExpr subset, IrSetExpr superset)
static IrIntExpr	sum(IrSetExpr set)
static IrIntExpr	ternary(IrBoolExpr antecedent, IrIntExpr consequent, IrIntExpr alternative)
static IrSetExpr	ternary(IrBoolExpr antecedent, IrSetExpr consequent, IrSetExpr alternative)
static IrSetExpr	union(IrSetExpr... operands)
static IrSetExpr	union(IrSetExpr[] operands, boolean disjoint)
static IrBoolExpr	unreachable(IrIntExpr[] edges, int from, int to)
static IrBoolExpr	within(IrIntExpr value, IrDomain range)
static IrBoolExpr	xor(IrBoolExpr left, IrBoolExpr right)

Methods inherited from class java.lang.Object

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

Field Detail

TrueDomain

public static final IrBoolDomain TrueDomain

Domain

FalseDomain

public static final IrBoolDomain FalseDomain

BoolDomain

public static final IrBoolDomain BoolDomain

EmptyDomain

public static final IrDomain EmptyDomain

ZeroDomain

public static final IrDomain ZeroDomain

OneDomain

public static final IrDomain OneDomain

ZeroOneDomain

public static final IrDomain ZeroOneDomain

EmptySet

public static final IrSetVar EmptySet

True

public static final IrBoolVar True

Boolean

False

public static final IrBoolVar False

Zero

public static IrIntVar Zero

Integer

One

public static IrIntVar One

Method Detail

domain

public static IrBoolDomain domain(boolean value)

constantDomain

public static IrDomain constantDomain(int value)

fromToDomain

public static IrDomain fromToDomain(int from,
                    int to)

boundDomain

public static IrDomain boundDomain(int low,
                   int high)

enumDomain

public static IrDomain enumDomain(int... values)

enumDomain

public static IrDomain enumDomain(gnu.trove.TIntCollection values)

enumDomain

public static IrDomain enumDomain(gnu.trove.set.TIntSet values)

constant

public static IrBoolVar constant(boolean value)

bool

public static IrBoolVar bool(String name)

not

public static IrBoolExpr not(IrBoolExpr proposition)

and

public static IrBoolExpr and(Collection<? extends IrBoolExpr> operands)

and

public static IrBoolExpr and(IrBoolExpr... operands)

lone

public static IrBoolExpr lone(Collection<? extends IrBoolExpr> operands)

lone

public static IrBoolExpr lone(IrBoolExpr... operands)

one

public static IrBoolExpr one(Collection<? extends IrBoolExpr> operands)

one

public static IrBoolExpr one(IrBoolExpr... operands)

or

public static IrBoolExpr or(Collection<? extends IrBoolExpr> operands)

or

public static IrBoolExpr or(IrBoolExpr... operands)

implies

public static IrBoolExpr implies(IrBoolExpr antecedent,
                 IrBoolExpr consequent)

notImplies

public static IrBoolExpr notImplies(IrBoolExpr antecedent,
                    IrBoolExpr consequent)

ifThenElse

public static IrBoolExpr ifThenElse(IrBoolExpr antecedent,
                    IrBoolExpr consequent,
                    IrBoolExpr alternative)

ifOnlyIf

public static IrBoolExpr ifOnlyIf(IrBoolExpr left,
                  IrBoolExpr right)

xor

public static IrBoolExpr xor(IrBoolExpr left,
             IrBoolExpr right)

within

public static IrBoolExpr within(IrIntExpr value,
                IrDomain range)

notWithin

public static IrBoolExpr notWithin(IrIntExpr value,
                   IrDomain range)

compare

public static IrBoolExpr compare(int left,
                 IrCompare.Op op,
                 IrIntExpr right)

compare

public static IrBoolExpr compare(IrIntExpr left,
                 IrCompare.Op op,
                 int right)

compare

public static IrBoolExpr compare(IrIntExpr left,
                 IrCompare.Op op,
                 IrIntExpr right)

equal

public static IrBoolExpr equal(int left,
               IrIntExpr right)

equal

public static IrBoolExpr equal(IrIntExpr left,
               int right)

equal

public static IrBoolExpr equal(IrIntExpr left,
               IrIntExpr right)

equal

public static IrBoolExpr equal(IrIntExpr[] left,
               IrIntExpr[] right)

equality

public static IrBoolExpr equality(IrSetExpr left,
                  IrSetTest.Op op,
                  IrSetExpr right)

equal

public static IrBoolExpr equal(IrSetExpr left,
               IrSetExpr right)

notEqual

public static IrBoolExpr notEqual(int left,
                  IrIntExpr right)

notEqual

public static IrBoolExpr notEqual(IrIntExpr left,
                  int right)

notEqual

public static IrBoolExpr notEqual(IrIntExpr left,
                  IrIntExpr right)

notEqual

public static IrBoolExpr notEqual(IrSetExpr left,
                  IrSetExpr right)

lessThan

public static IrBoolExpr lessThan(int left,
                  IrIntExpr right)

lessThan

public static IrBoolExpr lessThan(IrIntExpr left,
                  int right)

lessThan

public static IrBoolExpr lessThan(IrIntExpr left,
                  IrIntExpr right)

lessThanEqual

public static IrBoolExpr lessThanEqual(int left,
                       IrIntExpr right)

lessThanEqual

public static IrBoolExpr lessThanEqual(IrIntExpr left,
                       int right)

lessThanEqual

public static IrBoolExpr lessThanEqual(IrIntExpr left,
                       IrIntExpr right)

greaterThan

public static IrBoolExpr greaterThan(int left,
                     IrIntExpr right)

greaterThan

public static IrBoolExpr greaterThan(IrIntExpr left,
                     int right)

greaterThan

public static IrBoolExpr greaterThan(IrIntExpr left,
                     IrIntExpr right)

greaterThanEqual

public static IrBoolExpr greaterThanEqual(int left,
                          IrIntExpr right)

greaterThanEqual

public static IrBoolExpr greaterThanEqual(IrIntExpr left,
                          int right)

greaterThanEqual

public static IrBoolExpr greaterThanEqual(IrIntExpr left,
                          IrIntExpr right)

member

public static IrBoolExpr member(IrIntExpr element,
                IrSetExpr set)

notMember

public static IrBoolExpr notMember(IrIntExpr element,
                   IrSetExpr set)

subsetEq

public static IrBoolExpr subsetEq(IrSetExpr subset,
                  IrSetExpr superset)

boolChannel

public static IrBoolExpr boolChannel(IrBoolExpr[] bools,
                     IrSetExpr set)

intChannel

public static IrBoolExpr intChannel(IrIntExpr[] ints,
                    IrSetExpr[] sets)

sort

public static IrBoolExpr sort(IrIntExpr... array)

sortStrict

public static IrBoolExpr sortStrict(IrIntExpr... array)

sort

public static IrBoolExpr sort(IrSetExpr... sets)

sort

public static IrBoolExpr sort(IrIntExpr[]... strings)

sortStrict

public static IrBoolExpr sortStrict(IrIntExpr[]... strings)

sortChannel

public static IrBoolExpr sortChannel(IrIntExpr[][] strings,
                     IrIntExpr[] ints)

allDifferent

public static IrBoolExpr allDifferent(IrIntExpr[] ints)

selectN

public static IrBoolExpr selectN(IrBoolExpr[] bools,
                 IrIntExpr n)

acyclic

public static IrBoolExpr acyclic(IrIntExpr[] edges)

unreachable

public static IrBoolExpr unreachable(IrIntExpr[] edges,
                     int from,
                     int to)

filterString

public static IrBoolExpr filterString(IrSetExpr set,
                      IrIntExpr[] string,
                      IrIntExpr[] result)

filterString

public static IrBoolExpr filterString(IrSetExpr set,
                      int offset,
                      IrIntExpr[] string,
                      IrIntExpr[] result)

domainInt

public static IrIntVar domainInt(String name,
                 IrDomain domain)

boundInt

public static IrIntVar boundInt(String name,
                int low,
                int high)

enumInt

public static IrIntVar enumInt(String name,
               int[] values)

constant

public static IrIntVar constant(int value)

minus

public static IrIntExpr minus(IrIntExpr expr)

card

public static IrIntExpr card(IrSetExpr set)

add

public static IrIntExpr add(int addend1,
            IrIntExpr addend2)

add

public static IrIntExpr add(IrIntExpr addend1,
            int addend2)

add

public static IrIntExpr add(Collection<? extends IrIntExpr> addends)

add

public static IrIntExpr add(IrIntExpr... addends)

sub

public static IrIntExpr sub(int minuend,
            IrIntExpr subtrahend)

sub

public static IrIntExpr sub(IrIntExpr minuend,
            int subtrahend)

sub

public static IrIntExpr sub(Collection<? extends IrIntExpr> subtrahends)

sub

public static IrIntExpr sub(IrIntExpr... subtrahends)

mul

public static IrIntExpr mul(int multiplicand,
            IrIntExpr multiplier)

mul

public static IrIntExpr mul(IrIntExpr multiplicand,
            int multiplier)

mul

public static IrIntExpr mul(IrIntExpr multiplicand,
            IrIntExpr multiplier)

div

public static IrIntExpr div(int dividend,
            IrIntExpr divisor)

div

public static IrIntExpr div(IrIntExpr dividend,
            int divisor)

div

public static IrIntExpr div(IrIntExpr dividend,
            IrIntExpr divisor)

element

public static IrIntExpr element(IrIntExpr[] array,
                IrIntExpr index)

count

public static IrIntExpr count(int value,
              IrIntExpr[] array)

sum

public static IrIntExpr sum(IrSetExpr set)

ternary

public static IrIntExpr ternary(IrBoolExpr antecedent,
                IrIntExpr consequent,
                IrIntExpr alternative)

set

public static IrSetVar set(String name,
           int lowEnv,
           int highEnv)

Set

set

public static IrSetVar set(String name,
           int lowEnv,
           int highEnv,
           int lowKer,
           int highKer)

set

public static IrSetVar set(String name,
           int lowEnv,
           int highEnv,
           int[] ker)

set

public static IrSetVar set(String name,
           int[] env)

set

public static IrSetVar set(String name,
           int[] env,
           int lowKer,
           int highKer)

set

public static IrSetVar set(String name,
           int[] env,
           int[] ker)

set

public static IrSetVar set(String name,
           IrDomain env)

set

public static IrSetVar set(String name,
           IrDomain env,
           IrDomain ker)

set

public static IrSetVar set(String name,
           IrDomain env,
           IrDomain ker,
           IrDomain card)

constant

public static IrSetVar constant(int[] value)

constant

public static IrSetVar constant(gnu.trove.TIntCollection value)

constant

public static IrSetVar constant(gnu.trove.set.TIntSet value)

constant

public static IrSetVar constant(IrDomain value)

singleton

public static IrSetExpr singleton(IrIntExpr value)

arrayToSet

public static IrSetExpr arrayToSet(IrIntExpr[] array,
                   Integer globalCardinality)

joinRelation

public static IrSetExpr joinRelation(IrSetExpr take,
                     IrSetExpr[] children,
                     boolean injective)

Relational join. Union{for all i in take} children[i]

Parameters:

take -

children -

injective -

Returns:

the join expression take.children

joinFunction

public static IrSetExpr joinFunction(IrSetExpr take,
                     IrIntExpr[] refs,
                     Integer globalCardinality)

difference

public static IrSetExpr difference(IrSetExpr minuend,
                   IrSetExpr subtrahend)

intersection

public static IrSetExpr intersection(IrSetExpr... operands)

union

public static IrSetExpr union(IrSetExpr... operands)

union

public static IrSetExpr union(IrSetExpr[] operands,
              boolean disjoint)

offset

public static IrSetExpr offset(IrSetExpr set,
               int offset)

mask

public static IrSetExpr mask(IrSetExpr set,
             int from,
             int to)

ternary

public static IrSetExpr ternary(IrBoolExpr antecedent,
                IrSetExpr consequent,
                IrSetExpr alternative)