Class BuchiSimulationArguments


  • public abstract class BuchiSimulationArguments
    extends Object
    • Field Detail

      • options

        public static final org.apache.commons.cli.Options options
    • Constructor Detail

      • BuchiSimulationArguments

        public BuchiSimulationArguments()
    • Method Detail

      • builder

        public static owl.automaton.algorithm.simulations.BuchiSimulationArguments.Builder builder()
      • 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()