Esempi in C# (CSharp) per Mona MonaIff

Esempio n. 1

        public virtual bool IsEquivalentWith(MonaFormula phi, HashSet <Char> alphabet, CharSetSolver solver)
        {
            var p1  = new MonaIff(phi, this);
            var dfa = p1.GetDFA(alphabet, solver);

            return(!dfa.IsEmpty);
        }

Esempio n. 2

File: MonaFormula.cs Progetto: AutomataTutor/automatatutor-backend

 public virtual bool IsEquivalentWith(MonaFormula phi, HashSet<Char> alphabet, CharSetSolver solver)
 {
     var p1 = new MonaIff(phi, this);
     var dfa = p1.GetDFA(alphabet, solver);
     return !dfa.IsEmpty;
 }