public final class SimpleTranslations
extends java.lang.Object
Modifier and Type | Method | Description |
---|---|---|
static Automaton<DegeneralizedBreakpointState,BuchiAcceptance> |
buildBuchi(LabelledFormula formula,
Environment env) |
|
static Automaton<DegeneralizedBreakpointState,CoBuchiAcceptance> |
buildCoBuchi(LabelledFormula formula,
Environment env) |
|
static Automaton<EquivalenceClass,BuchiAcceptance> |
buildCoSafety(LabelledFormula labelledFormula,
Environment env) |
|
static Automaton<EquivalenceClass,AllAcceptance> |
buildSafety(LabelledFormula labelledFormula,
Environment env) |
public static Automaton<DegeneralizedBreakpointState,BuchiAcceptance> buildBuchi(LabelledFormula formula, Environment env)
public static Automaton<DegeneralizedBreakpointState,CoBuchiAcceptance> buildCoBuchi(LabelledFormula formula, Environment env)
public static Automaton<EquivalenceClass,BuchiAcceptance> buildCoSafety(LabelledFormula labelledFormula, Environment env)
public static Automaton<EquivalenceClass,AllAcceptance> buildSafety(LabelledFormula labelledFormula, Environment env)