internal override Automaton <IMonadicPredicate <BDD, T> > GetAutomatonX(SimpleList <Variable> variables, ICartesianAlgebraBDD <T> alg, bool singletonSetSemantics) { if (singletonSetSemantics) { return(BasicAutomata.MkLe1 <T>(GetVarIndex(var1, variables), GetVarIndex(var2, variables), alg)); } else { return(BasicAutomata.MkLe2 <T>(GetVarIndex(var1, variables), GetVarIndex(var2, variables), alg)); } }
internal override Automaton <BDD> GetAutomatonBDD(SimpleList <Variable> variables, IBDDAlgebra alg, int nrOfLabelBits, bool singletonSetSemantics) { if (singletonSetSemantics) { return(BasicAutomata.MkLe1(GetVarIndex(var1, variables) + nrOfLabelBits, GetVarIndex(var2, variables) + nrOfLabelBits, alg)); } else { return(BasicAutomata.MkLe2(GetVarIndex(var1, variables) + nrOfLabelBits, GetVarIndex(var2, variables) + nrOfLabelBits, alg)); } }