Param

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. object ABBREV_LABELS extends Param with Product with Serializable

   

5. object ADT_MEASURE extends Param with Product with Serializable

   

6. object APPLY_BLOCKED_TASKS extends Param with Product with Serializable

   

7. object ASSERTIONS extends Param with Product with Serializable

   

8. object BOOLEAN_FUNCTIONS_AS_PREDICATES extends Param with Product with Serializable

   

9. object CLAUSIFIER extends Param with Product with Serializable

   

10. object COMPUTE_MODEL extends Param with Product with Serializable

    

11. object COMPUTE_UNSAT_CORE extends Param with Product with Serializable

    

12. object CONSTRAINT_SIMPLIFIER extends Param with Product with Serializable

    

13. object ClausifierOptions extends Enumeration

    

14. object ConstraintSimplifierOptions extends Enumeration

    

15. object DNF_CONSTRAINTS extends Param with Product with Serializable

    

16. object ELIMINATE_INTERPOLANT_QUANTIFIERS extends Param with Product with Serializable

    

17. object FULL_HELP extends Param with Product with Serializable

    

18. object FULL_SPLITTING extends Param with Product with Serializable

    

19. object FUNCTIONAL_PREDICATES extends Param with Product with Serializable

    

20. object FUNCTION_GC extends Param with Product with Serializable

    

21. object FunctionGCOptions extends Enumeration

    

22. object GARBAGE_COLLECTED_FUNCTIONS extends Param with Product with Serializable

    

23. object GENERATE_TOTALITY_AXIOMS extends Param with Product with Serializable

    

24. 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.

25. object INCREMENTAL extends Param with Product with Serializable

    

26. object INPUT_FORMAT extends Param with Product with Serializable

    

27. object InputFormat extends Enumeration

    

28. object LOGO extends Param with Product with Serializable

    

29. object MAKE_QUERIES_PARTIAL extends Param with Product with Serializable

    

30. object MATCHING_BASE_PRIORITY extends Param with Product with Serializable

    

31. object MOST_GENERAL_CONSTRAINT extends Param with Product with Serializable

    

32. object MUL_PROCEDURE extends Param with Product with Serializable

    

33. object MulProcedure extends Enumeration

    

34. object NEG_SOLVING extends Param with Product with Serializable

    

35. object NONLINEAR_SPLITTING extends Param with Product with Serializable

    

36. object NegSolvingOptions extends Enumeration

    

37. object NonLinearSplitting extends Enumeration

    

38. object PORTFOLIO extends Param with Product with Serializable

    

39. object POS_UNIT_RESOLUTION extends Param with Product with Serializable

    

40. object PREDICATE_MATCH_CONFIG extends Param with Product with Serializable

    

41. object PRINT_CERTIFICATE extends Param with Product with Serializable

    

42. object PRINT_DOT_CERTIFICATE_FILE extends Param with Product with Serializable

    

43. object PRINT_SMT_FILE extends Param with Product with Serializable

    

44. object PRINT_TPTP_FILE extends Param with Product with Serializable

    

45. object PRINT_TREE extends Param with Product with Serializable

    

46. object PROOF_CONSTRUCTION extends Param with Product with Serializable

    

47. object PROOF_CONSTRUCTION_GLOBAL extends Param with Product with Serializable

    

48. object PROOF_SIMPLIFICATION extends Param with Product with Serializable

    

49. object PortfolioOptions extends Enumeration

    

50. object ProofConstructionOptions extends Enumeration

    

51. object QUIET extends Param with Product with Serializable

    

52. object RANDOM_DATA_SOURCE extends Param with Product with Serializable

    

53. object RANDOM_SEED extends Param with Product with Serializable

    

54. object REAL_RAT_SATURATION_ROUNDS extends Param with Product with Serializable

    

55. object REDUCER_PLUGIN extends Param with Product with Serializable

    

56. object REDUCER_SETTINGS extends Param with Product with Serializable

    

57. object REVERSE_FUNCTIONALITY_PROPAGATION extends Param with Product with Serializable

    

58. object SIMPLIFY_CONSTRAINTS extends Param with Product with Serializable

    

59. object SINGLE_INSTANTIATION_PREDICATES extends Param with Product with Serializable

    

60. object STDIN extends Param with Product with Serializable

    

61. object STRENGTHEN_TREE_FOR_SIDE_CONDITIONS extends Param with Product with Serializable

    

62. object STRING_THEORY_DESC extends Param with Product with Serializable

    

63. object SYMBOL_WEIGHTS extends Param with Product with Serializable

    

64. object THEORY_PLUGIN extends Param with Product with Serializable

    

65. object TIGHT_FUNCTION_SCOPES extends Param with Product with Serializable

    

66. object TIMEOUT extends Param with Product with Serializable

    

67. object TIMEOUT_PER extends Param with Product with Serializable

    

68. object TRACE_CONSTRAINT_SIMPLIFIER extends Param with Product with Serializable

    

69. object TRIGGERS_IN_CONJECTURE extends Param with Product with Serializable

    

70. object TRIGGER_GENERATION extends Param with Product with Serializable

    

71. object TRIGGER_STRATEGY extends Param with Product with Serializable

    

72. object TriggerGenerationOptions extends Enumeration

    

73. object TriggerStrategyOptions extends Enumeration

    

74. object USE_FUNCTIONAL_CONSISTENCY_THEORY extends Param with Product with Serializable

    

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

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

75. object VERSION extends Param with Product with Serializable

    

76. final def asInstanceOf[T0]: T0

    

    Definition Classes

    Any

77. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

78. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

79. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

80. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

81. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

82. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

83. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

84. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

85. final def notify(): Unit

    

    Definition Classes

    AnyRef

86. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

87. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

88. def toString(): String

    

    Definition Classes

    AnyRef → Any

89. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

90. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

91. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )