Package org.svvrl.goal.core.comp.kurshan

Class Summary

Class	Description
KurshanConstruction	Complements a deterministic Büchi automaton by modified R.