Microsoft.Automata.Rex.RexEngine.SerializeDAG C# (CSharp) 메소드

Create a string encoding of the given automaton with probabilities.

public SerializeDAG ( Automaton aut ) : string
aut	Automaton	deterministic and loopfree automaton
리턴	string

        public string SerializeDAG(Automaton<BDD> aut)
        {
            return solver.SerializeDAG(aut);
        }

RexEngine