All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`protected Class<BuchiAcceptance>`	`acceptanceClass()`
`protected boolean`	`allowSimplifierOnOutput()`
`Integer`	`call()`
`protected Function<Automaton<?,? extends BuchiAcceptance>,Automaton<?,? extends BuchiAcceptance>>`	`conversion()`
`int`	`maxLookahead()`
`int`	`pebbleCount()`
`protected List<String>`	`rawArgs()`
`boolean`	`sanity()`
`BuchiSimulation.SimulationType`	`simulationType()`
`String`	`toString()`
`boolean`	`verboseFine()`

public BuchiSimulation.SimulationType simulationType()

protected Class<BuchiAcceptance> acceptanceClass()

protected Function<Automaton<?,? extends BuchiAcceptance>,Automaton<?,? extends BuchiAcceptance>> conversion()

protected boolean allowSimplifierOnOutput()

public final Integer call()
                   throws Exception

Class AutomatonConversionCommands.NbaSimCommand