public AutomatonTextTemplate(BREXManager manager, BDDHelperPredicates helperPredicates, string name, Automaton <BDD> automaton)
{
this.manager = manager;
this.helperPredicates = helperPredicates;
this.name = name;
this.automaton = automaton;
}
public AutomatonMovesTextTemplate(CharSetSolver solver, BDDHelperPredicates helperPredicates, Automaton <BDD> automaton,
string isAtEndConditionText, string readNextCharText)
{
this.solver = solver;
this.helperPredicates = helperPredicates;
this.automaton = automaton;
this.isAtEndConditionText = isAtEndConditionText;
this.readNextCharText = readNextCharText;
}
