org.clafer.ir

Class IrUtil

java.lang.Object

org.clafer.ir.IrUtil

public class IrUtil
extends Object

Author:

jimmy

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	IrUtil.Ordering

Method Summary

Methods

Modifier and Type	Method and Description
static IrDomain	add(IrDomain domain, int value)
static IrBoolVar	asConstant(IrBoolVar b)
static IrIntVar	asConstant(IrIntVar i)
static IrSetExpr	asConstant(IrSetExpr s)
static IrSetVar	asConstant(IrSetVar s)
static IrIntExpr	asInt(IrSetExpr set)
static IrIntExpr[]	asInts(IrSetExpr[] sets)
static IrDomain	boundHigh(IrDomain domain, int hb)
static IrDomain	boundLow(IrDomain domain, int lb)
static IrUtil.Ordering	compare(IrIntExpr a, IrIntExpr b)
static IrUtil.Ordering	compareString(IrIntExpr[] a, IrIntExpr[] b)
static IrUtil.Ordering	compareString(IrIntExpr[] a, IrIntExpr[] b, int index)
static boolean	containsAll(int[] values, IrDomain domain)
static IrDomain	difference(IrDomain minuend, IrDomain subtrahend)
static Boolean	getConstant(IrBoolExpr b)
static Integer	getConstant(IrIntExpr i)
static int[]	getConstant(IrIntExpr[] is)
static int[]	getConstant(IrSetExpr s)
static IrDomain	intersection(IrDomain d1, IrDomain d2)
static IrDomain	intersectionEnvs(IrSetExpr... sets)
static IrDomain	intersectionKers(IrSetExpr... sets)
static boolean	intersects(IrDomain d1, IrDomain d2)
static boolean	isConstant(IrBoolExpr b)
static boolean	isConstant(IrIntExpr i)
static boolean	isConstant(IrSetExpr s)
static boolean	isFalse(IrBoolExpr b)
static boolean	isSubsetOf(IrDomain sub, IrDomain sup)
static boolean	isTrue(IrBoolExpr b)
static IrDomain	mask(IrDomain domain, int from, int to)
static IrDomain	minus(IrDomain domain)
static IrDomain	offset(IrDomain domain, int offset)
static IrDomain	remove(IrDomain domain, int value)
static IrDomain	union(IrDomain d1, IrDomain d2)
static IrDomain	unionEnvs(IrSetExpr... sets)
static IrDomain	unionKers(IrSetExpr... sets)

Methods inherited from class java.lang.Object

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

Method Detail

isTrue

public static boolean isTrue(IrBoolExpr b)

isFalse

public static boolean isFalse(IrBoolExpr b)

isConstant

public static boolean isConstant(IrBoolExpr b)

getConstant

public static Boolean getConstant(IrBoolExpr b)

asConstant

public static IrBoolVar asConstant(IrBoolVar b)

isConstant

public static boolean isConstant(IrIntExpr i)

getConstant

public static Integer getConstant(IrIntExpr i)

getConstant

public static int[] getConstant(IrIntExpr[] is)

asConstant

public static IrIntVar asConstant(IrIntVar i)

isConstant

public static boolean isConstant(IrSetExpr s)

getConstant

public static int[] getConstant(IrSetExpr s)

asConstant

public static IrSetVar asConstant(IrSetVar s)

asConstant

public static IrSetExpr asConstant(IrSetExpr s)

asInt

public static IrIntExpr asInt(IrSetExpr set)

asInts

public static IrIntExpr[] asInts(IrSetExpr[] sets)

containsAll

public static boolean containsAll(int[] values,
                  IrDomain domain)

intersects

public static boolean intersects(IrDomain d1,
                 IrDomain d2)

isSubsetOf

public static boolean isSubsetOf(IrDomain sub,
                 IrDomain sup)

add

public static IrDomain add(IrDomain domain,
           int value)

remove

public static IrDomain remove(IrDomain domain,
              int value)

boundLow

public static IrDomain boundLow(IrDomain domain,
                int lb)

boundHigh

public static IrDomain boundHigh(IrDomain domain,
                 int hb)

difference

public static IrDomain difference(IrDomain minuend,
                  IrDomain subtrahend)

intersection

public static IrDomain intersection(IrDomain d1,
                    IrDomain d2)

intersectionEnvs

public static IrDomain intersectionEnvs(IrSetExpr... sets)

intersectionKers

public static IrDomain intersectionKers(IrSetExpr... sets)

union

public static IrDomain union(IrDomain d1,
             IrDomain d2)

unionEnvs

public static IrDomain unionEnvs(IrSetExpr... sets)

unionKers

public static IrDomain unionKers(IrSetExpr... sets)

minus

public static IrDomain minus(IrDomain domain)

offset

public static IrDomain offset(IrDomain domain,
              int offset)

mask

public static IrDomain mask(IrDomain domain,
            int from,
            int to)

compare

public static IrUtil.Ordering compare(IrIntExpr a,
                      IrIntExpr b)

compareString

public static IrUtil.Ordering compareString(IrIntExpr[] a,
                            IrIntExpr[] b)

compareString

public static IrUtil.Ordering compareString(IrIntExpr[] a,
                            IrIntExpr[] b,
                            int index)