org.clafer.ir.analysis

Class AnalysisUtil

java.lang.Object

org.clafer.ir.analysis.AnalysisUtil

public class AnalysisUtil
extends Object

Author:

jimmy

Method Summary

Methods

Modifier and Type	Method and Description
static Pair<IrIntExpr,IrSetVar>	getAssignCardinality(IrBoolExpr expr)
static Pair<IrIntExpr,IrSetVar>	getAssignCardinality(IrIntExpr left, IrIntExpr right)

Methods inherited from class java.lang.Object

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

Method Detail

getAssignCardinality

public static Pair<IrIntExpr,IrSetVar> getAssignCardinality(IrBoolExpr expr)

getAssignCardinality

public static Pair<IrIntExpr,IrSetVar> getAssignCardinality(IrIntExpr left,
                                            IrIntExpr right)