internal override Automaton <BDD> GetAutomatonBDD(SimpleList <Variable> variables, IBDDAlgebra alg, int nrOfLabelBits)
{
var pos = variables.IndexOf(var);
if (pos < 0)
{
throw new ArgumentOutOfRangeException("variables", string.Format("does not contain {0}", var));
}
Automaton <BDD> aut = BasicAutomata.MkLast(pos + nrOfLabelBits, alg);
return(aut);
}
internal override Automaton <IMonadicPredicate <BDD, T> > GetAutomatonX(SimpleList <Variable> variables, ICartesianAlgebraBDD <T> alg, bool singletonSetSemantics)
{
return(BasicAutomata.MkLast <T>(GetVarIndex(var, variables), alg));
}
internal override Automaton <BDD> GetAutomatonBDD(SimpleList <Variable> variables, IBDDAlgebra alg, int nrOfLabelBits, bool singletonSetSemantics)
{
return(BasicAutomata.MkLast(GetVarIndex(var, variables) + nrOfLabelBits, alg));
}