Package owl.translations.fgx2dpa
Class SafetyAutomaton
- java.lang.Object
-
- owl.translations.fgx2dpa.SafetyAutomaton
-
public final class SafetyAutomaton extends Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static MutableAutomaton<owl.translations.fgx2dpa.State,ParityAcceptance>
build(Environment env, LabelledFormula labelledFormula2)
-
-
-
Method Detail
-
build
public static MutableAutomaton<owl.translations.fgx2dpa.State,ParityAcceptance> build(Environment env, LabelledFormula labelledFormula2)
-
-