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