|
public Complement ( Automaton |
||
| aut | Automaton |
|
| return | Automaton |
|
public Automaton<BDD> Complement(Automaton<BDD> aut)
{
return aut.Determinize().Complement();
}
