Package owl.translations.ltl2dra

Class SymbolicNormalformDRAConstruction

java.lang.Object

owl.translations.ltl2dra.SymbolicNormalformDRAConstruction

All Implemented Interfaces:

Function<LabelledFormula,SymbolicAutomaton<?>>

public class SymbolicNormalformDRAConstruction
extends Object
implements Function<LabelledFormula,SymbolicAutomaton<?>>

Constructor Summary

Constructors

Constructor	Description
SymbolicNormalformDRAConstruction(boolean useDualConstruction, BddSetFactory factory)
SymbolicNormalformDRAConstruction(BddSetFactory factory)

Method Summary

Modifier and Type	Method	Description
SymbolicAutomaton<?>	apply(LabelledFormula labelledFormula)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.function.Function

andThen, compose

Constructor Detail

SymbolicNormalformDRAConstruction

public SymbolicNormalformDRAConstruction(BddSetFactory factory)

SymbolicNormalformDRAConstruction

public SymbolicNormalformDRAConstruction(boolean useDualConstruction,
                                         BddSetFactory factory)

Method Detail

apply

public SymbolicAutomaton<?> apply(LabelledFormula labelledFormula)

Specified by:

apply in interface Function<LabelledFormula,SymbolicAutomaton<?>>