public final class EfsmUtils
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static java.util.Map<ru.ispras.fortress.expression.NodeVariable,java.util.Set<ru.ispras.fortress.expression.NodeVariable>> |
getResultingDependencies(Action action)
Returns mapping between modified variables and affecting variables.
|
static java.util.Map<ru.ispras.fortress.expression.NodeVariable,ru.ispras.fortress.expression.Node> |
getResultingSubstitutions(Action action)
Returns mapping between variables and corresponding substitutions.
|
public static java.util.Map<ru.ispras.fortress.expression.NodeVariable,java.util.Set<ru.ispras.fortress.expression.NodeVariable>> getResultingDependencies(Action action)
Returns mappings between modified variables and variables which affects corresponding modifications.
For example, if this action consists of two subsequent assignments x = y
and
z = x + i
, the resulting map contains mappings from x
to y
and from
z
to y
and i
.
public static java.util.Map<ru.ispras.fortress.expression.NodeVariable,ru.ispras.fortress.expression.Node> getResultingSubstitutions(Action action)
Returns mappings between variables and corresponding substitutions representing total variable modifications during execution of this action. That is, execution of this action is equal to parallel evaluation of the substitutions and subsequent assignment of derived values to the corresponding variables.