|
public DeserializeDAG ( string dag ) : Automaton |
||
| dag | string | string encoding of a deterministic and loopfree automaton with probabilities |
| Результат | Automaton |
|
public Automaton<BDD> DeserializeDAG(string dag)
{
return solver.DeserializeDAG(dag);
}