public final class DeclarationUtils
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
NEW_VAR_PREFIX
Prefix for new variables that are created by the tool.
|
Modifier and Type | Method and Description |
---|---|
static ru.ispras.fortress.expression.Node |
getInvariant(Declaration declaration,
ru.ispras.fortress.expression.NodeVariable var)
Returns the constraint representation of the specified variable.
|
public static final java.lang.String NEW_VAR_PREFIX
public static ru.ispras.fortress.expression.Node getInvariant(Declaration declaration, ru.ispras.fortress.expression.NodeVariable var)
declaration
- The declaration that contains invariant.var
- The variable for which an invariant is built.