Package owl.command
Class AutomatonConversionCommands.NbaSimCommand
- java.lang.Object
-
- owl.command.AutomatonConversionCommands.NbaSimCommand
-
- Enclosing class:
- AutomatonConversionCommands
public static final class AutomatonConversionCommands.NbaSimCommand extends Object
-
-
Constructor Summary
Constructors Constructor Description NbaSimCommand()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected Class<BuchiAcceptance>acceptanceClass()protected booleanallowSimplifierOnOutput()Integercall()protected Function<Automaton<?,? extends BuchiAcceptance>,Automaton<?,? extends BuchiAcceptance>>conversion()intmaxLookahead()intpebbleCount()protected List<String>rawArgs()booleansanity()BuchiSimulation.SimulationTypesimulationType()StringtoString()booleanverboseFine()
-
-
-
Method Detail
-
simulationType
public BuchiSimulation.SimulationType simulationType()
-
pebbleCount
public int pebbleCount()
-
maxLookahead
public int maxLookahead()
-
sanity
public boolean sanity()
-
verboseFine
public boolean verboseFine()
-
acceptanceClass
protected Class<BuchiAcceptance> acceptanceClass()
-
conversion
protected Function<Automaton<?,? extends BuchiAcceptance>,Automaton<?,? extends BuchiAcceptance>> conversion()
-
allowSimplifierOnOutput
protected boolean allowSimplifierOnOutput()
-
-