Class RabinizerConfiguration


  • @Immutable
    public class RabinizerConfiguration
    extends Object
    • Constructor Detail

      • RabinizerConfiguration

        public RabinizerConfiguration()
    • Method Detail

      • eager

        @Default
        public boolean eager()
      • supportBasedRelevantFormulaAnalysis

        @Default
        public boolean supportBasedRelevantFormulaAnalysis()
      • suspendableFormulaDetection

        @Default
        public boolean suspendableFormulaDetection()