| Package | Description |
|---|---|
| cetus.analysis | |
| cetus.hir |
| Modifier and Type | Method and Description |
|---|---|
static java.util.List<Identifier> |
NormalExpression.getVariableList(Expression e)
Deprecated.
Returns the list of variables if the given expression is affine.
|
| Modifier and Type | Method and Description |
|---|---|
static Expression |
NormalExpression.getClosedFormSum(Expression lb,
Expression ub,
Expression e,
Identifier id)
Deprecated.
Returns the closed form of the given summation parameters,
sum(e) s.t.
|
static Expression |
NormalExpression.getCoefficient(Expression e,
Identifier id)
Deprecated.
Returns the symbolic coefficient of the given identifier in the
expression.
|
static java.util.List<Expression> |
NormalExpression.getPolynomialCoef(Expression e,
Identifier id)
Deprecated.
Returns a list of expressions which contains coefficients of n-th terms
when the given id is the basis.
|
static boolean |
LoopTools.isIndexInvariant(Loop loop,
Identifier id)
Check if the index variable is defined within the loop body
|
| Modifier and Type | Method and Description |
|---|---|
static java.util.List<Expression> |
NormalExpression.getCoefficient(Expression e,
java.util.List<Identifier> id_list)
Deprecated.
Returns the list of coefficient with respect to the given set of
identifiers.
|
static Expression |
NormalExpression.getConstantCoefficient(Expression e,
java.util.List<Identifier> id_list)
Deprecated.
Returns the constant term with respect to the given set of variables.
|
static boolean |
NormalExpression.isAffine(Expression e,
java.util.List<Identifier> id_list)
Deprecated.
Checks if the given expression is an affine expression with respect to the
given set of identifiers.
|
| Modifier and Type | Method and Description |
|---|---|
Identifier |
Identifier.clone()
Returns a clone of this identifier.
|
static Identifier |
Tools.getArrayTemp(Traversable where,
java.util.List specs,
ArraySpecifier aspec,
java.lang.String name)
Deprecated.
|
static Identifier |
SymbolTools.getArrayTemp(Traversable where,
java.util.List specs,
ArraySpecifier aspec,
java.lang.String name)
Returns a new identifier derived from the given IR object, type list,
array specifier and name.
|
static Identifier |
Tools.getArrayTemp(Traversable where,
java.util.List specs,
java.util.List aspecs,
java.lang.String name)
Deprecated.
|
static Identifier |
SymbolTools.getArrayTemp(Traversable where,
java.util.List specs,
java.util.List aspecs,
java.lang.String name)
Returns a new identifier derived from the given IR object, type list,
array specifiers and name.
|
static Identifier |
SymbolTools.getOrphanID(java.lang.String name)
Returns an incomplete Identifier whose relevant symbol is not defined.
|
static Identifier |
Tools.getPointerTemp(Traversable where,
Identifier refID)
Deprecated.
|
static Identifier |
SymbolTools.getPointerTemp(Traversable where,
Identifier refID)
Returns a new, pointer-type identifier derived from the given IR object.
|
static Identifier |
Tools.getPointerTemp(Traversable where,
java.util.List specs,
java.util.List pspecs,
java.lang.String name)
Deprecated.
|
static Identifier |
SymbolTools.getPointerTemp(Traversable where,
java.util.List specs,
java.util.List pspecs,
java.lang.String name)
Returns a new, pointer-type identifier derived from the given IR object.
|
static Identifier |
Tools.getPointerTemp(Traversable where,
java.util.List specs,
java.lang.String name)
Deprecated.
|
static Identifier |
SymbolTools.getPointerTemp(Traversable where,
java.util.List specs,
java.lang.String name)
Returns a new, pointer-type identifier derived from the given IR object.
|
static Identifier |
Tools.getTemp(Identifier id)
Deprecated.
|
static Identifier |
SymbolTools.getTemp(Identifier id)
Returns a new identifier derived from the given identifier.
|
static Identifier |
Tools.getTemp(Identifier id,
java.lang.String name)
Deprecated.
|
static Identifier |
SymbolTools.getTemp(Identifier id,
java.lang.String name)
Returns a new identifier derived from the given identifier and name.
|
static Identifier |
Tools.getTemp(Traversable where,
Identifier id)
Deprecated.
|
static Identifier |
SymbolTools.getTemp(Traversable where,
Identifier id)
Returns a new identifier derived from the given IR object and identifier.
|
static Identifier |
Tools.getTemp(Traversable where,
java.util.List specs,
java.lang.String name)
Deprecated.
|
static Identifier |
SymbolTools.getTemp(Traversable where,
java.util.List specs,
java.lang.String name)
Returns a new identifier derived from the given IR object, type list, and
name.
|
static Identifier |
Tools.getTemp(Traversable where,
Specifier spec,
java.lang.String name)
Deprecated.
|
static Identifier |
SymbolTools.getTemp(Traversable where,
Specifier spec,
java.lang.String name)
Returns a new identifier derived from the given IR object, type, and name.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.Map<Identifier,RangeExpression> |
PragmaAnnotation.Range.getMap() |
static java.util.List<Identifier> |
Symbolic.getVariables(Expression e)
Returns the list of variables if the given expression is affine.
|
| Modifier and Type | Method and Description |
|---|---|
static void |
Identifier.defaultPrint(Identifier i,
java.io.PrintWriter o)
Prints an identifier to a stream.
|
static Expression |
Symbolic.getClosedFormSum(Identifier id,
Expression lb,
Expression ub,
Expression e)
Returns the closed form of the given summation parameters,
sum(e) s.t.
|
static Expression |
Symbolic.getClosedFormSum(Identifier id,
Expression lb,
Expression ub,
Expression e,
java.lang.Boolean divisible)
Computes and returns the closed form expression of the given expression,
index, and bounds with the divisibility property of the given expression.
|
static Expression |
Symbolic.getCoefficient(Expression e,
Identifier id)
Returns the symbolic coefficient of the given identifier in the
expression.
|
static Identifier |
Tools.getPointerTemp(Traversable where,
Identifier refID)
Deprecated.
|
static Identifier |
SymbolTools.getPointerTemp(Traversable where,
Identifier refID)
Returns a new, pointer-type identifier derived from the given IR object.
|
static java.util.List<Expression> |
Symbolic.getPolynomialCoef(Expression e,
Identifier id)
Returns a list of expressions which contains coefficients of n-th terms
when the given id is the basis.
|
static Identifier |
Tools.getTemp(Identifier id)
Deprecated.
|
static Identifier |
SymbolTools.getTemp(Identifier id)
Returns a new identifier derived from the given identifier.
|
static Identifier |
Tools.getTemp(Identifier id,
java.lang.String name)
Deprecated.
|
static Identifier |
SymbolTools.getTemp(Identifier id,
java.lang.String name)
Returns a new identifier derived from the given identifier and name.
|
static Identifier |
Tools.getTemp(Traversable where,
Identifier id)
Deprecated.
|
static Identifier |
SymbolTools.getTemp(Traversable where,
Identifier id)
Returns a new identifier derived from the given IR object and identifier.
|
| Modifier and Type | Method and Description |
|---|---|
static java.util.List<Expression> |
Symbolic.getCoefficient(Expression e,
java.util.List<Identifier> ids)
Returns the list of coefficient with respect to the given set of
identifiers.
|
static Expression |
Symbolic.getConstantCoefficient(Expression e,
java.util.List<Identifier> ids)
Returns the constant term with respect to the given set of variables.
|
static boolean |
Symbolic.isAffine(Expression e,
java.util.List<Identifier> ids)
Checks if the given expression is an affine expression with respect to the
given list of identifiers.
|