public final class Substitutor
extends java.lang.Object
Constructor and Description |
---|
Substitutor(Efsm efsm) |
Modifier and Type | Method and Description |
---|---|
ru.ispras.fortress.expression.Node |
backtrack(java.util.List<EfsmTransition> path) |
static java.util.Map<java.lang.Integer,java.util.Map<java.lang.String,ru.ispras.fortress.data.Data>> |
deannotateInputs(java.lang.Iterable<ru.ispras.fortress.data.Variable> variables) |
static java.lang.String |
deannotateName(java.lang.String name) |
static int |
getCycleNumberForAnnotatedInput(java.lang.String name) |
public Substitutor(Efsm efsm)
public static java.util.Map<java.lang.Integer,java.util.Map<java.lang.String,ru.ispras.fortress.data.Data>> deannotateInputs(java.lang.Iterable<ru.ispras.fortress.data.Variable> variables)
public static int getCycleNumberForAnnotatedInput(java.lang.String name)
public static java.lang.String deannotateName(java.lang.String name)
public ru.ispras.fortress.expression.Node backtrack(java.util.List<EfsmTransition> path)
targetExpression
after all substitutions