java.util.function.Function<LabelledFormula,Automaton<?,ParityAcceptance>>
public class LTL2DPAFunction extends java.lang.Object implements java.util.function.Function<LabelledFormula,Automaton<?,ParityAcceptance>>
Modifier and Type | Class | Description |
---|---|---|
static class |
LTL2DPAFunction.Configuration |
Modifier and Type | Field | Description |
---|---|---|
static java.util.Set<LTL2DPAFunction.Configuration> |
RECOMMENDED_ASYMMETRIC_CONFIG |
|
static java.util.Set<LTL2DPAFunction.Configuration> |
RECOMMENDED_SYMMETRIC_CONFIG |
Constructor | Description |
---|---|
LTL2DPAFunction(Environment env,
java.util.Set<LTL2DPAFunction.Configuration> configuration) |
Modifier and Type | Method | Description |
---|---|---|
Automaton<?,ParityAcceptance> |
apply(LabelledFormula formula) |
public static final java.util.Set<LTL2DPAFunction.Configuration> RECOMMENDED_ASYMMETRIC_CONFIG
public static final java.util.Set<LTL2DPAFunction.Configuration> RECOMMENDED_SYMMETRIC_CONFIG
public LTL2DPAFunction(Environment env, java.util.Set<LTL2DPAFunction.Configuration> configuration)
public Automaton<?,ParityAcceptance> apply(LabelledFormula formula)
apply
in interface java.util.function.Function<LabelledFormula,Automaton<?,ParityAcceptance>>