public override WS1SFormula ToWS1S(CharSetSolver solver) { if (WS1S == null) { WS1S = new WS1STrue(); } return(WS1S); }
internal override Automaton <BDD> getDFA(List <string> variables, BDD alphabet, CharSetSolver solver) { return(WS1STrue.computeDFA(variables, alphabet, solver)); }
public override WS1SFormula ToWS1S(CharSetSolver solver) { if (WS1S == null) WS1S = new WS1STrue(); return WS1S; }