Beispiel #1
0
 internal override Automaton <BDD> GetAutomatonBDD(SimpleList <Variable> variables, IBDDAlgebra alg, int nrOfLabelBits)
 {
     return(BasicAutomata.MkFalse(alg));
 }
Beispiel #2
0
 internal override Automaton <IMonadicPredicate <BDD, T> > GetAutomatonX(SimpleList <Variable> variables, ICartesianAlgebraBDD <T> alg, bool singletonSetSemantics)
 {
     return(BasicAutomata.MkFalse <T>(alg));
 }