C# (CSharp) Mona MonaIff Examples

Example #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);
        }

Example #2

File: MonaFormula.cs Project: 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;
 }