Exemplos de Microsoft.Automata.MSO BasicAutomata.MkIsEmpty em C# (CSharp)

Exemplo n.º 1

Arquivo: MSO.cs Projeto: OlliSaarikivi/Automata

        internal override Automaton <BDD> GetAutomatonBDD(SimpleList <Variable> variables, IBDDAlgebra alg, int nrOfLabelBits)
        {
            var pos = GetVarIndex(var, variables) + nrOfLabelBits;

            return(BasicAutomata.MkIsEmpty(pos, alg));
        }

Exemplo n.º 2

        internal override Automaton <IMonadicPredicate <BDD, T> > GetAutomatonX(SimpleList <Variable> variables, ICartesianAlgebraBDD <T> alg, bool singletonSetSemantics)
        {
            var pos = GetVarIndex(var, variables);

            return(BasicAutomata.MkIsEmpty <T>(pos, alg));
        }