Microsoft.Automata.Rex.RexEngine.DeserializeDAG C# (CSharp) Method

Recreate an automaton from a string that has been produced with SerializeDAG.

public DeserializeDAG ( string dag ) : Automaton
dag	string	string encoding of a deterministic and loopfree automaton with probabilities
return	Automaton

        public Automaton<BDD> DeserializeDAG(string dag)
        {
            return solver.DeserializeDAG(dag);
        }

RexEngine