public final class DtgrmaFactory
extends java.lang.Object
Constructor | Description |
---|---|
DtgrmaFactory(Formula phi,
Factories factories,
java.util.EnumSet<Optimisation> opts) |
Modifier and Type | Method | Description |
---|---|---|
ProductControllerSynthesis |
constructAutomaton() |
public DtgrmaFactory(Formula phi, Factories factories, java.util.EnumSet<Optimisation> opts)
public ProductControllerSynthesis constructAutomaton()