Packages

object Param

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Param
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. abstract class LOG_FLAG extends AnyRef

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  8. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  9. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  10. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  11. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  13. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  14. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  15. def toString(): String
    Definition Classes
    AnyRef → Any
  16. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  17. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  18. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  19. case object ABBREV_LABELS extends Param with Product with Serializable
  20. case object ADT_MEASURE extends Param with Product with Serializable
  21. case object APPLY_BLOCKED_TASKS extends Param with Product with Serializable

    Even apply formulas that have been blocked, as last steps in a proof.

    Even apply formulas that have been blocked, as last steps in a proof. this can be necessary in order to generate genuine models (ModelSearchProver)

  22. case object ASSERTIONS extends Param with Product with Serializable
  23. case object BOOLEAN_FUNCTIONS_AS_PREDICATES extends Param with Product with Serializable
  24. case object CLAUSIFIER extends Param with Product with Serializable
  25. case object COMPUTE_MODEL extends Param with Product with Serializable
  26. case object COMPUTE_UNSAT_CORE extends Param with Product with Serializable
  27. case object CONSTRAINT_SIMPLIFIER extends Param with Product with Serializable
  28. case object COUNTER_TIMEOUT extends Param with Product with Serializable
  29. object ClausifierOptions extends Enumeration
  30. object ConstraintSimplifierOptions extends Enumeration
  31. case object DNF_CONSTRAINTS extends Param with Product with Serializable

    Turn ground constraints into disjunctive normal form

  32. case object ELIMINATE_INTERPOLANT_QUANTIFIERS extends Param with Product with Serializable
  33. case object EQUIV_INLINING extends Param with Product with Serializable

    During pre-processing, inline equivalences of the form p <-> f, for some Boolean variable p.

  34. case object FULL_HELP extends Param with Product with Serializable
  35. case object FULL_SPLITTING extends Param with Product with Serializable

    Even split propositional formulae that do not contain quantifiers or eliminated constants

  36. case object FUNCTIONAL_PREDICATES extends Param with Product with Serializable
  37. case object FUNCTION_GC extends Param with Product with Serializable
  38. object FunctionGCOptions extends Enumeration
  39. case object GARBAGE_COLLECTED_FUNCTIONS extends Param with Product with Serializable
  40. case object GENERATE_TOTALITY_AXIOMS extends Param with Product with Serializable
  41. case object IGNORE_QUANTIFIERS extends Param with Product with Serializable

    Ignore universal quantifiers in a problem that would require free variables, by converting the quantifiers to existential ones.

  42. case object INCREMENTAL extends Param with Product with Serializable
  43. case object INLINE_SIZE_LIMIT extends Param with Product with Serializable

    Maximum size of function bodies to inline.

  44. case object INPUT_FORMAT extends Param with Product with Serializable
  45. object InputFormat extends Enumeration
  46. case object LOGO extends Param with Product with Serializable
  47. case object LOG_BACKTRACKING extends LOG_FLAG with Product with Serializable
  48. case object LOG_COUNTERS extends LOG_FLAG with Product with Serializable
  49. case object LOG_COUNTERS_CONT extends LOG_FLAG with Product with Serializable
  50. case object LOG_LEMMAS extends LOG_FLAG with Product with Serializable
  51. case object LOG_LEVEL extends Param with Product with Serializable

    Enable logging to stderr for specific aspects of the system.

  52. case object LOG_SPLITS extends LOG_FLAG with Product with Serializable
  53. case object LOG_STATS extends LOG_FLAG with Product with Serializable
  54. case object LOG_TASKS extends LOG_FLAG with Product with Serializable
  55. case object MAKE_QUERIES_PARTIAL extends Param with Product with Serializable

    Use heuristics to distinguish between constructor and query function symbols, and make the latter ones partial

  56. case object MATCHING_BASE_PRIORITY extends Param with Product with Serializable
  57. object MGCFormatOptions extends Enumeration
  58. case object MGC_FORMAT extends Param with Product with Serializable
  59. case object MODEL_GENERATION extends Param with Product with Serializable
  60. case object MOST_GENERAL_CONSTRAINT extends Param with Product with Serializable
  61. case object MUL_PROCEDURE extends Param with Product with Serializable
  62. object MulProcedure extends Enumeration
  63. case object NEG_SOLVING extends Param with Product with Serializable

    Options for solving problems in positive or negated version

  64. case object NONLINEAR_SPLITTING extends Param with Product with Serializable
  65. object NegSolvingOptions extends Enumeration
  66. object NonLinearSplitting extends Enumeration
  67. case object PORTFOLIO extends Param with Product with Serializable

    Portfolios optimised for particular domains

  68. case object PORTFOLIO_THREAD_NUM extends Param with Product with Serializable
  69. case object POS_UNIT_RESOLUTION extends Param with Product with Serializable

    Resolve negative predicate literals in clauses with positive facts

  70. case object PREDICATE_MATCH_CONFIG extends Param with Product with Serializable
  71. case object PRINT_CERTIFICATE extends Param with Product with Serializable
  72. case object PRINT_DOT_CERTIFICATE_FILE extends Param with Product with Serializable
  73. case object PRINT_RUNTIME extends Param with Product with Serializable
  74. case object PRINT_SMT_FILE extends Param with Product with Serializable
  75. case object PRINT_TPTP_FILE extends Param with Product with Serializable
  76. case object PRINT_TREE extends Param with Product with Serializable
  77. case object PROOF_CONSTRUCTION extends Param with Product with Serializable
  78. case object PROOF_CONSTRUCTION_GLOBAL extends Param with Product with Serializable
  79. case object PROOF_SIMPLIFICATION extends Param with Product with Serializable
  80. object ProofConstructionOptions extends Enumeration

    Globally, we can also choose to construct proofs depending on whether interpolation specs were given (the default)

  81. case object QUIET extends Param with Product with Serializable
  82. case object RANDOM_DATA_SOURCE extends Param with Product with Serializable
  83. case object RANDOM_SEED extends Param with Product with Serializable
  84. case object REAL_RAT_SATURATION_ROUNDS extends Param with Product with Serializable
  85. case object REDUCER_PLUGIN extends Param with Product with Serializable
  86. case object REDUCER_SETTINGS extends Param with Product with Serializable
  87. case object REVERSE_FUNCTIONALITY_PROPAGATION extends Param with Product with Serializable
  88. case object SEQ_THEORY_DESC extends Param with Product with Serializable
  89. case object SIMPLIFY_CONSTRAINTS extends Param with Product with Serializable
  90. case object SINGLE_INSTANTIATION_PREDICATES extends Param with Product with Serializable
  91. case object SMTParserExtraTheories extends Param with Product with Serializable
  92. case object STDIN extends Param with Product with Serializable
  93. case object STRENGTHEN_TREE_FOR_SIDE_CONDITIONS extends Param with Product with Serializable

    Represent numeric side conditions (inequalities) in quantified formulas using the StrengthenTree constructor

  94. case object STRING_ESCAPES extends Param with Product with Serializable

    Accept an extended set of escape sequences in strings: \\, \x, \a, \b, \f, \n, \r, \t, \v.

    Accept an extended set of escape sequences in strings: \\, \x, \a, \b, \f, \n, \r, \t, \v. Without this option, only the official SMT-LIB escapes are accepted.

  95. case object STRING_THEORY_DESC extends Param with Product with Serializable
  96. case object SYMBOL_WEIGHTS extends Param with Product with Serializable
  97. case object THEORY_PLUGIN extends Param with Product with Serializable
  98. case object TIGHT_FUNCTION_SCOPES extends Param with Product with Serializable
  99. case object TIMEOUT extends Param with Product with Serializable
  100. case object TIMEOUT_PER extends Param with Product with Serializable
  101. case object TRACE_CONSTRAINT_SIMPLIFIER extends Param with Product with Serializable
  102. case object TRIGGERS_IN_CONJECTURE extends Param with Product with Serializable
  103. case object TRIGGER_GENERATION extends Param with Product with Serializable
  104. case object TRIGGER_STRATEGY extends Param with Product with Serializable
  105. object TriggerGenerationOptions extends Enumeration
  106. object TriggerStrategyOptions extends Enumeration
  107. case object USE_FUNCTIONAL_CONSISTENCY_THEORY extends Param with Product with Serializable

    Use the FunctionalConsistency dummy theory to represent applications of functionality in proofs.

  108. case object VERSION extends Param with Product with Serializable
  109. case object WARM_UP extends Param with Product with Serializable

    Before solving any actual tasks, run some other problems for warmup purposes.

    Before solving any actual tasks, run some other problems for warmup purposes. This will reduce the effect of a JVM cold-start.

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

    (Since version 9)

Inherited from AnyRef

Inherited from Any

Ungrouped