Constructor and Description |
---|
ImplicitTool(VarUsages vus,
java.util.ArrayList<TExpr> exprs) |
ImplicitTool(VarUsage vu,
TExpr expr) |
Modifier and Type | Method and Description |
---|---|
void |
buildLinear() |
java.util.ArrayList<TExpr> |
exprs() |
ImplicitBound |
getBound(VarUsage vu,
int type) |
java.util.ArrayList<ImplicitBound> |
getBounds() |
boolean |
isLinear() |
TExpr |
linmat(int i,
int j) |
java.lang.String |
toolType() |
java.lang.String |
toString() |
lineNoMessage, log, logger, nodeString, seqLoops, t, vreqs
public java.util.ArrayList<TExpr> exprs
public ImplicitTool(VarUsages vus, java.util.ArrayList<TExpr> exprs) throws Xcept
Xcept
public java.util.ArrayList<TExpr> exprs()
public java.lang.String toString()
toString
in class java.lang.Object
public boolean isLinear()
public TExpr linmat(int i, int j)
public java.util.ArrayList<ImplicitBound> getBounds()
public ImplicitBound getBound(VarUsage vu, int type)