Class BuchiSimulationArguments
- java.lang.Object
-
- owl.automaton.algorithm.simulations.BuchiSimulationArguments
-
public abstract class BuchiSimulationArguments extends Object
-
-
Field Summary
Fields Modifier and Type Field Description static org.apache.commons.cli.Options
options
-
Constructor Summary
Constructors Constructor Description BuchiSimulationArguments()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description static owl.automaton.algorithm.simulations.BuchiSimulationArguments.Builder
builder()
abstract boolean
computeBackward()
abstract boolean
computeDelayed()
abstract boolean
computeDirect()
abstract boolean
computeDirectRefinement()
abstract boolean
computeFair()
abstract boolean
computeLookaheadDirect()
static BuchiSimulationArguments
getFromCli(org.apache.commons.cli.CommandLine cmdLine)
abstract int
maxLookahead()
abstract int
pebbleCount()
abstract boolean
sanity()
abstract boolean
verboseFine()
-
-
-
Method Detail
-
builder
public static owl.automaton.algorithm.simulations.BuchiSimulationArguments.Builder builder()
-
getFromCli
public static BuchiSimulationArguments getFromCli(org.apache.commons.cli.CommandLine cmdLine)
-
computeDirect
public abstract boolean computeDirect()
-
computeDelayed
public abstract boolean computeDelayed()
-
computeFair
public abstract boolean computeFair()
-
computeBackward
public abstract boolean computeBackward()
-
computeLookaheadDirect
public abstract boolean computeLookaheadDirect()
-
computeDirectRefinement
public abstract boolean computeDirectRefinement()
-
sanity
public abstract boolean sanity()
-
pebbleCount
public abstract int pebbleCount()
-
maxLookahead
public abstract int maxLookahead()
-
verboseFine
public abstract boolean verboseFine()
-
-