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; }