Class RabinizerConfiguration


  • @Immutable
    public class RabinizerConfiguration
    extends Object
    • Constructor Detail

      • RabinizerConfiguration

        public RabinizerConfiguration()
    • Method Detail

      • completeAutomaton

        @Default
        public boolean completeAutomaton()
      • computeAcceptance

        @Default
        public boolean computeAcceptance()
      • eager

        @Default
        public boolean eager()
      • supportBasedRelevantFormulaAnalysis

        @Default
        public boolean supportBasedRelevantFormulaAnalysis()
      • suspendableFormulaDetection

        @Default
        public boolean suspendableFormulaDetection()
      • removeFormulaRepresentative

        @Default
        public boolean removeFormulaRepresentative()