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.Optionsoptions
-
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.Builderbuilder()abstract booleancomputeBackward()abstract booleancomputeDelayed()abstract booleancomputeDirect()abstract booleancomputeDirectRefinement()abstract booleancomputeFair()abstract booleancomputeLookaheadDirect()static BuchiSimulationArgumentsgetFromCli(org.apache.commons.cli.CommandLine cmdLine)abstract intmaxLookahead()abstract intpebbleCount()abstract booleansanity()abstract booleanverboseFine()
-
-
-
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()
-
-