package smtml

  1. Overview
  2. Docs
package smtml
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Smtzilla_utils.Feature_mapSource

Sourcetype feat =
  1. | Val
  2. | Ptr
  3. | Symbol
  4. | List_expr
  5. | App
  6. | Unop_expr
  7. | Binop_expr
  8. | Triop_expr
  9. | Relop_expr
  10. | Cvtop_expr
  11. | Naryop_expr
  12. | Extract
  13. | Concat
  14. | Binder
  15. | Neg
  16. | Not
  17. | Clz
  18. | Ctz
  19. | Popcnt
  20. | Abs
  21. | Sqrt
  22. | Is_normal
  23. | Is_subnormal
  24. | Is_negative
  25. | Is_positive
  26. | Is_infinite
  27. | Is_nan
  28. | Is_zero
  29. | Ceil
  30. | Floor
  31. | Trunc
  32. | Nearest
  33. | Head
  34. | Tail
  35. | Reverse
  36. | Length
  37. | Trim
  38. | Regexp_star
  39. | Regexp_loop
  40. | Regexp_plus
  41. | Regexp_opt
  42. | Regexp_comp
  43. | Add
  44. | Sub
  45. | Mul
  46. | Div
  47. | DivU
  48. | Rem
  49. | RemU
  50. | Shl
  51. | ShrA
  52. | ShrL
  53. | And
  54. | Or
  55. | Xor
  56. | Implies
  57. | Pow
  58. | Min
  59. | Max
  60. | Copysign
  61. | Rotl
  62. | Rotr
  63. | Ext_rotl
  64. | Ext_rotr
  65. | At
  66. | List_cons
  67. | List_append
  68. | String_prefix
  69. | String_suffix
  70. | String_contains
  71. | String_last_index
  72. | String_in_re
  73. | Regexp_range
  74. | Regexp_inter
  75. | Regexp_diff
  76. | Ite
  77. | List_set
  78. | String_extract
  79. | String_replace
  80. | String_index
  81. | String_replace_all
  82. | String_replace_re
  83. | String_replace_re_all
  84. | Eq
  85. | Ne
  86. | Lt
  87. | LtU
  88. | Le
  89. | LeU
  90. | ToString
  91. | OfString
  92. | ToBool
  93. | OfBool
  94. | Reinterpret_int
  95. | Reinterpret_float
  96. | DemoteF64
  97. | PromoteF32
  98. | ConvertSI32
  99. | ConvertUI32
  100. | ConvertSI64
  101. | ConvertUI64
  102. | TruncSF32
  103. | TruncUF32
  104. | TruncSF64
  105. | TruncUF64
  106. | Trunc_sat_f32_s
  107. | Trunc_sat_f32_u
  108. | Trunc_sat_f64_s
  109. | Trunc_sat_f64_u
  110. | WrapI64
  111. | Sign_extend
  112. | Zero_extend
  113. | String_to_code
  114. | String_from_code
  115. | String_to_int
  116. | String_from_int
  117. | String_to_float
  118. | String_to_re
  119. | Logand
  120. | Logor
  121. | Regexp_union
  122. | Distinct
  123. | Ty_app
  124. | Ty_bitv
  125. | Ty_bool
  126. | Ty_fp
  127. | Ty_int
  128. | Ty_list
  129. | Ty_none
  130. | Ty_real
  131. | Ty_str
  132. | Ty_unit
  133. | Ty_regexp
  134. | Ty_roundingMode
  135. | Depth
  136. | Max_depth
  137. | Time
  138. | Nb_queries
  139. | Mean_depth
Sourcetype t
Sourceval empty : t
Sourceval union : t -> t -> t
Sourceval incr_feat : feat -> t -> t
Sourceval get_feat : feat -> t -> int
Sourceval add_time : int -> t -> t
Sourceval add_depth : int -> t -> t
Sourceval get_depth : t -> int
Sourceval add_nb_queries : int -> t -> t
Sourceval add_mean_depth : int -> t -> t
Sourceval rename_depth_to_max_depth : t -> t
Sourceval feat_to_string : feat -> string
Sourceval feat_of_string : string -> feat