veritas 0.0.2 → 0.0.3

Sign up to get free protection for your applications and to get access to all the features.
Files changed (669) hide show
  1. data/Gemfile +14 -15
  2. data/README.rdoc +4 -4
  3. data/Rakefile +0 -1
  4. data/TODO +0 -85
  5. data/benchmarks/speed.rb +14 -14
  6. data/config/flay.yml +2 -2
  7. data/config/flog.yml +1 -1
  8. data/config/roodi.yml +3 -3
  9. data/lib/veritas.rb +75 -8
  10. data/lib/veritas/algebra/difference.rb +1 -0
  11. data/lib/veritas/algebra/extension.rb +1 -40
  12. data/lib/veritas/algebra/intersection.rb +1 -0
  13. data/lib/veritas/algebra/join.rb +1 -0
  14. data/lib/veritas/algebra/product.rb +1 -0
  15. data/lib/veritas/algebra/projection.rb +1 -0
  16. data/lib/veritas/algebra/rename.rb +2 -3
  17. data/lib/veritas/algebra/rename/aliases.rb +34 -0
  18. data/lib/veritas/algebra/restriction.rb +1 -0
  19. data/lib/veritas/algebra/summarization.rb +1 -0
  20. data/lib/veritas/algebra/union.rb +1 -0
  21. data/lib/veritas/attribute.rb +0 -17
  22. data/lib/veritas/logic/connective.rb +0 -7
  23. data/lib/veritas/logic/connective/binary.rb +16 -0
  24. data/lib/veritas/logic/connective/unary.rb +15 -0
  25. data/lib/veritas/logic/expression.rb +2 -2
  26. data/lib/veritas/logic/predicate.rb +16 -14
  27. data/lib/veritas/logic/proposition.rb +21 -10
  28. data/lib/veritas/logic/proposition/{false.rb → contradiction.rb} +8 -8
  29. data/lib/veritas/logic/proposition/{true.rb → tautology.rb} +8 -8
  30. data/lib/veritas/relation.rb +2 -14
  31. data/lib/veritas/relation/header.rb +69 -8
  32. data/lib/veritas/relation/operation/limit.rb +1 -0
  33. data/lib/veritas/relation/operation/offset.rb +1 -0
  34. data/lib/veritas/relation/operation/order.rb +1 -3
  35. data/lib/veritas/relation/operation/order/direction_set.rb +1 -0
  36. data/lib/veritas/relation/operation/reverse.rb +1 -0
  37. data/lib/veritas/support/immutable.rb +33 -63
  38. data/lib/veritas/support/visitable.rb +3 -0
  39. data/lib/veritas/version.rb +1 -1
  40. data/spec/integration/veritas/algebra/join_spec.rb +1 -1
  41. data/spec/integration/veritas/algebra/product_spec.rb +1 -1
  42. data/spec/integration/veritas/algebra/projection_spec.rb +1 -1
  43. data/spec/integration/veritas/algebra/summarization_spec.rb +1 -1
  44. data/spec/integration/veritas/relation/efficient_enumerable_spec.rb +3 -3
  45. data/spec/shared/each_method_behaviour.rb +13 -0
  46. data/spec/spec_helper.rb +0 -1
  47. data/spec/unit/date/pred_spec.rb +3 -4
  48. data/spec/unit/range/overlaps_spec.rb +1 -1
  49. data/spec/unit/range/to_inclusive_spec.rb +13 -7
  50. data/spec/unit/time/pred_spec.rb +3 -4
  51. data/spec/unit/veritas/abstract_class/class_methods/new_spec.rb +1 -1
  52. data/spec/unit/veritas/algebra/difference/each_spec.rb +7 -8
  53. data/spec/unit/veritas/algebra/difference/methods/difference_spec.rb +5 -5
  54. data/spec/unit/veritas/algebra/extension/class_methods/new_spec.rb +3 -3
  55. data/spec/unit/veritas/algebra/extension/each_spec.rb +3 -4
  56. data/spec/unit/veritas/algebra/extension/eql_spec.rb +9 -10
  57. data/spec/unit/veritas/algebra/extension/extensions_spec.rb +2 -3
  58. data/spec/unit/veritas/algebra/extension/hash_spec.rb +3 -4
  59. data/spec/unit/veritas/algebra/extension/header_spec.rb +2 -3
  60. data/spec/unit/veritas/algebra/extension/methods/extend_spec.rb +5 -5
  61. data/spec/unit/veritas/algebra/extension/operand_spec.rb +2 -3
  62. data/spec/unit/veritas/algebra/intersection/each_spec.rb +7 -8
  63. data/spec/unit/veritas/algebra/intersection/methods/intersect_spec.rb +5 -5
  64. data/spec/unit/veritas/algebra/join/class_methods/new_spec.rb +2 -2
  65. data/spec/unit/veritas/algebra/join/each_spec.rb +3 -4
  66. data/spec/unit/veritas/algebra/join/methods/join_spec.rb +7 -7
  67. data/spec/unit/veritas/algebra/product/class_methods/new_spec.rb +2 -2
  68. data/spec/unit/veritas/algebra/product/each_spec.rb +3 -4
  69. data/spec/unit/veritas/algebra/product/methods/product_spec.rb +4 -4
  70. data/spec/unit/veritas/algebra/projection/directions_spec.rb +2 -3
  71. data/spec/unit/veritas/algebra/projection/each_spec.rb +3 -4
  72. data/spec/unit/veritas/algebra/projection/eql_spec.rb +9 -10
  73. data/spec/unit/veritas/algebra/projection/hash_spec.rb +6 -7
  74. data/spec/unit/veritas/algebra/projection/header_spec.rb +2 -3
  75. data/spec/unit/veritas/algebra/projection/methods/project_spec.rb +4 -4
  76. data/spec/unit/veritas/algebra/projection/methods/remove_spec.rb +4 -4
  77. data/spec/unit/veritas/algebra/rename/aliases/class_methods/coerce_spec.rb +2 -2
  78. data/spec/unit/veritas/algebra/rename/aliases/class_methods/new_spec.rb +21 -0
  79. data/spec/unit/veritas/algebra/rename/aliases/each_spec.rb +3 -4
  80. data/spec/unit/veritas/algebra/rename/aliases/element_reference_spec.rb +3 -4
  81. data/spec/unit/veritas/algebra/rename/aliases/empty_spec.rb +3 -4
  82. data/spec/unit/veritas/algebra/rename/aliases/eql_spec.rb +4 -5
  83. data/spec/unit/veritas/algebra/rename/aliases/equal_value_spec.rb +4 -5
  84. data/spec/unit/veritas/algebra/rename/aliases/hash_spec.rb +3 -4
  85. data/spec/unit/veritas/algebra/rename/aliases/to_hash_spec.rb +3 -4
  86. data/spec/unit/veritas/algebra/rename/aliases/union_spec.rb +18 -19
  87. data/spec/unit/veritas/algebra/rename/aliases_spec.rb +4 -5
  88. data/spec/unit/veritas/algebra/rename/directions_spec.rb +3 -4
  89. data/spec/unit/veritas/algebra/rename/each_spec.rb +5 -6
  90. data/spec/unit/veritas/algebra/rename/eql_spec.rb +9 -10
  91. data/spec/unit/veritas/algebra/rename/hash_spec.rb +5 -6
  92. data/spec/unit/veritas/algebra/rename/header_spec.rb +3 -4
  93. data/spec/unit/veritas/algebra/rename/methods/rename_spec.rb +5 -5
  94. data/spec/unit/veritas/algebra/restriction/each_spec.rb +3 -4
  95. data/spec/unit/veritas/algebra/restriction/eql_spec.rb +9 -10
  96. data/spec/unit/veritas/algebra/restriction/hash_spec.rb +3 -4
  97. data/spec/unit/veritas/algebra/restriction/methods/restrict_spec.rb +3 -3
  98. data/spec/unit/veritas/algebra/restriction/predicate_spec.rb +2 -3
  99. data/spec/unit/veritas/algebra/summarization/class_methods/summarize_spec.rb +2 -2
  100. data/spec/unit/veritas/algebra/summarization/each_spec.rb +6 -7
  101. data/spec/unit/veritas/algebra/summarization/eql_spec.rb +18 -19
  102. data/spec/unit/veritas/algebra/summarization/hash_spec.rb +6 -7
  103. data/spec/unit/veritas/algebra/summarization/header_spec.rb +2 -3
  104. data/spec/unit/veritas/algebra/summarization/methods/summarize_spec.rb +5 -5
  105. data/spec/unit/veritas/algebra/summarization/summarize_by_spec.rb +2 -3
  106. data/spec/unit/veritas/algebra/summarization/summarizers_spec.rb +2 -3
  107. data/spec/unit/veritas/algebra/union/each_spec.rb +7 -8
  108. data/spec/unit/veritas/algebra/union/methods/union_spec.rb +5 -5
  109. data/spec/unit/veritas/aliasable/inheritable_alias_spec.rb +1 -1
  110. data/spec/unit/veritas/attribute/boolean/class_methods/primitive_spec.rb +2 -2
  111. data/spec/unit/veritas/attribute/boolean/valid_value_spec.rb +2 -3
  112. data/spec/unit/veritas/attribute/call_spec.rb +5 -5
  113. data/spec/unit/veritas/attribute/class/class_methods/primitive_spec.rb +2 -2
  114. data/spec/unit/veritas/attribute/class_methods/coerce_spec.rb +2 -2
  115. data/spec/unit/veritas/attribute/class_methods/name_from_spec.rb +2 -2
  116. data/spec/unit/veritas/attribute/class_methods/new_spec.rb +5 -5
  117. data/spec/unit/veritas/attribute/comparable/comparable_spec.rb +5 -5
  118. data/spec/unit/veritas/attribute/date/class_methods/primitive_spec.rb +2 -2
  119. data/spec/unit/veritas/attribute/date/range_spec.rb +2 -3
  120. data/spec/unit/veritas/attribute/date_time/class_methods/primitive_spec.rb +2 -2
  121. data/spec/unit/veritas/attribute/date_time/range_spec.rb +2 -3
  122. data/spec/unit/veritas/attribute/decimal/class_methods/primitive_spec.rb +2 -2
  123. data/spec/unit/veritas/attribute/eql_spec.rb +7 -7
  124. data/spec/unit/veritas/attribute/equal_value_spec.rb +7 -7
  125. data/spec/unit/veritas/attribute/float/class_methods/primitive_spec.rb +2 -2
  126. data/spec/unit/veritas/attribute/hash_spec.rb +6 -6
  127. data/spec/unit/veritas/attribute/inspect_spec.rb +3 -3
  128. data/spec/unit/veritas/attribute/integer/class_methods/primitive_spec.rb +2 -2
  129. data/spec/unit/veritas/attribute/joinable_spec.rb +4 -4
  130. data/spec/unit/veritas/attribute/name_spec.rb +4 -4
  131. data/spec/unit/veritas/attribute/numeric/class_methods/primitive_spec.rb +2 -2
  132. data/spec/unit/veritas/attribute/numeric/joinable_spec.rb +5 -6
  133. data/spec/unit/veritas/attribute/numeric/size_spec.rb +3 -5
  134. data/spec/unit/veritas/attribute/numeric/valid_value_spec.rb +2 -3
  135. data/spec/unit/veritas/attribute/object/class_methods/primitive_spec.rb +2 -2
  136. data/spec/unit/veritas/attribute/options_spec.rb +7 -7
  137. data/spec/unit/veritas/attribute/orderable/asc_spec.rb +3 -3
  138. data/spec/unit/veritas/attribute/orderable/desc_spec.rb +3 -3
  139. data/spec/unit/veritas/attribute/rename_spec.rb +4 -4
  140. data/spec/unit/veritas/attribute/required_spec.rb +5 -5
  141. data/spec/unit/veritas/attribute/string/class_methods/primitive_spec.rb +2 -2
  142. data/spec/unit/veritas/attribute/string/joinable_spec.rb +4 -5
  143. data/spec/unit/veritas/attribute/string/length_spec.rb +4 -6
  144. data/spec/unit/veritas/attribute/string/valid_value_spec.rb +2 -3
  145. data/spec/unit/veritas/attribute/time/class_methods/primitive_spec.rb +2 -2
  146. data/spec/unit/veritas/attribute/time/range_spec.rb +2 -3
  147. data/spec/unit/veritas/attribute/valid_primitive_spec.rb +3 -3
  148. data/spec/unit/veritas/attribute/valid_value_spec.rb +8 -8
  149. data/spec/unit/veritas/evaluator/expression/add_spec.rb +3 -4
  150. data/spec/unit/veritas/evaluator/expression/expressions_spec.rb +4 -5
  151. data/spec/unit/veritas/immutable/class_methods/freeze_object_spec.rb +2 -2
  152. data/spec/unit/veritas/immutable/class_methods/new_spec.rb +1 -1
  153. data/spec/unit/veritas/immutable/dup_spec.rb +3 -3
  154. data/spec/unit/veritas/immutable/{memoize_methods/freeze_spec.rb → freeze_spec.rb} +6 -6
  155. data/spec/unit/veritas/immutable/memoize_spec.rb +14 -7
  156. data/spec/unit/veritas/immutable/memoized_spec.rb +27 -0
  157. data/spec/unit/veritas/immutable/memory/element_reference_spec.rb +2 -3
  158. data/spec/unit/veritas/immutable/memory/element_set_spec.rb +2 -3
  159. data/spec/unit/veritas/immutable/module_methods/included_spec.rb +1 -1
  160. data/spec/unit/veritas/immutable/module_methods/memoize_spec.rb +2 -2
  161. data/spec/unit/veritas/logic/connective/binary/call_spec.rb +9 -9
  162. data/spec/unit/veritas/logic/connective/binary/equal_value_spec.rb +65 -0
  163. data/spec/unit/veritas/logic/connective/binary/rename_spec.rb +10 -10
  164. data/spec/unit/veritas/logic/connective/conjunction/class_methods/call_spec.rb +2 -2
  165. data/spec/unit/veritas/logic/connective/conjunction/inspect_spec.rb +6 -7
  166. data/spec/unit/veritas/logic/connective/conjunction/methods/and_spec.rb +5 -5
  167. data/spec/unit/veritas/logic/connective/disjunction/class_methods/call_spec.rb +2 -2
  168. data/spec/unit/veritas/logic/connective/disjunction/inspect_spec.rb +6 -7
  169. data/spec/unit/veritas/logic/connective/disjunction/methods/or_spec.rb +5 -5
  170. data/spec/unit/veritas/logic/connective/inspect_spec.rb +4 -4
  171. data/spec/unit/veritas/logic/connective/inverse_spec.rb +5 -5
  172. data/spec/unit/veritas/logic/connective/negation/class_methods/call_spec.rb +2 -2
  173. data/spec/unit/veritas/logic/connective/negation/inspect_spec.rb +4 -5
  174. data/spec/unit/veritas/logic/connective/negation/inverse_spec.rb +4 -5
  175. data/spec/unit/veritas/logic/connective/negation/methods/not_spec.rb +5 -5
  176. data/spec/unit/veritas/logic/connective/unary/call_spec.rb +8 -8
  177. data/spec/unit/veritas/logic/connective/unary/equal_value_spec.rb +53 -0
  178. data/spec/unit/veritas/logic/connective/unary/rename_spec.rb +8 -8
  179. data/spec/unit/veritas/logic/expression/class_methods/call_spec.rb +2 -2
  180. data/spec/unit/veritas/logic/expression/eql_spec.rb +4 -4
  181. data/spec/unit/veritas/logic/expression/equal_value_spec.rb +5 -53
  182. data/spec/unit/veritas/logic/expression/hash_spec.rb +4 -4
  183. data/spec/unit/veritas/logic/expression/inspect_spec.rb +4 -4
  184. data/spec/unit/veritas/logic/expression/inverse_spec.rb +4 -4
  185. data/spec/unit/veritas/logic/expression/rename_spec.rb +5 -5
  186. data/spec/unit/veritas/logic/predicate/call_spec.rb +3 -4
  187. data/spec/unit/veritas/logic/predicate/class_methods/call_spec.rb +4 -4
  188. data/spec/unit/veritas/logic/predicate/class_methods/extract_value_spec.rb +2 -2
  189. data/spec/unit/veritas/logic/predicate/comparable/class_methods/call_spec.rb +1 -1
  190. data/spec/unit/veritas/logic/predicate/comparable/inspect_spec.rb +5 -5
  191. data/spec/unit/veritas/logic/predicate/enumerable/class_methods/compare_method_spec.rb +4 -4
  192. data/spec/unit/veritas/logic/predicate/eql_spec.rb +13 -14
  193. data/spec/unit/veritas/logic/predicate/equal_value_spec.rb +64 -0
  194. data/spec/unit/veritas/logic/predicate/equality/class_methods/call_spec.rb +2 -2
  195. data/spec/unit/veritas/logic/predicate/equality/class_methods/inverse_spec.rb +2 -2
  196. data/spec/unit/veritas/logic/predicate/equality/class_methods/operation_spec.rb +2 -2
  197. data/spec/unit/veritas/logic/predicate/equality/class_methods/reverse_spec.rb +2 -2
  198. data/spec/unit/veritas/logic/predicate/equality/inspect_spec.rb +3 -4
  199. data/spec/unit/veritas/logic/predicate/equality/inverse_spec.rb +3 -4
  200. data/spec/unit/veritas/logic/predicate/equality/methods/eq_spec.rb +4 -4
  201. data/spec/unit/veritas/logic/predicate/exclusion/class_methods/call_spec.rb +2 -2
  202. data/spec/unit/veritas/logic/predicate/exclusion/class_methods/inverse_spec.rb +2 -2
  203. data/spec/unit/veritas/logic/predicate/exclusion/inspect_spec.rb +3 -4
  204. data/spec/unit/veritas/logic/predicate/exclusion/inverse_spec.rb +4 -5
  205. data/spec/unit/veritas/logic/predicate/exclusion/methods/exclude_spec.rb +4 -4
  206. data/spec/unit/veritas/logic/predicate/greater_than/class_methods/call_spec.rb +2 -2
  207. data/spec/unit/veritas/logic/predicate/greater_than/class_methods/inverse_spec.rb +2 -2
  208. data/spec/unit/veritas/logic/predicate/greater_than/class_methods/operation_spec.rb +2 -2
  209. data/spec/unit/veritas/logic/predicate/greater_than/class_methods/reverse_spec.rb +2 -2
  210. data/spec/unit/veritas/logic/predicate/greater_than/inspect_spec.rb +3 -4
  211. data/spec/unit/veritas/logic/predicate/greater_than/inverse_spec.rb +3 -4
  212. data/spec/unit/veritas/logic/predicate/greater_than/methods/gt_spec.rb +4 -4
  213. data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/call_spec.rb +2 -2
  214. data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/inverse_spec.rb +2 -2
  215. data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/operation_spec.rb +2 -2
  216. data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/class_methods/reverse_spec.rb +2 -2
  217. data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/inspect_spec.rb +3 -4
  218. data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/inverse_spec.rb +3 -4
  219. data/spec/unit/veritas/logic/predicate/greater_than_or_equal_to/methods/gte_spec.rb +4 -4
  220. data/spec/unit/veritas/logic/predicate/hash_spec.rb +5 -6
  221. data/spec/unit/veritas/logic/predicate/inclusion/class_methods/call_spec.rb +2 -2
  222. data/spec/unit/veritas/logic/predicate/inclusion/class_methods/inverse_spec.rb +2 -2
  223. data/spec/unit/veritas/logic/predicate/inclusion/inspect_spec.rb +3 -4
  224. data/spec/unit/veritas/logic/predicate/inclusion/inverse_spec.rb +4 -5
  225. data/spec/unit/veritas/logic/predicate/inclusion/methods/include_spec.rb +4 -4
  226. data/spec/unit/veritas/logic/predicate/inequality/class_methods/call_spec.rb +2 -2
  227. data/spec/unit/veritas/logic/predicate/inequality/class_methods/inverse_spec.rb +2 -2
  228. data/spec/unit/veritas/logic/predicate/inequality/class_methods/operation_spec.rb +2 -2
  229. data/spec/unit/veritas/logic/predicate/inequality/class_methods/reverse_spec.rb +2 -2
  230. data/spec/unit/veritas/logic/predicate/inequality/inspect_spec.rb +3 -4
  231. data/spec/unit/veritas/logic/predicate/inequality/inverse_spec.rb +3 -4
  232. data/spec/unit/veritas/logic/predicate/inequality/methods/ne_spec.rb +4 -4
  233. data/spec/unit/veritas/logic/predicate/inspect_spec.rb +4 -5
  234. data/spec/unit/veritas/logic/predicate/inverse_spec.rb +6 -6
  235. data/spec/unit/veritas/logic/predicate/less_than/class_methods/call_spec.rb +2 -2
  236. data/spec/unit/veritas/logic/predicate/less_than/class_methods/inverse_spec.rb +2 -2
  237. data/spec/unit/veritas/logic/predicate/less_than/class_methods/operation_spec.rb +2 -2
  238. data/spec/unit/veritas/logic/predicate/less_than/class_methods/reverse_spec.rb +2 -2
  239. data/spec/unit/veritas/logic/predicate/less_than/inspect_spec.rb +3 -4
  240. data/spec/unit/veritas/logic/predicate/less_than/inverse_spec.rb +3 -4
  241. data/spec/unit/veritas/logic/predicate/less_than/methods/lt_spec.rb +4 -4
  242. data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/class_methods/call_spec.rb +2 -2
  243. data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/class_methods/inverse_spec.rb +2 -2
  244. data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/class_methods/operation_spec.rb +2 -2
  245. data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/class_methods/reverse_spec.rb +2 -2
  246. data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/inspect_spec.rb +3 -4
  247. data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/inverse_spec.rb +3 -4
  248. data/spec/unit/veritas/logic/predicate/less_than_or_equal_to/methods/lte_spec.rb +4 -4
  249. data/spec/unit/veritas/logic/predicate/match/class_methods/call_spec.rb +2 -2
  250. data/spec/unit/veritas/logic/predicate/match/class_methods/inverse_spec.rb +2 -2
  251. data/spec/unit/veritas/logic/predicate/match/class_methods/operation_spec.rb +2 -2
  252. data/spec/unit/veritas/logic/predicate/match/inspect_spec.rb +3 -4
  253. data/spec/unit/veritas/logic/predicate/match/inverse_spec.rb +4 -5
  254. data/spec/unit/veritas/logic/predicate/match/methods/match_spec.rb +4 -4
  255. data/spec/unit/veritas/logic/predicate/no_match/class_methods/call_spec.rb +2 -2
  256. data/spec/unit/veritas/logic/predicate/no_match/class_methods/inverse_spec.rb +2 -2
  257. data/spec/unit/veritas/logic/predicate/no_match/class_methods/operation_spec.rb +2 -2
  258. data/spec/unit/veritas/logic/predicate/no_match/inspect_spec.rb +3 -4
  259. data/spec/unit/veritas/logic/predicate/no_match/inverse_spec.rb +4 -5
  260. data/spec/unit/veritas/logic/predicate/no_match/methods/no_match_spec.rb +4 -4
  261. data/spec/unit/veritas/logic/predicate/rename_spec.rb +5 -6
  262. data/spec/unit/veritas/logic/proposition/call_spec.rb +4 -4
  263. data/spec/unit/veritas/logic/proposition/class_methods/call_spec.rb +2 -2
  264. data/spec/unit/veritas/logic/proposition/class_methods/new_spec.rb +4 -4
  265. data/spec/unit/veritas/logic/proposition/contradiction/and_spec.rb +10 -0
  266. data/spec/unit/veritas/logic/proposition/contradiction/class_methods/call_spec.rb +9 -0
  267. data/spec/unit/veritas/logic/proposition/contradiction/class_methods/inverse_spec.rb +9 -0
  268. data/spec/unit/veritas/logic/proposition/contradiction/inspect_spec.rb +9 -0
  269. data/spec/unit/veritas/logic/proposition/contradiction/inverse_spec.rb +15 -0
  270. data/spec/unit/veritas/logic/proposition/contradiction/or_spec.rb +10 -0
  271. data/spec/unit/veritas/logic/proposition/eql_spec.rb +14 -4
  272. data/spec/unit/veritas/logic/proposition/equal_value_spec.rb +38 -0
  273. data/spec/unit/veritas/logic/proposition/hash_spec.rb +4 -4
  274. data/spec/unit/veritas/logic/proposition/inspect_spec.rb +5 -5
  275. data/spec/unit/veritas/logic/proposition/inverse_spec.rb +5 -5
  276. data/spec/unit/veritas/logic/proposition/tautology/and_spec.rb +10 -0
  277. data/spec/unit/veritas/logic/proposition/tautology/class_methods/call_spec.rb +9 -0
  278. data/spec/unit/veritas/logic/proposition/tautology/class_methods/inverse_spec.rb +9 -0
  279. data/spec/unit/veritas/logic/proposition/tautology/inspect_spec.rb +9 -0
  280. data/spec/unit/veritas/logic/proposition/tautology/inverse_spec.rb +15 -0
  281. data/spec/unit/veritas/logic/proposition/tautology/or_spec.rb +10 -0
  282. data/spec/unit/veritas/operation/binary/eql_spec.rb +14 -14
  283. data/spec/unit/veritas/operation/binary/hash_spec.rb +6 -6
  284. data/spec/unit/veritas/operation/binary/left_spec.rb +4 -4
  285. data/spec/unit/veritas/operation/binary/right_spec.rb +4 -4
  286. data/spec/unit/veritas/operation/unary/eql_spec.rb +7 -7
  287. data/spec/unit/veritas/operation/unary/hash_spec.rb +5 -5
  288. data/spec/unit/veritas/operation/unary/operand_spec.rb +3 -3
  289. data/spec/unit/veritas/relation/class_methods/new_spec.rb +2 -2
  290. data/spec/unit/veritas/relation/directions_spec.rb +4 -5
  291. data/spec/unit/veritas/relation/each_spec.rb +5 -6
  292. data/spec/unit/veritas/relation/element_reference_spec.rb +5 -6
  293. data/spec/unit/veritas/relation/empty/each_spec.rb +4 -5
  294. data/spec/unit/veritas/relation/empty/empty_spec.rb +2 -3
  295. data/spec/unit/veritas/relation/empty/header_spec.rb +2 -3
  296. data/spec/unit/veritas/relation/empty_spec.rb +4 -5
  297. data/spec/unit/veritas/relation/eql_spec.rb +11 -12
  298. data/spec/unit/veritas/relation/equal_value_spec.rb +12 -13
  299. data/spec/unit/veritas/relation/hash_spec.rb +4 -5
  300. data/spec/unit/veritas/relation/header/class_methods/coerce_spec.rb +2 -2
  301. data/spec/unit/veritas/relation/header/class_methods/new_spec.rb +35 -0
  302. data/spec/unit/veritas/relation/header/difference_spec.rb +6 -7
  303. data/spec/unit/veritas/relation/header/each_spec.rb +6 -7
  304. data/spec/unit/veritas/relation/header/element_reference_spec.rb +2 -3
  305. data/spec/unit/veritas/relation/header/empty_spec.rb +3 -4
  306. data/spec/unit/veritas/relation/header/eql_spec.rb +10 -11
  307. data/spec/unit/veritas/relation/header/equal_value_spec.rb +10 -11
  308. data/spec/unit/veritas/relation/header/hash_spec.rb +3 -4
  309. data/spec/unit/veritas/relation/header/index_spec.rb +3 -4
  310. data/spec/unit/veritas/relation/header/inspect_spec.rb +3 -4
  311. data/spec/unit/veritas/relation/header/intersect_spec.rb +4 -5
  312. data/spec/unit/veritas/relation/header/project_spec.rb +4 -5
  313. data/spec/unit/veritas/relation/header/rename_spec.rb +4 -5
  314. data/spec/unit/veritas/relation/header/to_ary_spec.rb +3 -4
  315. data/spec/unit/veritas/relation/header/union_spec.rb +6 -7
  316. data/spec/unit/veritas/relation/header_spec.rb +3 -4
  317. data/spec/unit/veritas/relation/materialize_spec.rb +4 -5
  318. data/spec/unit/veritas/relation/materialized/class_methods/new_spec.rb +2 -2
  319. data/spec/unit/veritas/relation/materialized/empty_spec.rb +3 -4
  320. data/spec/unit/veritas/relation/materialized/materialize_spec.rb +2 -3
  321. data/spec/unit/veritas/relation/materialized/size_spec.rb +2 -3
  322. data/spec/unit/veritas/relation/operation/binary/directions_spec.rb +5 -5
  323. data/spec/unit/veritas/relation/operation/binary/header_spec.rb +5 -5
  324. data/spec/unit/veritas/relation/operation/combination/class_methods/combine_tuples_spec.rb +2 -2
  325. data/spec/unit/veritas/relation/operation/combination/header_spec.rb +5 -5
  326. data/spec/unit/veritas/relation/operation/limit/class_methods/new_spec.rb +2 -2
  327. data/spec/unit/veritas/relation/operation/limit/each_spec.rb +3 -4
  328. data/spec/unit/veritas/relation/operation/limit/eql_spec.rb +7 -8
  329. data/spec/unit/veritas/relation/operation/limit/hash_spec.rb +3 -4
  330. data/spec/unit/veritas/relation/operation/limit/limit_spec.rb +2 -3
  331. data/spec/unit/veritas/relation/operation/limit/methods/first_spec.rb +4 -4
  332. data/spec/unit/veritas/relation/operation/limit/methods/last_spec.rb +4 -4
  333. data/spec/unit/veritas/relation/operation/limit/methods/take_spec.rb +5 -5
  334. data/spec/unit/veritas/relation/operation/offset/class_methods/new_spec.rb +2 -2
  335. data/spec/unit/veritas/relation/operation/offset/each_spec.rb +3 -4
  336. data/spec/unit/veritas/relation/operation/offset/eql_spec.rb +7 -8
  337. data/spec/unit/veritas/relation/operation/offset/hash_spec.rb +3 -4
  338. data/spec/unit/veritas/relation/operation/offset/methods/drop_spec.rb +5 -5
  339. data/spec/unit/veritas/relation/operation/offset/offset_spec.rb +2 -3
  340. data/spec/unit/veritas/relation/operation/order/ascending/class_methods/call_spec.rb +2 -2
  341. data/spec/unit/veritas/relation/operation/order/ascending/class_methods/reverse_spec.rb +2 -2
  342. data/spec/unit/veritas/relation/operation/order/ascending/reverse_spec.rb +3 -4
  343. data/spec/unit/veritas/relation/operation/order/class_methods/new_spec.rb +2 -2
  344. data/spec/unit/veritas/relation/operation/order/descending/class_methods/call_spec.rb +2 -2
  345. data/spec/unit/veritas/relation/operation/order/descending/class_methods/reverse_spec.rb +2 -2
  346. data/spec/unit/veritas/relation/operation/order/descending/reverse_spec.rb +3 -4
  347. data/spec/unit/veritas/relation/operation/order/direction/attribute_spec.rb +4 -4
  348. data/spec/unit/veritas/relation/operation/order/direction/call_spec.rb +7 -7
  349. data/spec/unit/veritas/relation/operation/order/direction/class_methods/coerce_spec.rb +3 -3
  350. data/spec/unit/veritas/relation/operation/order/direction/eql_spec.rb +7 -7
  351. data/spec/unit/veritas/relation/operation/order/direction/hash_spec.rb +5 -5
  352. data/spec/unit/veritas/relation/operation/order/direction/rename_spec.rb +6 -6
  353. data/spec/unit/veritas/relation/operation/order/direction/reverse_spec.rb +8 -8
  354. data/spec/unit/veritas/relation/operation/order/direction_set/attributes_spec.rb +3 -4
  355. data/spec/unit/veritas/relation/operation/order/direction_set/class_methods/coerce_spec.rb +4 -4
  356. data/spec/unit/veritas/relation/operation/order/direction_set/each_spec.rb +4 -5
  357. data/spec/unit/veritas/relation/operation/order/direction_set/empty_spec.rb +2 -3
  358. data/spec/unit/veritas/relation/operation/order/direction_set/eql_spec.rb +5 -6
  359. data/spec/unit/veritas/relation/operation/order/direction_set/equal_value_spec.rb +5 -6
  360. data/spec/unit/veritas/relation/operation/order/direction_set/hash_spec.rb +5 -6
  361. data/spec/unit/veritas/relation/operation/order/direction_set/project_spec.rb +3 -4
  362. data/spec/unit/veritas/relation/operation/order/direction_set/rename_spec.rb +3 -4
  363. data/spec/unit/veritas/relation/operation/order/direction_set/reverse_spec.rb +5 -6
  364. data/spec/unit/veritas/relation/operation/order/direction_set/sort_tuples_spec.rb +6 -7
  365. data/spec/unit/veritas/relation/operation/order/direction_set/to_ary_spec.rb +3 -4
  366. data/spec/unit/veritas/relation/operation/order/direction_set/union_spec.rb +6 -7
  367. data/spec/unit/veritas/relation/operation/order/directions_spec.rb +3 -4
  368. data/spec/unit/veritas/relation/operation/order/each_spec.rb +3 -4
  369. data/spec/unit/veritas/relation/operation/order/eql_spec.rb +9 -10
  370. data/spec/unit/veritas/relation/operation/order/hash_spec.rb +4 -5
  371. data/spec/unit/veritas/relation/operation/order/header_spec.rb +2 -3
  372. data/spec/unit/veritas/relation/operation/order/methods/order_spec.rb +3 -3
  373. data/spec/unit/veritas/relation/operation/reverse/class_methods/new_spec.rb +2 -2
  374. data/spec/unit/veritas/relation/operation/reverse/each_spec.rb +3 -4
  375. data/spec/unit/veritas/relation/operation/reverse/methods/reverse_spec.rb +4 -4
  376. data/spec/unit/veritas/relation/operation/set/class_methods/new_spec.rb +1 -1
  377. data/spec/unit/veritas/relation/operation/set/header_spec.rb +5 -5
  378. data/spec/unit/veritas/relation/operation/unary/directions_spec.rb +6 -6
  379. data/spec/unit/veritas/relation/operation/unary/header_spec.rb +5 -5
  380. data/spec/unit/veritas/tuple/class_methods/coerce_spec.rb +2 -2
  381. data/spec/unit/veritas/tuple/element_reference_spec.rb +2 -3
  382. data/spec/unit/veritas/tuple/eql_spec.rb +9 -10
  383. data/spec/unit/veritas/tuple/equal_value_spec.rb +9 -10
  384. data/spec/unit/veritas/tuple/extend_spec.rb +3 -4
  385. data/spec/unit/veritas/tuple/hash_spec.rb +3 -4
  386. data/spec/unit/veritas/tuple/header_spec.rb +2 -3
  387. data/spec/unit/veritas/tuple/inspect_spec.rb +2 -3
  388. data/spec/unit/veritas/tuple/join_spec.rb +3 -4
  389. data/spec/unit/veritas/tuple/project_spec.rb +3 -4
  390. data/spec/unit/veritas/tuple/to_ary_spec.rb +2 -3
  391. data/spec/unit/veritas/visitable/accept_spec.rb +4 -4
  392. data/tasks/{ci.rake → quality/ci.rake} +0 -0
  393. data/veritas.gemspec +57 -517
  394. metadata +73 -558
  395. data/.autotest +0 -44
  396. data/lib/veritas/algebra.rb +0 -10
  397. data/lib/veritas/logic.rb +0 -5
  398. data/lib/veritas/optimizer.rb +0 -94
  399. data/lib/veritas/optimizer/algebra.rb +0 -10
  400. data/lib/veritas/optimizer/algebra/difference.rb +0 -64
  401. data/lib/veritas/optimizer/algebra/extension.rb +0 -40
  402. data/lib/veritas/optimizer/algebra/intersection.rb +0 -64
  403. data/lib/veritas/optimizer/algebra/join.rb +0 -42
  404. data/lib/veritas/optimizer/algebra/product.rb +0 -68
  405. data/lib/veritas/optimizer/algebra/projection.rb +0 -172
  406. data/lib/veritas/optimizer/algebra/rename.rb +0 -394
  407. data/lib/veritas/optimizer/algebra/restriction.rb +0 -257
  408. data/lib/veritas/optimizer/algebra/summarization.rb +0 -40
  409. data/lib/veritas/optimizer/algebra/union.rb +0 -64
  410. data/lib/veritas/optimizer/logic.rb +0 -2
  411. data/lib/veritas/optimizer/logic/connective.rb +0 -5
  412. data/lib/veritas/optimizer/logic/connective/binary.rb +0 -252
  413. data/lib/veritas/optimizer/logic/connective/conjunction.rb +0 -120
  414. data/lib/veritas/optimizer/logic/connective/disjunction.rb +0 -120
  415. data/lib/veritas/optimizer/logic/connective/negation.rb +0 -69
  416. data/lib/veritas/optimizer/logic/predicate.rb +0 -187
  417. data/lib/veritas/optimizer/logic/predicate/comparable.rb +0 -132
  418. data/lib/veritas/optimizer/logic/predicate/enumerable.rb +0 -139
  419. data/lib/veritas/optimizer/logic/predicate/equality.rb +0 -42
  420. data/lib/veritas/optimizer/logic/predicate/exclusion.rb +0 -51
  421. data/lib/veritas/optimizer/logic/predicate/greater_than.rb +0 -52
  422. data/lib/veritas/optimizer/logic/predicate/greater_than_or_equal_to.rb +0 -54
  423. data/lib/veritas/optimizer/logic/predicate/inclusion.rb +0 -51
  424. data/lib/veritas/optimizer/logic/predicate/inequality.rb +0 -42
  425. data/lib/veritas/optimizer/logic/predicate/less_than.rb +0 -52
  426. data/lib/veritas/optimizer/logic/predicate/less_than_or_equal_to.rb +0 -54
  427. data/lib/veritas/optimizer/logic/predicate/match.rb +0 -17
  428. data/lib/veritas/optimizer/logic/predicate/no_match.rb +0 -17
  429. data/lib/veritas/optimizer/relation.rb +0 -2
  430. data/lib/veritas/optimizer/relation/materialized.rb +0 -38
  431. data/lib/veritas/optimizer/relation/operation.rb +0 -8
  432. data/lib/veritas/optimizer/relation/operation/binary.rb +0 -166
  433. data/lib/veritas/optimizer/relation/operation/combination.rb +0 -31
  434. data/lib/veritas/optimizer/relation/operation/limit.rb +0 -147
  435. data/lib/veritas/optimizer/relation/operation/offset.rb +0 -112
  436. data/lib/veritas/optimizer/relation/operation/order.rb +0 -94
  437. data/lib/veritas/optimizer/relation/operation/reverse.rb +0 -92
  438. data/lib/veritas/optimizer/relation/operation/unary.rb +0 -86
  439. data/lib/veritas/relation/operation.rb +0 -10
  440. data/lib/veritas/support/optimizable.rb +0 -51
  441. data/spec/integration/veritas/algebra/difference/optimize_spec.rb +0 -153
  442. data/spec/integration/veritas/algebra/intersection/optimize_spec.rb +0 -153
  443. data/spec/integration/veritas/algebra/join/optimize_spec.rb +0 -111
  444. data/spec/integration/veritas/algebra/product/optimize_spec.rb +0 -177
  445. data/spec/integration/veritas/algebra/projection/optimize_spec.rb +0 -238
  446. data/spec/integration/veritas/algebra/rename/optimize_spec.rb +0 -441
  447. data/spec/integration/veritas/algebra/restriction/optimize_spec.rb +0 -301
  448. data/spec/integration/veritas/algebra/union/optimize_spec.rb +0 -193
  449. data/spec/integration/veritas/logic/connective/conjunction/optimize_spec.rb +0 -235
  450. data/spec/integration/veritas/logic/connective/disjunction/optimize_spec.rb +0 -236
  451. data/spec/integration/veritas/logic/connective/negation/optimize_spec.rb +0 -42
  452. data/spec/integration/veritas/logic/expression/optimize_spec.rb +0 -42
  453. data/spec/integration/veritas/logic/predicate/equality/optimize_spec.rb +0 -91
  454. data/spec/integration/veritas/logic/predicate/exclusion/optimize_spec.rb +0 -132
  455. data/spec/integration/veritas/logic/predicate/greater_than/optimize_spec.rb +0 -101
  456. data/spec/integration/veritas/logic/predicate/greater_than_or_equal_to/optimize_spec.rb +0 -101
  457. data/spec/integration/veritas/logic/predicate/inclusion/optimize_spec.rb +0 -132
  458. data/spec/integration/veritas/logic/predicate/inequality/optimize_spec.rb +0 -91
  459. data/spec/integration/veritas/logic/predicate/less_than/optimize_spec.rb +0 -101
  460. data/spec/integration/veritas/logic/predicate/less_than_or_equal_to/optimize_spec.rb +0 -101
  461. data/spec/integration/veritas/relation/empty/optimize_spec.rb +0 -12
  462. data/spec/integration/veritas/relation/materialized/optimize_spec.rb +0 -38
  463. data/spec/integration/veritas/relation/operation/limit/optimize_spec.rb +0 -141
  464. data/spec/integration/veritas/relation/operation/offset/optimize_spec.rb +0 -99
  465. data/spec/integration/veritas/relation/operation/order/optimize_spec.rb +0 -104
  466. data/spec/integration/veritas/relation/operation/reverse/optimize_spec.rb +0 -114
  467. data/spec/integration/veritas/relation/optimize_spec.rb +0 -34
  468. data/spec/shared/logic_connective_binary_optimize_behavior.rb +0 -100
  469. data/spec/shared/optimize_method_behavior.rb +0 -14
  470. data/spec/support/add_method_missing.rb +0 -13
  471. data/spec/unit/veritas/immutable/memoize_methods/memoize_spec.rb +0 -20
  472. data/spec/unit/veritas/immutable/memoize_methods/memoized_spec.rb +0 -27
  473. data/spec/unit/veritas/logic/proposition/false/and_spec.rb +0 -11
  474. data/spec/unit/veritas/logic/proposition/false/class_methods/call_spec.rb +0 -9
  475. data/spec/unit/veritas/logic/proposition/false/class_methods/inverse_spec.rb +0 -9
  476. data/spec/unit/veritas/logic/proposition/false/inspect_spec.rb +0 -10
  477. data/spec/unit/veritas/logic/proposition/false/inverse_spec.rb +0 -16
  478. data/spec/unit/veritas/logic/proposition/false/or_spec.rb +0 -11
  479. data/spec/unit/veritas/logic/proposition/true/and_spec.rb +0 -11
  480. data/spec/unit/veritas/logic/proposition/true/class_methods/call_spec.rb +0 -9
  481. data/spec/unit/veritas/logic/proposition/true/class_methods/inverse_spec.rb +0 -9
  482. data/spec/unit/veritas/logic/proposition/true/inspect_spec.rb +0 -10
  483. data/spec/unit/veritas/logic/proposition/true/inverse_spec.rb +0 -16
  484. data/spec/unit/veritas/logic/proposition/true/or_spec.rb +0 -11
  485. data/spec/unit/veritas/optimizable/class_methods/optimizer_spec.rb +0 -32
  486. data/spec/unit/veritas/optimizable/optimize_spec.rb +0 -36
  487. data/spec/unit/veritas/optimizer/algebra/difference/empty_left/optimize_spec.rb +0 -18
  488. data/spec/unit/veritas/optimizer/algebra/difference/empty_right/optimize_spec.rb +0 -18
  489. data/spec/unit/veritas/optimizer/algebra/difference/equal_operands/optimize_spec.rb +0 -20
  490. data/spec/unit/veritas/optimizer/algebra/extension/unoptimized_operand/optimizable_spec.rb +0 -28
  491. data/spec/unit/veritas/optimizer/algebra/extension/unoptimized_operand/optimize_spec.rb +0 -26
  492. data/spec/unit/veritas/optimizer/algebra/intersection/empty_left/optimize_spec.rb +0 -18
  493. data/spec/unit/veritas/optimizer/algebra/intersection/empty_right/optimize_spec.rb +0 -18
  494. data/spec/unit/veritas/optimizer/algebra/intersection/equal_operands/optimize_spec.rb +0 -18
  495. data/spec/unit/veritas/optimizer/algebra/join/equal_headers/optimizable_spec.rb +0 -28
  496. data/spec/unit/veritas/optimizer/algebra/join/equal_headers/optimize_spec.rb +0 -22
  497. data/spec/unit/veritas/optimizer/algebra/product/table_dee_left/optimizable_spec.rb +0 -26
  498. data/spec/unit/veritas/optimizer/algebra/product/table_dee_left/optimize_spec.rb +0 -17
  499. data/spec/unit/veritas/optimizer/algebra/product/table_dee_right/optimizable_spec.rb +0 -26
  500. data/spec/unit/veritas/optimizer/algebra/product/table_dee_right/optimize_spec.rb +0 -17
  501. data/spec/unit/veritas/optimizer/algebra/projection/empty_operand/optimizable_spec.rb +0 -26
  502. data/spec/unit/veritas/optimizer/algebra/projection/empty_operand/optimize_spec.rb +0 -19
  503. data/spec/unit/veritas/optimizer/algebra/projection/header_spec.rb +0 -17
  504. data/spec/unit/veritas/optimizer/algebra/projection/projection_operand/optimizable_spec.rb +0 -27
  505. data/spec/unit/veritas/optimizer/algebra/projection/projection_operand/optimize_spec.rb +0 -21
  506. data/spec/unit/veritas/optimizer/algebra/projection/set_operand/optimizable_spec.rb +0 -28
  507. data/spec/unit/veritas/optimizer/algebra/projection/set_operand/optimize_spec.rb +0 -39
  508. data/spec/unit/veritas/optimizer/algebra/projection/unchanged_header/optimizable_spec.rb +0 -27
  509. data/spec/unit/veritas/optimizer/algebra/projection/unchanged_header/optimize_spec.rb +0 -17
  510. data/spec/unit/veritas/optimizer/algebra/projection/unoptimized_operand/optimizable_spec.rb +0 -27
  511. data/spec/unit/veritas/optimizer/algebra/projection/unoptimized_operand/optimize_spec.rb +0 -21
  512. data/spec/unit/veritas/optimizer/algebra/rename/aliases_spec.rb +0 -32
  513. data/spec/unit/veritas/optimizer/algebra/rename/class_methods/union_aliases_spec.rb +0 -27
  514. data/spec/unit/veritas/optimizer/algebra/rename/empty_operand/optimizable_spec.rb +0 -26
  515. data/spec/unit/veritas/optimizer/algebra/rename/empty_operand/optimize_spec.rb +0 -19
  516. data/spec/unit/veritas/optimizer/algebra/rename/header_spec.rb +0 -20
  517. data/spec/unit/veritas/optimizer/algebra/rename/limit_operand/optimizable_spec.rb +0 -27
  518. data/spec/unit/veritas/optimizer/algebra/rename/limit_operand/optimize_spec.rb +0 -22
  519. data/spec/unit/veritas/optimizer/algebra/rename/offset_operand/optimizable_spec.rb +0 -27
  520. data/spec/unit/veritas/optimizer/algebra/rename/offset_operand/optimize_spec.rb +0 -22
  521. data/spec/unit/veritas/optimizer/algebra/rename/order_operand/optimizable_spec.rb +0 -27
  522. data/spec/unit/veritas/optimizer/algebra/rename/order_operand/optimize_spec.rb +0 -36
  523. data/spec/unit/veritas/optimizer/algebra/rename/projection_operand/optimizable_spec.rb +0 -27
  524. data/spec/unit/veritas/optimizer/algebra/rename/projection_operand/optimize_spec.rb +0 -22
  525. data/spec/unit/veritas/optimizer/algebra/rename/rename_operand/optimizable_spec.rb +0 -29
  526. data/spec/unit/veritas/optimizer/algebra/rename/rename_operand/optimize_spec.rb +0 -22
  527. data/spec/unit/veritas/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimizable_spec.rb +0 -36
  528. data/spec/unit/veritas/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimize_spec.rb +0 -18
  529. data/spec/unit/veritas/optimizer/algebra/rename/restriction_operand/optimizable_spec.rb +0 -28
  530. data/spec/unit/veritas/optimizer/algebra/rename/restriction_operand/optimize_spec.rb +0 -23
  531. data/spec/unit/veritas/optimizer/algebra/rename/reverse_operand/optimizable_spec.rb +0 -26
  532. data/spec/unit/veritas/optimizer/algebra/rename/reverse_operand/optimize_spec.rb +0 -37
  533. data/spec/unit/veritas/optimizer/algebra/rename/set_operand/optimizable_spec.rb +0 -28
  534. data/spec/unit/veritas/optimizer/algebra/rename/set_operand/optimize_spec.rb +0 -23
  535. data/spec/unit/veritas/optimizer/algebra/rename/unchanged_header/optimizable_spec.rb +0 -27
  536. data/spec/unit/veritas/optimizer/algebra/rename/unchanged_header/optimize_spec.rb +0 -17
  537. data/spec/unit/veritas/optimizer/algebra/rename/unoptimized_operand/optimizable_spec.rb +0 -43
  538. data/spec/unit/veritas/optimizer/algebra/rename/unoptimized_operand/optimize_spec.rb +0 -22
  539. data/spec/unit/veritas/optimizer/algebra/restriction/class_methods/optimize_predicate_spec.rb +0 -31
  540. data/spec/unit/veritas/optimizer/algebra/restriction/false_predicate/optimizable_spec.rb +0 -27
  541. data/spec/unit/veritas/optimizer/algebra/restriction/false_predicate/optimize_spec.rb +0 -20
  542. data/spec/unit/veritas/optimizer/algebra/restriction/order_operand/optimizable_spec.rb +0 -27
  543. data/spec/unit/veritas/optimizer/algebra/restriction/order_operand/optimize_spec.rb +0 -31
  544. data/spec/unit/veritas/optimizer/algebra/restriction/predicate_spec.rb +0 -17
  545. data/spec/unit/veritas/optimizer/algebra/restriction/restriction_operand/optimizable_spec.rb +0 -29
  546. data/spec/unit/veritas/optimizer/algebra/restriction/restriction_operand/optimize_spec.rb +0 -24
  547. data/spec/unit/veritas/optimizer/algebra/restriction/reverse_operand/optimizable_spec.rb +0 -27
  548. data/spec/unit/veritas/optimizer/algebra/restriction/reverse_operand/optimize_spec.rb +0 -31
  549. data/spec/unit/veritas/optimizer/algebra/restriction/set_operand/optimizable_spec.rb +0 -29
  550. data/spec/unit/veritas/optimizer/algebra/restriction/set_operand/optimize_spec.rb +0 -24
  551. data/spec/unit/veritas/optimizer/algebra/restriction/true_predicate/optimizable_spec.rb +0 -26
  552. data/spec/unit/veritas/optimizer/algebra/restriction/true_predicate/optimize_spec.rb +0 -18
  553. data/spec/unit/veritas/optimizer/algebra/restriction/unoptimized_operand/optimizable_spec.rb +0 -43
  554. data/spec/unit/veritas/optimizer/algebra/restriction/unoptimized_operand/optimize_spec.rb +0 -23
  555. data/spec/unit/veritas/optimizer/algebra/summarization/unoptimized_operand/optimizable_spec.rb +0 -28
  556. data/spec/unit/veritas/optimizer/algebra/summarization/unoptimized_operand/optimize_spec.rb +0 -28
  557. data/spec/unit/veritas/optimizer/algebra/union/empty_left/optimize_spec.rb +0 -18
  558. data/spec/unit/veritas/optimizer/algebra/union/empty_right/optimize_spec.rb +0 -18
  559. data/spec/unit/veritas/optimizer/algebra/union/equal_operands/optimize_spec.rb +0 -18
  560. data/spec/unit/veritas/optimizer/class_methods/chain_spec.rb +0 -54
  561. data/spec/unit/veritas/optimizer/logic/connective/binary/equal_operands/optimizable_spec.rb +0 -28
  562. data/spec/unit/veritas/optimizer/logic/connective/binary/equal_operands/optimize_spec.rb +0 -18
  563. data/spec/unit/veritas/optimizer/logic/connective/binary/left_spec.rb +0 -15
  564. data/spec/unit/veritas/optimizer/logic/connective/binary/redundant_left_operand/optimizable_spec.rb +0 -27
  565. data/spec/unit/veritas/optimizer/logic/connective/binary/redundant_left_operand/optimize_spec.rb +0 -22
  566. data/spec/unit/veritas/optimizer/logic/connective/binary/redundant_right_operand/optimizable_spec.rb +0 -27
  567. data/spec/unit/veritas/optimizer/logic/connective/binary/redundant_right_operand/optimize_spec.rb +0 -22
  568. data/spec/unit/veritas/optimizer/logic/connective/binary/right_spec.rb +0 -15
  569. data/spec/unit/veritas/optimizer/logic/connective/binary/unoptimized_operand/optimizable_spec.rb +0 -35
  570. data/spec/unit/veritas/optimizer/logic/connective/binary/unoptimized_operand/optimize_spec.rb +0 -22
  571. data/spec/unit/veritas/optimizer/logic/connective/conjunction/always_false/optimizable_spec.rb +0 -42
  572. data/spec/unit/veritas/optimizer/logic/connective/conjunction/always_false/optimize_spec.rb +0 -18
  573. data/spec/unit/veritas/optimizer/logic/connective/conjunction/optimizable_to_exclusion/optimizable_spec.rb +0 -28
  574. data/spec/unit/veritas/optimizer/logic/connective/conjunction/optimizable_to_exclusion/optimize_spec.rb +0 -37
  575. data/spec/unit/veritas/optimizer/logic/connective/conjunction/true_left_operand/optimizable_spec.rb +0 -28
  576. data/spec/unit/veritas/optimizer/logic/connective/conjunction/true_left_operand/optimize_spec.rb +0 -18
  577. data/spec/unit/veritas/optimizer/logic/connective/conjunction/true_right_operand/optimizable_spec.rb +0 -28
  578. data/spec/unit/veritas/optimizer/logic/connective/conjunction/true_right_operand/optimize_spec.rb +0 -18
  579. data/spec/unit/veritas/optimizer/logic/connective/disjunction/always_true/optimizable_spec.rb +0 -42
  580. data/spec/unit/veritas/optimizer/logic/connective/disjunction/always_true/optimize_spec.rb +0 -18
  581. data/spec/unit/veritas/optimizer/logic/connective/disjunction/false_left_operand/optimizable_spec.rb +0 -28
  582. data/spec/unit/veritas/optimizer/logic/connective/disjunction/false_left_operand/optimize_spec.rb +0 -18
  583. data/spec/unit/veritas/optimizer/logic/connective/disjunction/false_right_operand/optimizable_spec.rb +0 -28
  584. data/spec/unit/veritas/optimizer/logic/connective/disjunction/false_right_operand/optimize_spec.rb +0 -18
  585. data/spec/unit/veritas/optimizer/logic/connective/disjunction/optimizable_to_inclusion/optimizable_spec.rb +0 -28
  586. data/spec/unit/veritas/optimizer/logic/connective/disjunction/optimizable_to_inclusion/optimize_spec.rb +0 -37
  587. data/spec/unit/veritas/optimizer/logic/connective/negation/invertible_operand/optimizable_spec.rb +0 -27
  588. data/spec/unit/veritas/optimizer/logic/connective/negation/invertible_operand/optimize_spec.rb +0 -21
  589. data/spec/unit/veritas/optimizer/logic/connective/negation/operand_spec.rb +0 -13
  590. data/spec/unit/veritas/optimizer/logic/predicate/always_false/optimize_spec.rb +0 -16
  591. data/spec/unit/veritas/optimizer/logic/predicate/always_true/optimize_spec.rb +0 -16
  592. data/spec/unit/veritas/optimizer/logic/predicate/class_methods/optimize_operand_spec.rb +0 -20
  593. data/spec/unit/veritas/optimizer/logic/predicate/comparable/never_comparable/optimizable_spec.rb +0 -58
  594. data/spec/unit/veritas/optimizer/logic/predicate/comparable/never_equivalent/optimizable_spec.rb +0 -58
  595. data/spec/unit/veritas/optimizer/logic/predicate/comparable/normalizable_operands/optimizable_spec.rb +0 -42
  596. data/spec/unit/veritas/optimizer/logic/predicate/comparable/normalizable_operands/optimize_spec.rb +0 -20
  597. data/spec/unit/veritas/optimizer/logic/predicate/constant_operands/optimizable_spec.rb +0 -30
  598. data/spec/unit/veritas/optimizer/logic/predicate/constant_operands/optimize_spec.rb +0 -11
  599. data/spec/unit/veritas/optimizer/logic/predicate/enumerable/empty_right_operand/optimizable_spec.rb +0 -76
  600. data/spec/unit/veritas/optimizer/logic/predicate/enumerable/one_right_operand/optimizable_spec.rb +0 -76
  601. data/spec/unit/veritas/optimizer/logic/predicate/enumerable/unoptimized_operand/optimizable_spec.rb +0 -50
  602. data/spec/unit/veritas/optimizer/logic/predicate/enumerable/unoptimized_operand/optimize_spec.rb +0 -54
  603. data/spec/unit/veritas/optimizer/logic/predicate/equality/always_true/optimizable_spec.rb +0 -28
  604. data/spec/unit/veritas/optimizer/logic/predicate/exclusion/empty_right_operand/optimize_spec.rb +0 -44
  605. data/spec/unit/veritas/optimizer/logic/predicate/exclusion/one_right_operand/optimize_spec.rb +0 -64
  606. data/spec/unit/veritas/optimizer/logic/predicate/greater_than/always_false/optimizable_spec.rb +0 -42
  607. data/spec/unit/veritas/optimizer/logic/predicate/greater_than/always_true/optimizable_spec.rb +0 -27
  608. data/spec/unit/veritas/optimizer/logic/predicate/greater_than_or_equal_to/always_false/optimizable_spec.rb +0 -42
  609. data/spec/unit/veritas/optimizer/logic/predicate/greater_than_or_equal_to/always_true/optimizable_spec.rb +0 -42
  610. data/spec/unit/veritas/optimizer/logic/predicate/inclusion/empty_right_operand/optimize_spec.rb +0 -44
  611. data/spec/unit/veritas/optimizer/logic/predicate/inclusion/one_right_operand/optimize_spec.rb +0 -65
  612. data/spec/unit/veritas/optimizer/logic/predicate/inequality/always_false/optimizable_spec.rb +0 -28
  613. data/spec/unit/veritas/optimizer/logic/predicate/left_spec.rb +0 -26
  614. data/spec/unit/veritas/optimizer/logic/predicate/less_than/always_false/optimizable_spec.rb +0 -42
  615. data/spec/unit/veritas/optimizer/logic/predicate/less_than/always_true/optimizable_spec.rb +0 -27
  616. data/spec/unit/veritas/optimizer/logic/predicate/less_than_or_equal_to/always_false/optimizable_spec.rb +0 -42
  617. data/spec/unit/veritas/optimizer/logic/predicate/less_than_or_equal_to/always_true/optimizable_spec.rb +0 -42
  618. data/spec/unit/veritas/optimizer/logic/predicate/right_spec.rb +0 -26
  619. data/spec/unit/veritas/optimizer/logic/predicate/util/class_methods/attribute_spec.rb +0 -19
  620. data/spec/unit/veritas/optimizer/logic/predicate/util/class_methods/constant_spec.rb +0 -19
  621. data/spec/unit/veritas/optimizer/logic/predicate/util/class_methods/max_spec.rb +0 -19
  622. data/spec/unit/veritas/optimizer/logic/predicate/util/class_methods/min_spec.rb +0 -19
  623. data/spec/unit/veritas/optimizer/operation_spec.rb +0 -11
  624. data/spec/unit/veritas/optimizer/optimizable_spec.rb +0 -15
  625. data/spec/unit/veritas/optimizer/optimize_spec.rb +0 -15
  626. data/spec/unit/veritas/optimizer/relation/materialized/empty_operand/optimizable_spec.rb +0 -21
  627. data/spec/unit/veritas/optimizer/relation/materialized/empty_operand/optimize_spec.rb +0 -14
  628. data/spec/unit/veritas/optimizer/relation/operation/binary/empty_left/optimizable_spec.rb +0 -30
  629. data/spec/unit/veritas/optimizer/relation/operation/binary/empty_right/optimizable_spec.rb +0 -30
  630. data/spec/unit/veritas/optimizer/relation/operation/binary/equal_operands/optimizable_spec.rb +0 -34
  631. data/spec/unit/veritas/optimizer/relation/operation/binary/left_spec.rb +0 -18
  632. data/spec/unit/veritas/optimizer/relation/operation/binary/materialized_operand/optimizable_spec.rb +0 -36
  633. data/spec/unit/veritas/optimizer/relation/operation/binary/materialized_operand/optimize_spec.rb +0 -17
  634. data/spec/unit/veritas/optimizer/relation/operation/binary/right_spec.rb +0 -18
  635. data/spec/unit/veritas/optimizer/relation/operation/binary/unoptimized_operand/optimizable_spec.rb +0 -39
  636. data/spec/unit/veritas/optimizer/relation/operation/binary/unoptimized_operand/optimize_spec.rb +0 -19
  637. data/spec/unit/veritas/optimizer/relation/operation/combination/optimize_spec.rb +0 -15
  638. data/spec/unit/veritas/optimizer/relation/operation/limit/equal_limit_operand/optimizable_spec.rb +0 -32
  639. data/spec/unit/veritas/optimizer/relation/operation/limit/equal_limit_operand/optimize_spec.rb +0 -18
  640. data/spec/unit/veritas/optimizer/relation/operation/limit/limit_operand/optimizable_spec.rb +0 -26
  641. data/spec/unit/veritas/optimizer/relation/operation/limit/limit_operand/optimize_spec.rb +0 -35
  642. data/spec/unit/veritas/optimizer/relation/operation/limit/unoptimized_operand/optimizable_spec.rb +0 -27
  643. data/spec/unit/veritas/optimizer/relation/operation/limit/unoptimized_operand/optimize_spec.rb +0 -21
  644. data/spec/unit/veritas/optimizer/relation/operation/limit/zero_limit/optimizable_spec.rb +0 -26
  645. data/spec/unit/veritas/optimizer/relation/operation/limit/zero_limit/optimize_spec.rb +0 -19
  646. data/spec/unit/veritas/optimizer/relation/operation/offset/offset_operand/optimizable_spec.rb +0 -26
  647. data/spec/unit/veritas/optimizer/relation/operation/offset/offset_operand/optimize_spec.rb +0 -20
  648. data/spec/unit/veritas/optimizer/relation/operation/offset/unoptimized_operand/optimizable_spec.rb +0 -27
  649. data/spec/unit/veritas/optimizer/relation/operation/offset/unoptimized_operand/optimize_spec.rb +0 -21
  650. data/spec/unit/veritas/optimizer/relation/operation/offset/zero_offset/optimizable_spec.rb +0 -26
  651. data/spec/unit/veritas/optimizer/relation/operation/offset/zero_offset/optimize_spec.rb +0 -16
  652. data/spec/unit/veritas/optimizer/relation/operation/order/one_limit_operand/optimizable_spec.rb +0 -32
  653. data/spec/unit/veritas/optimizer/relation/operation/order/one_limit_operand/optimize_spec.rb +0 -18
  654. data/spec/unit/veritas/optimizer/relation/operation/order/order_operand/optimizable_spec.rb +0 -26
  655. data/spec/unit/veritas/optimizer/relation/operation/order/order_operand/optimize_spec.rb +0 -21
  656. data/spec/unit/veritas/optimizer/relation/operation/order/unoptimized_operand/optimizable_spec.rb +0 -27
  657. data/spec/unit/veritas/optimizer/relation/operation/order/unoptimized_operand/optimize_spec.rb +0 -22
  658. data/spec/unit/veritas/optimizer/relation/operation/reverse/order_operand/optimizable_spec.rb +0 -26
  659. data/spec/unit/veritas/optimizer/relation/operation/reverse/order_operand/optimize_spec.rb +0 -21
  660. data/spec/unit/veritas/optimizer/relation/operation/reverse/reverse_operand/optimizable_spec.rb +0 -26
  661. data/spec/unit/veritas/optimizer/relation/operation/reverse/reverse_operand/optimize_spec.rb +0 -17
  662. data/spec/unit/veritas/optimizer/relation/operation/reverse/unoptimized_operand/optimizable_spec.rb +0 -26
  663. data/spec/unit/veritas/optimizer/relation/operation/reverse/unoptimized_operand/optimize_spec.rb +0 -23
  664. data/spec/unit/veritas/optimizer/relation/operation/unary/empty_operand/optimizable_spec.rb +0 -21
  665. data/spec/unit/veritas/optimizer/relation/operation/unary/empty_operand/optimize_spec.rb +0 -16
  666. data/spec/unit/veritas/optimizer/relation/operation/unary/materialized_operand/optimizable_spec.rb +0 -21
  667. data/spec/unit/veritas/optimizer/relation/operation/unary/materialized_operand/optimize_spec.rb +0 -15
  668. data/spec/unit/veritas/optimizer/relation/operation/unary/operand_spec.rb +0 -13
  669. data/tasks/clean.rake +0 -6
metadata CHANGED
@@ -1,13 +1,8 @@
1
1
  --- !ruby/object:Gem::Specification
2
2
  name: veritas
3
3
  version: !ruby/object:Gem::Version
4
- hash: 27
5
4
  prerelease:
6
- segments:
7
- - 0
8
- - 0
9
- - 2
10
- version: 0.0.2
5
+ version: 0.0.3
11
6
  platform: ruby
12
7
  authors:
13
8
  - Dan Kubb
@@ -15,73 +10,63 @@ autorequire:
15
10
  bindir: bin
16
11
  cert_chain: []
17
12
 
18
- date: 2011-03-31 00:00:00 -07:00
19
- default_executable:
13
+ date: 2011-04-22 00:00:00 Z
20
14
  dependencies:
21
15
  - !ruby/object:Gem::Dependency
22
- prerelease: false
23
- type: :development
16
+ name: backports
24
17
  requirement: &id001 !ruby/object:Gem::Requirement
25
18
  none: false
26
19
  requirements:
27
20
  - - ~>
28
21
  - !ruby/object:Gem::Version
29
- hash: 11
30
- segments:
31
- - 2
32
- - 0
33
- - 2
34
- version: 2.0.2
35
- name: backports
22
+ version: 2.1.0
23
+ type: :development
24
+ prerelease: false
36
25
  version_requirements: *id001
37
26
  - !ruby/object:Gem::Dependency
38
- prerelease: false
39
- type: :development
27
+ name: jeweler
40
28
  requirement: &id002 !ruby/object:Gem::Requirement
41
29
  none: false
42
30
  requirements:
43
31
  - - ~>
44
32
  - !ruby/object:Gem::Version
45
- hash: 7
46
- segments:
47
- - 1
48
- - 5
49
- - 2
50
33
  version: 1.5.2
51
- name: jeweler
34
+ type: :development
35
+ prerelease: false
52
36
  version_requirements: *id002
53
37
  - !ruby/object:Gem::Dependency
54
- prerelease: false
55
- type: :development
38
+ name: rake
56
39
  requirement: &id003 !ruby/object:Gem::Requirement
57
40
  none: false
58
41
  requirements:
59
42
  - - ~>
60
43
  - !ruby/object:Gem::Version
61
- hash: 49
62
- segments:
63
- - 0
64
- - 8
65
- - 7
66
44
  version: 0.8.7
67
- name: rake
45
+ type: :development
46
+ prerelease: false
68
47
  version_requirements: *id003
69
48
  - !ruby/object:Gem::Dependency
70
- prerelease: false
71
- type: :development
49
+ name: rspec
72
50
  requirement: &id004 !ruby/object:Gem::Requirement
73
51
  none: false
74
52
  requirements:
75
53
  - - ~>
76
54
  - !ruby/object:Gem::Version
77
- hash: 25
78
- segments:
79
- - 1
80
- - 3
81
- - 1
82
- version: 1.3.1
83
- name: rspec
55
+ version: 1.3.2
56
+ type: :development
57
+ prerelease: false
84
58
  version_requirements: *id004
59
+ - !ruby/object:Gem::Dependency
60
+ name: yard
61
+ requirement: &id005 !ruby/object:Gem::Requirement
62
+ none: false
63
+ requirements:
64
+ - - ~>
65
+ - !ruby/object:Gem::Version
66
+ version: 0.6.8
67
+ type: :development
68
+ prerelease: false
69
+ version_requirements: *id005
85
70
  description: Simplifies querying of structured data using relational algebra
86
71
  email: dan.kubb@gmail.com
87
72
  executables: []
@@ -93,7 +78,6 @@ extra_rdoc_files:
93
78
  - README.rdoc
94
79
  - TODO
95
80
  files:
96
- - .autotest
97
81
  - .document
98
82
  - Gemfile
99
83
  - LICENSE
@@ -108,7 +92,6 @@ files:
108
92
  - config/site.reek
109
93
  - config/yardstick.yml
110
94
  - lib/veritas.rb
111
- - lib/veritas/algebra.rb
112
95
  - lib/veritas/algebra/difference.rb
113
96
  - lib/veritas/algebra/extension.rb
114
97
  - lib/veritas/algebra/intersection.rb
@@ -137,7 +120,6 @@ files:
137
120
  - lib/veritas/core_ext/date.rb
138
121
  - lib/veritas/core_ext/range.rb
139
122
  - lib/veritas/core_ext/time.rb
140
- - lib/veritas/logic.rb
141
123
  - lib/veritas/logic/connective.rb
142
124
  - lib/veritas/logic/connective/binary.rb
143
125
  - lib/veritas/logic/connective/conjunction.rb
@@ -159,54 +141,12 @@ files:
159
141
  - lib/veritas/logic/predicate/match.rb
160
142
  - lib/veritas/logic/predicate/no_match.rb
161
143
  - lib/veritas/logic/proposition.rb
162
- - lib/veritas/logic/proposition/false.rb
163
- - lib/veritas/logic/proposition/true.rb
164
- - lib/veritas/optimizer.rb
165
- - lib/veritas/optimizer/algebra.rb
166
- - lib/veritas/optimizer/algebra/difference.rb
167
- - lib/veritas/optimizer/algebra/extension.rb
168
- - lib/veritas/optimizer/algebra/intersection.rb
169
- - lib/veritas/optimizer/algebra/join.rb
170
- - lib/veritas/optimizer/algebra/product.rb
171
- - lib/veritas/optimizer/algebra/projection.rb
172
- - lib/veritas/optimizer/algebra/rename.rb
173
- - lib/veritas/optimizer/algebra/restriction.rb
174
- - lib/veritas/optimizer/algebra/summarization.rb
175
- - lib/veritas/optimizer/algebra/union.rb
176
- - lib/veritas/optimizer/logic.rb
177
- - lib/veritas/optimizer/logic/connective.rb
178
- - lib/veritas/optimizer/logic/connective/binary.rb
179
- - lib/veritas/optimizer/logic/connective/conjunction.rb
180
- - lib/veritas/optimizer/logic/connective/disjunction.rb
181
- - lib/veritas/optimizer/logic/connective/negation.rb
182
- - lib/veritas/optimizer/logic/predicate.rb
183
- - lib/veritas/optimizer/logic/predicate/comparable.rb
184
- - lib/veritas/optimizer/logic/predicate/enumerable.rb
185
- - lib/veritas/optimizer/logic/predicate/equality.rb
186
- - lib/veritas/optimizer/logic/predicate/exclusion.rb
187
- - lib/veritas/optimizer/logic/predicate/greater_than.rb
188
- - lib/veritas/optimizer/logic/predicate/greater_than_or_equal_to.rb
189
- - lib/veritas/optimizer/logic/predicate/inclusion.rb
190
- - lib/veritas/optimizer/logic/predicate/inequality.rb
191
- - lib/veritas/optimizer/logic/predicate/less_than.rb
192
- - lib/veritas/optimizer/logic/predicate/less_than_or_equal_to.rb
193
- - lib/veritas/optimizer/logic/predicate/match.rb
194
- - lib/veritas/optimizer/logic/predicate/no_match.rb
195
- - lib/veritas/optimizer/relation.rb
196
- - lib/veritas/optimizer/relation/materialized.rb
197
- - lib/veritas/optimizer/relation/operation.rb
198
- - lib/veritas/optimizer/relation/operation/binary.rb
199
- - lib/veritas/optimizer/relation/operation/combination.rb
200
- - lib/veritas/optimizer/relation/operation/limit.rb
201
- - lib/veritas/optimizer/relation/operation/offset.rb
202
- - lib/veritas/optimizer/relation/operation/order.rb
203
- - lib/veritas/optimizer/relation/operation/reverse.rb
204
- - lib/veritas/optimizer/relation/operation/unary.rb
144
+ - lib/veritas/logic/proposition/contradiction.rb
145
+ - lib/veritas/logic/proposition/tautology.rb
205
146
  - lib/veritas/relation.rb
206
147
  - lib/veritas/relation/empty.rb
207
148
  - lib/veritas/relation/header.rb
208
149
  - lib/veritas/relation/materialized.rb
209
- - lib/veritas/relation/operation.rb
210
150
  - lib/veritas/relation/operation/binary.rb
211
151
  - lib/veritas/relation/operation/combination.rb
212
152
  - lib/veritas/relation/operation/limit.rb
@@ -223,51 +163,21 @@ files:
223
163
  - lib/veritas/support/immutable.rb
224
164
  - lib/veritas/support/operation/binary.rb
225
165
  - lib/veritas/support/operation/unary.rb
226
- - lib/veritas/support/optimizable.rb
227
166
  - lib/veritas/support/visitable.rb
228
167
  - lib/veritas/tuple.rb
229
168
  - lib/veritas/version.rb
230
- - spec/integration/veritas/algebra/difference/optimize_spec.rb
231
- - spec/integration/veritas/algebra/intersection/optimize_spec.rb
232
- - spec/integration/veritas/algebra/join/optimize_spec.rb
233
169
  - spec/integration/veritas/algebra/join_spec.rb
234
- - spec/integration/veritas/algebra/product/optimize_spec.rb
235
170
  - spec/integration/veritas/algebra/product_spec.rb
236
- - spec/integration/veritas/algebra/projection/optimize_spec.rb
237
171
  - spec/integration/veritas/algebra/projection_spec.rb
238
- - spec/integration/veritas/algebra/rename/optimize_spec.rb
239
- - spec/integration/veritas/algebra/restriction/optimize_spec.rb
240
172
  - spec/integration/veritas/algebra/summarization_spec.rb
241
- - spec/integration/veritas/algebra/union/optimize_spec.rb
242
- - spec/integration/veritas/logic/connective/conjunction/optimize_spec.rb
243
- - spec/integration/veritas/logic/connective/disjunction/optimize_spec.rb
244
- - spec/integration/veritas/logic/connective/negation/optimize_spec.rb
245
- - spec/integration/veritas/logic/expression/optimize_spec.rb
246
- - spec/integration/veritas/logic/predicate/equality/optimize_spec.rb
247
- - spec/integration/veritas/logic/predicate/exclusion/optimize_spec.rb
248
- - spec/integration/veritas/logic/predicate/greater_than/optimize_spec.rb
249
- - spec/integration/veritas/logic/predicate/greater_than_or_equal_to/optimize_spec.rb
250
- - spec/integration/veritas/logic/predicate/inclusion/optimize_spec.rb
251
- - spec/integration/veritas/logic/predicate/inequality/optimize_spec.rb
252
- - spec/integration/veritas/logic/predicate/less_than/optimize_spec.rb
253
- - spec/integration/veritas/logic/predicate/less_than_or_equal_to/optimize_spec.rb
254
173
  - spec/integration/veritas/relation/efficient_enumerable_spec.rb
255
- - spec/integration/veritas/relation/empty/optimize_spec.rb
256
- - spec/integration/veritas/relation/materialized/optimize_spec.rb
257
- - spec/integration/veritas/relation/operation/limit/optimize_spec.rb
258
- - spec/integration/veritas/relation/operation/offset/optimize_spec.rb
259
- - spec/integration/veritas/relation/operation/order/optimize_spec.rb
260
- - spec/integration/veritas/relation/operation/reverse/optimize_spec.rb
261
- - spec/integration/veritas/relation/optimize_spec.rb
262
174
  - spec/rcov.opts
263
175
  - spec/shared/command_method_behavior.rb
176
+ - spec/shared/each_method_behaviour.rb
264
177
  - spec/shared/hash_method_behavior.rb
265
178
  - spec/shared/idempotent_method_behavior.rb
266
- - spec/shared/logic_connective_binary_optimize_behavior.rb
267
- - spec/shared/optimize_method_behavior.rb
268
179
  - spec/spec.opts
269
180
  - spec/spec_helper.rb
270
- - spec/support/add_method_missing.rb
271
181
  - spec/unit/date/pred_spec.rb
272
182
  - spec/unit/range/overlaps_spec.rb
273
183
  - spec/unit/range/to_inclusive_spec.rb
@@ -299,6 +209,7 @@ files:
299
209
  - spec/unit/veritas/algebra/projection/methods/project_spec.rb
300
210
  - spec/unit/veritas/algebra/projection/methods/remove_spec.rb
301
211
  - spec/unit/veritas/algebra/rename/aliases/class_methods/coerce_spec.rb
212
+ - spec/unit/veritas/algebra/rename/aliases/class_methods/new_spec.rb
302
213
  - spec/unit/veritas/algebra/rename/aliases/each_spec.rb
303
214
  - spec/unit/veritas/algebra/rename/aliases/element_reference_spec.rb
304
215
  - spec/unit/veritas/algebra/rename/aliases/empty_spec.rb
@@ -378,15 +289,15 @@ files:
378
289
  - spec/unit/veritas/immutable/class_methods/new_spec.rb
379
290
  - spec/unit/veritas/immutable/dup_spec.rb
380
291
  - spec/unit/veritas/immutable/fixtures/classes.rb
381
- - spec/unit/veritas/immutable/memoize_methods/freeze_spec.rb
382
- - spec/unit/veritas/immutable/memoize_methods/memoize_spec.rb
383
- - spec/unit/veritas/immutable/memoize_methods/memoized_spec.rb
292
+ - spec/unit/veritas/immutable/freeze_spec.rb
384
293
  - spec/unit/veritas/immutable/memoize_spec.rb
294
+ - spec/unit/veritas/immutable/memoized_spec.rb
385
295
  - spec/unit/veritas/immutable/memory/element_reference_spec.rb
386
296
  - spec/unit/veritas/immutable/memory/element_set_spec.rb
387
297
  - spec/unit/veritas/immutable/module_methods/included_spec.rb
388
298
  - spec/unit/veritas/immutable/module_methods/memoize_spec.rb
389
299
  - spec/unit/veritas/logic/connective/binary/call_spec.rb
300
+ - spec/unit/veritas/logic/connective/binary/equal_value_spec.rb
390
301
  - spec/unit/veritas/logic/connective/binary/fixtures/classes.rb
391
302
  - spec/unit/veritas/logic/connective/binary/rename_spec.rb
392
303
  - spec/unit/veritas/logic/connective/conjunction/class_methods/call_spec.rb
@@ -405,6 +316,7 @@ files:
405
316
  - spec/unit/veritas/logic/connective/negation/methods/fixtures/classes.rb
406
317
  - spec/unit/veritas/logic/connective/negation/methods/not_spec.rb
407
318
  - spec/unit/veritas/logic/connective/unary/call_spec.rb
319
+ - spec/unit/veritas/logic/connective/unary/equal_value_spec.rb
408
320
  - spec/unit/veritas/logic/connective/unary/fixtures/classes.rb
409
321
  - spec/unit/veritas/logic/connective/unary/rename_spec.rb
410
322
  - spec/unit/veritas/logic/expression/class_methods/call_spec.rb
@@ -423,6 +335,7 @@ files:
423
335
  - spec/unit/veritas/logic/predicate/comparable/inspect_spec.rb
424
336
  - spec/unit/veritas/logic/predicate/enumerable/class_methods/compare_method_spec.rb
425
337
  - spec/unit/veritas/logic/predicate/eql_spec.rb
338
+ - spec/unit/veritas/logic/predicate/equal_value_spec.rb
426
339
  - spec/unit/veritas/logic/predicate/equality/class_methods/call_spec.rb
427
340
  - spec/unit/veritas/logic/predicate/equality/class_methods/inverse_spec.rb
428
341
  - spec/unit/veritas/logic/predicate/equality/class_methods/operation_spec.rb
@@ -505,22 +418,23 @@ files:
505
418
  - spec/unit/veritas/logic/proposition/call_spec.rb
506
419
  - spec/unit/veritas/logic/proposition/class_methods/call_spec.rb
507
420
  - spec/unit/veritas/logic/proposition/class_methods/new_spec.rb
421
+ - spec/unit/veritas/logic/proposition/contradiction/and_spec.rb
422
+ - spec/unit/veritas/logic/proposition/contradiction/class_methods/call_spec.rb
423
+ - spec/unit/veritas/logic/proposition/contradiction/class_methods/inverse_spec.rb
424
+ - spec/unit/veritas/logic/proposition/contradiction/inspect_spec.rb
425
+ - spec/unit/veritas/logic/proposition/contradiction/inverse_spec.rb
426
+ - spec/unit/veritas/logic/proposition/contradiction/or_spec.rb
508
427
  - spec/unit/veritas/logic/proposition/eql_spec.rb
509
- - spec/unit/veritas/logic/proposition/false/and_spec.rb
510
- - spec/unit/veritas/logic/proposition/false/class_methods/call_spec.rb
511
- - spec/unit/veritas/logic/proposition/false/class_methods/inverse_spec.rb
512
- - spec/unit/veritas/logic/proposition/false/inspect_spec.rb
513
- - spec/unit/veritas/logic/proposition/false/inverse_spec.rb
514
- - spec/unit/veritas/logic/proposition/false/or_spec.rb
428
+ - spec/unit/veritas/logic/proposition/equal_value_spec.rb
515
429
  - spec/unit/veritas/logic/proposition/hash_spec.rb
516
430
  - spec/unit/veritas/logic/proposition/inspect_spec.rb
517
431
  - spec/unit/veritas/logic/proposition/inverse_spec.rb
518
- - spec/unit/veritas/logic/proposition/true/and_spec.rb
519
- - spec/unit/veritas/logic/proposition/true/class_methods/call_spec.rb
520
- - spec/unit/veritas/logic/proposition/true/class_methods/inverse_spec.rb
521
- - spec/unit/veritas/logic/proposition/true/inspect_spec.rb
522
- - spec/unit/veritas/logic/proposition/true/inverse_spec.rb
523
- - spec/unit/veritas/logic/proposition/true/or_spec.rb
432
+ - spec/unit/veritas/logic/proposition/tautology/and_spec.rb
433
+ - spec/unit/veritas/logic/proposition/tautology/class_methods/call_spec.rb
434
+ - spec/unit/veritas/logic/proposition/tautology/class_methods/inverse_spec.rb
435
+ - spec/unit/veritas/logic/proposition/tautology/inspect_spec.rb
436
+ - spec/unit/veritas/logic/proposition/tautology/inverse_spec.rb
437
+ - spec/unit/veritas/logic/proposition/tautology/or_spec.rb
524
438
  - spec/unit/veritas/operation/binary/eql_spec.rb
525
439
  - spec/unit/veritas/operation/binary/hash_spec.rb
526
440
  - spec/unit/veritas/operation/binary/left_spec.rb
@@ -528,190 +442,6 @@ files:
528
442
  - spec/unit/veritas/operation/unary/eql_spec.rb
529
443
  - spec/unit/veritas/operation/unary/hash_spec.rb
530
444
  - spec/unit/veritas/operation/unary/operand_spec.rb
531
- - spec/unit/veritas/optimizable/class_methods/optimizer_spec.rb
532
- - spec/unit/veritas/optimizable/optimize_spec.rb
533
- - spec/unit/veritas/optimizer/algebra/difference/empty_left/optimize_spec.rb
534
- - spec/unit/veritas/optimizer/algebra/difference/empty_right/optimize_spec.rb
535
- - spec/unit/veritas/optimizer/algebra/difference/equal_operands/optimize_spec.rb
536
- - spec/unit/veritas/optimizer/algebra/extension/unoptimized_operand/optimizable_spec.rb
537
- - spec/unit/veritas/optimizer/algebra/extension/unoptimized_operand/optimize_spec.rb
538
- - spec/unit/veritas/optimizer/algebra/intersection/empty_left/optimize_spec.rb
539
- - spec/unit/veritas/optimizer/algebra/intersection/empty_right/optimize_spec.rb
540
- - spec/unit/veritas/optimizer/algebra/intersection/equal_operands/optimize_spec.rb
541
- - spec/unit/veritas/optimizer/algebra/join/equal_headers/optimizable_spec.rb
542
- - spec/unit/veritas/optimizer/algebra/join/equal_headers/optimize_spec.rb
543
- - spec/unit/veritas/optimizer/algebra/product/table_dee_left/optimizable_spec.rb
544
- - spec/unit/veritas/optimizer/algebra/product/table_dee_left/optimize_spec.rb
545
- - spec/unit/veritas/optimizer/algebra/product/table_dee_right/optimizable_spec.rb
546
- - spec/unit/veritas/optimizer/algebra/product/table_dee_right/optimize_spec.rb
547
- - spec/unit/veritas/optimizer/algebra/projection/empty_operand/optimizable_spec.rb
548
- - spec/unit/veritas/optimizer/algebra/projection/empty_operand/optimize_spec.rb
549
- - spec/unit/veritas/optimizer/algebra/projection/header_spec.rb
550
- - spec/unit/veritas/optimizer/algebra/projection/projection_operand/optimizable_spec.rb
551
- - spec/unit/veritas/optimizer/algebra/projection/projection_operand/optimize_spec.rb
552
- - spec/unit/veritas/optimizer/algebra/projection/set_operand/optimizable_spec.rb
553
- - spec/unit/veritas/optimizer/algebra/projection/set_operand/optimize_spec.rb
554
- - spec/unit/veritas/optimizer/algebra/projection/unchanged_header/optimizable_spec.rb
555
- - spec/unit/veritas/optimizer/algebra/projection/unchanged_header/optimize_spec.rb
556
- - spec/unit/veritas/optimizer/algebra/projection/unoptimized_operand/optimizable_spec.rb
557
- - spec/unit/veritas/optimizer/algebra/projection/unoptimized_operand/optimize_spec.rb
558
- - spec/unit/veritas/optimizer/algebra/rename/aliases_spec.rb
559
- - spec/unit/veritas/optimizer/algebra/rename/class_methods/union_aliases_spec.rb
560
- - spec/unit/veritas/optimizer/algebra/rename/empty_operand/optimizable_spec.rb
561
- - spec/unit/veritas/optimizer/algebra/rename/empty_operand/optimize_spec.rb
562
- - spec/unit/veritas/optimizer/algebra/rename/header_spec.rb
563
- - spec/unit/veritas/optimizer/algebra/rename/limit_operand/optimizable_spec.rb
564
- - spec/unit/veritas/optimizer/algebra/rename/limit_operand/optimize_spec.rb
565
- - spec/unit/veritas/optimizer/algebra/rename/offset_operand/optimizable_spec.rb
566
- - spec/unit/veritas/optimizer/algebra/rename/offset_operand/optimize_spec.rb
567
- - spec/unit/veritas/optimizer/algebra/rename/order_operand/optimizable_spec.rb
568
- - spec/unit/veritas/optimizer/algebra/rename/order_operand/optimize_spec.rb
569
- - spec/unit/veritas/optimizer/algebra/rename/projection_operand/optimizable_spec.rb
570
- - spec/unit/veritas/optimizer/algebra/rename/projection_operand/optimize_spec.rb
571
- - spec/unit/veritas/optimizer/algebra/rename/rename_operand/optimizable_spec.rb
572
- - spec/unit/veritas/optimizer/algebra/rename/rename_operand/optimize_spec.rb
573
- - spec/unit/veritas/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimizable_spec.rb
574
- - spec/unit/veritas/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimize_spec.rb
575
- - spec/unit/veritas/optimizer/algebra/rename/restriction_operand/optimizable_spec.rb
576
- - spec/unit/veritas/optimizer/algebra/rename/restriction_operand/optimize_spec.rb
577
- - spec/unit/veritas/optimizer/algebra/rename/reverse_operand/optimizable_spec.rb
578
- - spec/unit/veritas/optimizer/algebra/rename/reverse_operand/optimize_spec.rb
579
- - spec/unit/veritas/optimizer/algebra/rename/set_operand/optimizable_spec.rb
580
- - spec/unit/veritas/optimizer/algebra/rename/set_operand/optimize_spec.rb
581
- - spec/unit/veritas/optimizer/algebra/rename/unchanged_header/optimizable_spec.rb
582
- - spec/unit/veritas/optimizer/algebra/rename/unchanged_header/optimize_spec.rb
583
- - spec/unit/veritas/optimizer/algebra/rename/unoptimized_operand/optimizable_spec.rb
584
- - spec/unit/veritas/optimizer/algebra/rename/unoptimized_operand/optimize_spec.rb
585
- - spec/unit/veritas/optimizer/algebra/restriction/class_methods/optimize_predicate_spec.rb
586
- - spec/unit/veritas/optimizer/algebra/restriction/false_predicate/optimizable_spec.rb
587
- - spec/unit/veritas/optimizer/algebra/restriction/false_predicate/optimize_spec.rb
588
- - spec/unit/veritas/optimizer/algebra/restriction/order_operand/optimizable_spec.rb
589
- - spec/unit/veritas/optimizer/algebra/restriction/order_operand/optimize_spec.rb
590
- - spec/unit/veritas/optimizer/algebra/restriction/predicate_spec.rb
591
- - spec/unit/veritas/optimizer/algebra/restriction/restriction_operand/optimizable_spec.rb
592
- - spec/unit/veritas/optimizer/algebra/restriction/restriction_operand/optimize_spec.rb
593
- - spec/unit/veritas/optimizer/algebra/restriction/reverse_operand/optimizable_spec.rb
594
- - spec/unit/veritas/optimizer/algebra/restriction/reverse_operand/optimize_spec.rb
595
- - spec/unit/veritas/optimizer/algebra/restriction/set_operand/optimizable_spec.rb
596
- - spec/unit/veritas/optimizer/algebra/restriction/set_operand/optimize_spec.rb
597
- - spec/unit/veritas/optimizer/algebra/restriction/true_predicate/optimizable_spec.rb
598
- - spec/unit/veritas/optimizer/algebra/restriction/true_predicate/optimize_spec.rb
599
- - spec/unit/veritas/optimizer/algebra/restriction/unoptimized_operand/optimizable_spec.rb
600
- - spec/unit/veritas/optimizer/algebra/restriction/unoptimized_operand/optimize_spec.rb
601
- - spec/unit/veritas/optimizer/algebra/summarization/unoptimized_operand/optimizable_spec.rb
602
- - spec/unit/veritas/optimizer/algebra/summarization/unoptimized_operand/optimize_spec.rb
603
- - spec/unit/veritas/optimizer/algebra/union/empty_left/optimize_spec.rb
604
- - spec/unit/veritas/optimizer/algebra/union/empty_right/optimize_spec.rb
605
- - spec/unit/veritas/optimizer/algebra/union/equal_operands/optimize_spec.rb
606
- - spec/unit/veritas/optimizer/class_methods/chain_spec.rb
607
- - spec/unit/veritas/optimizer/logic/connective/binary/equal_operands/optimizable_spec.rb
608
- - spec/unit/veritas/optimizer/logic/connective/binary/equal_operands/optimize_spec.rb
609
- - spec/unit/veritas/optimizer/logic/connective/binary/left_spec.rb
610
- - spec/unit/veritas/optimizer/logic/connective/binary/redundant_left_operand/optimizable_spec.rb
611
- - spec/unit/veritas/optimizer/logic/connective/binary/redundant_left_operand/optimize_spec.rb
612
- - spec/unit/veritas/optimizer/logic/connective/binary/redundant_right_operand/optimizable_spec.rb
613
- - spec/unit/veritas/optimizer/logic/connective/binary/redundant_right_operand/optimize_spec.rb
614
- - spec/unit/veritas/optimizer/logic/connective/binary/right_spec.rb
615
- - spec/unit/veritas/optimizer/logic/connective/binary/unoptimized_operand/optimizable_spec.rb
616
- - spec/unit/veritas/optimizer/logic/connective/binary/unoptimized_operand/optimize_spec.rb
617
- - spec/unit/veritas/optimizer/logic/connective/conjunction/always_false/optimizable_spec.rb
618
- - spec/unit/veritas/optimizer/logic/connective/conjunction/always_false/optimize_spec.rb
619
- - spec/unit/veritas/optimizer/logic/connective/conjunction/optimizable_to_exclusion/optimizable_spec.rb
620
- - spec/unit/veritas/optimizer/logic/connective/conjunction/optimizable_to_exclusion/optimize_spec.rb
621
- - spec/unit/veritas/optimizer/logic/connective/conjunction/true_left_operand/optimizable_spec.rb
622
- - spec/unit/veritas/optimizer/logic/connective/conjunction/true_left_operand/optimize_spec.rb
623
- - spec/unit/veritas/optimizer/logic/connective/conjunction/true_right_operand/optimizable_spec.rb
624
- - spec/unit/veritas/optimizer/logic/connective/conjunction/true_right_operand/optimize_spec.rb
625
- - spec/unit/veritas/optimizer/logic/connective/disjunction/always_true/optimizable_spec.rb
626
- - spec/unit/veritas/optimizer/logic/connective/disjunction/always_true/optimize_spec.rb
627
- - spec/unit/veritas/optimizer/logic/connective/disjunction/false_left_operand/optimizable_spec.rb
628
- - spec/unit/veritas/optimizer/logic/connective/disjunction/false_left_operand/optimize_spec.rb
629
- - spec/unit/veritas/optimizer/logic/connective/disjunction/false_right_operand/optimizable_spec.rb
630
- - spec/unit/veritas/optimizer/logic/connective/disjunction/false_right_operand/optimize_spec.rb
631
- - spec/unit/veritas/optimizer/logic/connective/disjunction/optimizable_to_inclusion/optimizable_spec.rb
632
- - spec/unit/veritas/optimizer/logic/connective/disjunction/optimizable_to_inclusion/optimize_spec.rb
633
- - spec/unit/veritas/optimizer/logic/connective/negation/invertible_operand/optimizable_spec.rb
634
- - spec/unit/veritas/optimizer/logic/connective/negation/invertible_operand/optimize_spec.rb
635
- - spec/unit/veritas/optimizer/logic/connective/negation/operand_spec.rb
636
- - spec/unit/veritas/optimizer/logic/predicate/always_false/optimize_spec.rb
637
- - spec/unit/veritas/optimizer/logic/predicate/always_true/optimize_spec.rb
638
- - spec/unit/veritas/optimizer/logic/predicate/class_methods/optimize_operand_spec.rb
639
- - spec/unit/veritas/optimizer/logic/predicate/comparable/never_comparable/optimizable_spec.rb
640
- - spec/unit/veritas/optimizer/logic/predicate/comparable/never_equivalent/optimizable_spec.rb
641
- - spec/unit/veritas/optimizer/logic/predicate/comparable/normalizable_operands/optimizable_spec.rb
642
- - spec/unit/veritas/optimizer/logic/predicate/comparable/normalizable_operands/optimize_spec.rb
643
- - spec/unit/veritas/optimizer/logic/predicate/constant_operands/optimizable_spec.rb
644
- - spec/unit/veritas/optimizer/logic/predicate/constant_operands/optimize_spec.rb
645
- - spec/unit/veritas/optimizer/logic/predicate/enumerable/empty_right_operand/optimizable_spec.rb
646
- - spec/unit/veritas/optimizer/logic/predicate/enumerable/one_right_operand/optimizable_spec.rb
647
- - spec/unit/veritas/optimizer/logic/predicate/enumerable/unoptimized_operand/optimizable_spec.rb
648
- - spec/unit/veritas/optimizer/logic/predicate/enumerable/unoptimized_operand/optimize_spec.rb
649
- - spec/unit/veritas/optimizer/logic/predicate/equality/always_true/optimizable_spec.rb
650
- - spec/unit/veritas/optimizer/logic/predicate/exclusion/empty_right_operand/optimize_spec.rb
651
- - spec/unit/veritas/optimizer/logic/predicate/exclusion/one_right_operand/optimize_spec.rb
652
- - spec/unit/veritas/optimizer/logic/predicate/greater_than/always_false/optimizable_spec.rb
653
- - spec/unit/veritas/optimizer/logic/predicate/greater_than/always_true/optimizable_spec.rb
654
- - spec/unit/veritas/optimizer/logic/predicate/greater_than_or_equal_to/always_false/optimizable_spec.rb
655
- - spec/unit/veritas/optimizer/logic/predicate/greater_than_or_equal_to/always_true/optimizable_spec.rb
656
- - spec/unit/veritas/optimizer/logic/predicate/inclusion/empty_right_operand/optimize_spec.rb
657
- - spec/unit/veritas/optimizer/logic/predicate/inclusion/one_right_operand/optimize_spec.rb
658
- - spec/unit/veritas/optimizer/logic/predicate/inequality/always_false/optimizable_spec.rb
659
- - spec/unit/veritas/optimizer/logic/predicate/left_spec.rb
660
- - spec/unit/veritas/optimizer/logic/predicate/less_than/always_false/optimizable_spec.rb
661
- - spec/unit/veritas/optimizer/logic/predicate/less_than/always_true/optimizable_spec.rb
662
- - spec/unit/veritas/optimizer/logic/predicate/less_than_or_equal_to/always_false/optimizable_spec.rb
663
- - spec/unit/veritas/optimizer/logic/predicate/less_than_or_equal_to/always_true/optimizable_spec.rb
664
- - spec/unit/veritas/optimizer/logic/predicate/right_spec.rb
665
- - spec/unit/veritas/optimizer/logic/predicate/util/class_methods/attribute_spec.rb
666
- - spec/unit/veritas/optimizer/logic/predicate/util/class_methods/constant_spec.rb
667
- - spec/unit/veritas/optimizer/logic/predicate/util/class_methods/max_spec.rb
668
- - spec/unit/veritas/optimizer/logic/predicate/util/class_methods/min_spec.rb
669
- - spec/unit/veritas/optimizer/operation_spec.rb
670
- - spec/unit/veritas/optimizer/optimizable_spec.rb
671
- - spec/unit/veritas/optimizer/optimize_spec.rb
672
- - spec/unit/veritas/optimizer/relation/materialized/empty_operand/optimizable_spec.rb
673
- - spec/unit/veritas/optimizer/relation/materialized/empty_operand/optimize_spec.rb
674
- - spec/unit/veritas/optimizer/relation/operation/binary/empty_left/optimizable_spec.rb
675
- - spec/unit/veritas/optimizer/relation/operation/binary/empty_right/optimizable_spec.rb
676
- - spec/unit/veritas/optimizer/relation/operation/binary/equal_operands/optimizable_spec.rb
677
- - spec/unit/veritas/optimizer/relation/operation/binary/left_spec.rb
678
- - spec/unit/veritas/optimizer/relation/operation/binary/materialized_operand/optimizable_spec.rb
679
- - spec/unit/veritas/optimizer/relation/operation/binary/materialized_operand/optimize_spec.rb
680
- - spec/unit/veritas/optimizer/relation/operation/binary/right_spec.rb
681
- - spec/unit/veritas/optimizer/relation/operation/binary/unoptimized_operand/optimizable_spec.rb
682
- - spec/unit/veritas/optimizer/relation/operation/binary/unoptimized_operand/optimize_spec.rb
683
- - spec/unit/veritas/optimizer/relation/operation/combination/optimize_spec.rb
684
- - spec/unit/veritas/optimizer/relation/operation/limit/equal_limit_operand/optimizable_spec.rb
685
- - spec/unit/veritas/optimizer/relation/operation/limit/equal_limit_operand/optimize_spec.rb
686
- - spec/unit/veritas/optimizer/relation/operation/limit/limit_operand/optimizable_spec.rb
687
- - spec/unit/veritas/optimizer/relation/operation/limit/limit_operand/optimize_spec.rb
688
- - spec/unit/veritas/optimizer/relation/operation/limit/unoptimized_operand/optimizable_spec.rb
689
- - spec/unit/veritas/optimizer/relation/operation/limit/unoptimized_operand/optimize_spec.rb
690
- - spec/unit/veritas/optimizer/relation/operation/limit/zero_limit/optimizable_spec.rb
691
- - spec/unit/veritas/optimizer/relation/operation/limit/zero_limit/optimize_spec.rb
692
- - spec/unit/veritas/optimizer/relation/operation/offset/offset_operand/optimizable_spec.rb
693
- - spec/unit/veritas/optimizer/relation/operation/offset/offset_operand/optimize_spec.rb
694
- - spec/unit/veritas/optimizer/relation/operation/offset/unoptimized_operand/optimizable_spec.rb
695
- - spec/unit/veritas/optimizer/relation/operation/offset/unoptimized_operand/optimize_spec.rb
696
- - spec/unit/veritas/optimizer/relation/operation/offset/zero_offset/optimizable_spec.rb
697
- - spec/unit/veritas/optimizer/relation/operation/offset/zero_offset/optimize_spec.rb
698
- - spec/unit/veritas/optimizer/relation/operation/order/one_limit_operand/optimizable_spec.rb
699
- - spec/unit/veritas/optimizer/relation/operation/order/one_limit_operand/optimize_spec.rb
700
- - spec/unit/veritas/optimizer/relation/operation/order/order_operand/optimizable_spec.rb
701
- - spec/unit/veritas/optimizer/relation/operation/order/order_operand/optimize_spec.rb
702
- - spec/unit/veritas/optimizer/relation/operation/order/unoptimized_operand/optimizable_spec.rb
703
- - spec/unit/veritas/optimizer/relation/operation/order/unoptimized_operand/optimize_spec.rb
704
- - spec/unit/veritas/optimizer/relation/operation/reverse/order_operand/optimizable_spec.rb
705
- - spec/unit/veritas/optimizer/relation/operation/reverse/order_operand/optimize_spec.rb
706
- - spec/unit/veritas/optimizer/relation/operation/reverse/reverse_operand/optimizable_spec.rb
707
- - spec/unit/veritas/optimizer/relation/operation/reverse/reverse_operand/optimize_spec.rb
708
- - spec/unit/veritas/optimizer/relation/operation/reverse/unoptimized_operand/optimizable_spec.rb
709
- - spec/unit/veritas/optimizer/relation/operation/reverse/unoptimized_operand/optimize_spec.rb
710
- - spec/unit/veritas/optimizer/relation/operation/unary/empty_operand/optimizable_spec.rb
711
- - spec/unit/veritas/optimizer/relation/operation/unary/empty_operand/optimize_spec.rb
712
- - spec/unit/veritas/optimizer/relation/operation/unary/materialized_operand/optimizable_spec.rb
713
- - spec/unit/veritas/optimizer/relation/operation/unary/materialized_operand/optimize_spec.rb
714
- - spec/unit/veritas/optimizer/relation/operation/unary/operand_spec.rb
715
445
  - spec/unit/veritas/relation/class_methods/new_spec.rb
716
446
  - spec/unit/veritas/relation/directions_spec.rb
717
447
  - spec/unit/veritas/relation/each_spec.rb
@@ -724,6 +454,7 @@ files:
724
454
  - spec/unit/veritas/relation/equal_value_spec.rb
725
455
  - spec/unit/veritas/relation/hash_spec.rb
726
456
  - spec/unit/veritas/relation/header/class_methods/coerce_spec.rb
457
+ - spec/unit/veritas/relation/header/class_methods/new_spec.rb
727
458
  - spec/unit/veritas/relation/header/difference_spec.rb
728
459
  - spec/unit/veritas/relation/header/each_spec.rb
729
460
  - spec/unit/veritas/relation/header/element_reference_spec.rb
@@ -819,8 +550,7 @@ files:
819
550
  - spec/unit/veritas/tuple/project_spec.rb
820
551
  - spec/unit/veritas/tuple/to_ary_spec.rb
821
552
  - spec/unit/veritas/visitable/accept_spec.rb
822
- - tasks/ci.rake
823
- - tasks/clean.rake
553
+ - tasks/quality/ci.rake
824
554
  - tasks/quality/flay.rake
825
555
  - tasks/quality/flog.rake
826
556
  - tasks/quality/heckle.rake
@@ -831,7 +561,6 @@ files:
831
561
  - tasks/spec.rake
832
562
  - tasks/yard.rake
833
563
  - veritas.gemspec
834
- has_rdoc: true
835
564
  homepage: https://github.com/dkubb/veritas
836
565
  licenses: []
837
566
 
@@ -845,66 +574,31 @@ required_ruby_version: !ruby/object:Gem::Requirement
845
574
  requirements:
846
575
  - - ">="
847
576
  - !ruby/object:Gem::Version
848
- hash: 3
849
- segments:
850
- - 0
851
577
  version: "0"
852
578
  required_rubygems_version: !ruby/object:Gem::Requirement
853
579
  none: false
854
580
  requirements:
855
581
  - - ">="
856
582
  - !ruby/object:Gem::Version
857
- hash: 3
858
- segments:
859
- - 0
860
583
  version: "0"
861
584
  requirements: []
862
585
 
863
586
  rubyforge_project:
864
- rubygems_version: 1.6.2
587
+ rubygems_version: 1.7.2
865
588
  signing_key:
866
589
  specification_version: 3
867
590
  summary: Ruby Relational Algebra
868
591
  test_files:
869
- - spec/integration/veritas/algebra/difference/optimize_spec.rb
870
- - spec/integration/veritas/algebra/intersection/optimize_spec.rb
871
- - spec/integration/veritas/algebra/join/optimize_spec.rb
872
592
  - spec/integration/veritas/algebra/join_spec.rb
873
- - spec/integration/veritas/algebra/product/optimize_spec.rb
874
593
  - spec/integration/veritas/algebra/product_spec.rb
875
- - spec/integration/veritas/algebra/projection/optimize_spec.rb
876
594
  - spec/integration/veritas/algebra/projection_spec.rb
877
- - spec/integration/veritas/algebra/rename/optimize_spec.rb
878
- - spec/integration/veritas/algebra/restriction/optimize_spec.rb
879
595
  - spec/integration/veritas/algebra/summarization_spec.rb
880
- - spec/integration/veritas/algebra/union/optimize_spec.rb
881
- - spec/integration/veritas/logic/connective/conjunction/optimize_spec.rb
882
- - spec/integration/veritas/logic/connective/disjunction/optimize_spec.rb
883
- - spec/integration/veritas/logic/connective/negation/optimize_spec.rb
884
- - spec/integration/veritas/logic/expression/optimize_spec.rb
885
- - spec/integration/veritas/logic/predicate/equality/optimize_spec.rb
886
- - spec/integration/veritas/logic/predicate/exclusion/optimize_spec.rb
887
- - spec/integration/veritas/logic/predicate/greater_than/optimize_spec.rb
888
- - spec/integration/veritas/logic/predicate/greater_than_or_equal_to/optimize_spec.rb
889
- - spec/integration/veritas/logic/predicate/inclusion/optimize_spec.rb
890
- - spec/integration/veritas/logic/predicate/inequality/optimize_spec.rb
891
- - spec/integration/veritas/logic/predicate/less_than/optimize_spec.rb
892
- - spec/integration/veritas/logic/predicate/less_than_or_equal_to/optimize_spec.rb
893
596
  - spec/integration/veritas/relation/efficient_enumerable_spec.rb
894
- - spec/integration/veritas/relation/empty/optimize_spec.rb
895
- - spec/integration/veritas/relation/materialized/optimize_spec.rb
896
- - spec/integration/veritas/relation/operation/limit/optimize_spec.rb
897
- - spec/integration/veritas/relation/operation/offset/optimize_spec.rb
898
- - spec/integration/veritas/relation/operation/order/optimize_spec.rb
899
- - spec/integration/veritas/relation/operation/reverse/optimize_spec.rb
900
- - spec/integration/veritas/relation/optimize_spec.rb
901
597
  - spec/shared/command_method_behavior.rb
598
+ - spec/shared/each_method_behaviour.rb
902
599
  - spec/shared/hash_method_behavior.rb
903
600
  - spec/shared/idempotent_method_behavior.rb
904
- - spec/shared/logic_connective_binary_optimize_behavior.rb
905
- - spec/shared/optimize_method_behavior.rb
906
601
  - spec/spec_helper.rb
907
- - spec/support/add_method_missing.rb
908
602
  - spec/unit/date/pred_spec.rb
909
603
  - spec/unit/range/overlaps_spec.rb
910
604
  - spec/unit/range/to_inclusive_spec.rb
@@ -936,6 +630,7 @@ test_files:
936
630
  - spec/unit/veritas/algebra/projection/methods/project_spec.rb
937
631
  - spec/unit/veritas/algebra/projection/methods/remove_spec.rb
938
632
  - spec/unit/veritas/algebra/rename/aliases/class_methods/coerce_spec.rb
633
+ - spec/unit/veritas/algebra/rename/aliases/class_methods/new_spec.rb
939
634
  - spec/unit/veritas/algebra/rename/aliases/each_spec.rb
940
635
  - spec/unit/veritas/algebra/rename/aliases/element_reference_spec.rb
941
636
  - spec/unit/veritas/algebra/rename/aliases/empty_spec.rb
@@ -1015,15 +710,15 @@ test_files:
1015
710
  - spec/unit/veritas/immutable/class_methods/new_spec.rb
1016
711
  - spec/unit/veritas/immutable/dup_spec.rb
1017
712
  - spec/unit/veritas/immutable/fixtures/classes.rb
1018
- - spec/unit/veritas/immutable/memoize_methods/freeze_spec.rb
1019
- - spec/unit/veritas/immutable/memoize_methods/memoize_spec.rb
1020
- - spec/unit/veritas/immutable/memoize_methods/memoized_spec.rb
713
+ - spec/unit/veritas/immutable/freeze_spec.rb
1021
714
  - spec/unit/veritas/immutable/memoize_spec.rb
715
+ - spec/unit/veritas/immutable/memoized_spec.rb
1022
716
  - spec/unit/veritas/immutable/memory/element_reference_spec.rb
1023
717
  - spec/unit/veritas/immutable/memory/element_set_spec.rb
1024
718
  - spec/unit/veritas/immutable/module_methods/included_spec.rb
1025
719
  - spec/unit/veritas/immutable/module_methods/memoize_spec.rb
1026
720
  - spec/unit/veritas/logic/connective/binary/call_spec.rb
721
+ - spec/unit/veritas/logic/connective/binary/equal_value_spec.rb
1027
722
  - spec/unit/veritas/logic/connective/binary/fixtures/classes.rb
1028
723
  - spec/unit/veritas/logic/connective/binary/rename_spec.rb
1029
724
  - spec/unit/veritas/logic/connective/conjunction/class_methods/call_spec.rb
@@ -1042,6 +737,7 @@ test_files:
1042
737
  - spec/unit/veritas/logic/connective/negation/methods/fixtures/classes.rb
1043
738
  - spec/unit/veritas/logic/connective/negation/methods/not_spec.rb
1044
739
  - spec/unit/veritas/logic/connective/unary/call_spec.rb
740
+ - spec/unit/veritas/logic/connective/unary/equal_value_spec.rb
1045
741
  - spec/unit/veritas/logic/connective/unary/fixtures/classes.rb
1046
742
  - spec/unit/veritas/logic/connective/unary/rename_spec.rb
1047
743
  - spec/unit/veritas/logic/expression/class_methods/call_spec.rb
@@ -1060,6 +756,7 @@ test_files:
1060
756
  - spec/unit/veritas/logic/predicate/comparable/inspect_spec.rb
1061
757
  - spec/unit/veritas/logic/predicate/enumerable/class_methods/compare_method_spec.rb
1062
758
  - spec/unit/veritas/logic/predicate/eql_spec.rb
759
+ - spec/unit/veritas/logic/predicate/equal_value_spec.rb
1063
760
  - spec/unit/veritas/logic/predicate/equality/class_methods/call_spec.rb
1064
761
  - spec/unit/veritas/logic/predicate/equality/class_methods/inverse_spec.rb
1065
762
  - spec/unit/veritas/logic/predicate/equality/class_methods/operation_spec.rb
@@ -1142,22 +839,23 @@ test_files:
1142
839
  - spec/unit/veritas/logic/proposition/call_spec.rb
1143
840
  - spec/unit/veritas/logic/proposition/class_methods/call_spec.rb
1144
841
  - spec/unit/veritas/logic/proposition/class_methods/new_spec.rb
842
+ - spec/unit/veritas/logic/proposition/contradiction/and_spec.rb
843
+ - spec/unit/veritas/logic/proposition/contradiction/class_methods/call_spec.rb
844
+ - spec/unit/veritas/logic/proposition/contradiction/class_methods/inverse_spec.rb
845
+ - spec/unit/veritas/logic/proposition/contradiction/inspect_spec.rb
846
+ - spec/unit/veritas/logic/proposition/contradiction/inverse_spec.rb
847
+ - spec/unit/veritas/logic/proposition/contradiction/or_spec.rb
1145
848
  - spec/unit/veritas/logic/proposition/eql_spec.rb
1146
- - spec/unit/veritas/logic/proposition/false/and_spec.rb
1147
- - spec/unit/veritas/logic/proposition/false/class_methods/call_spec.rb
1148
- - spec/unit/veritas/logic/proposition/false/class_methods/inverse_spec.rb
1149
- - spec/unit/veritas/logic/proposition/false/inspect_spec.rb
1150
- - spec/unit/veritas/logic/proposition/false/inverse_spec.rb
1151
- - spec/unit/veritas/logic/proposition/false/or_spec.rb
849
+ - spec/unit/veritas/logic/proposition/equal_value_spec.rb
1152
850
  - spec/unit/veritas/logic/proposition/hash_spec.rb
1153
851
  - spec/unit/veritas/logic/proposition/inspect_spec.rb
1154
852
  - spec/unit/veritas/logic/proposition/inverse_spec.rb
1155
- - spec/unit/veritas/logic/proposition/true/and_spec.rb
1156
- - spec/unit/veritas/logic/proposition/true/class_methods/call_spec.rb
1157
- - spec/unit/veritas/logic/proposition/true/class_methods/inverse_spec.rb
1158
- - spec/unit/veritas/logic/proposition/true/inspect_spec.rb
1159
- - spec/unit/veritas/logic/proposition/true/inverse_spec.rb
1160
- - spec/unit/veritas/logic/proposition/true/or_spec.rb
853
+ - spec/unit/veritas/logic/proposition/tautology/and_spec.rb
854
+ - spec/unit/veritas/logic/proposition/tautology/class_methods/call_spec.rb
855
+ - spec/unit/veritas/logic/proposition/tautology/class_methods/inverse_spec.rb
856
+ - spec/unit/veritas/logic/proposition/tautology/inspect_spec.rb
857
+ - spec/unit/veritas/logic/proposition/tautology/inverse_spec.rb
858
+ - spec/unit/veritas/logic/proposition/tautology/or_spec.rb
1161
859
  - spec/unit/veritas/operation/binary/eql_spec.rb
1162
860
  - spec/unit/veritas/operation/binary/hash_spec.rb
1163
861
  - spec/unit/veritas/operation/binary/left_spec.rb
@@ -1165,190 +863,6 @@ test_files:
1165
863
  - spec/unit/veritas/operation/unary/eql_spec.rb
1166
864
  - spec/unit/veritas/operation/unary/hash_spec.rb
1167
865
  - spec/unit/veritas/operation/unary/operand_spec.rb
1168
- - spec/unit/veritas/optimizable/class_methods/optimizer_spec.rb
1169
- - spec/unit/veritas/optimizable/optimize_spec.rb
1170
- - spec/unit/veritas/optimizer/algebra/difference/empty_left/optimize_spec.rb
1171
- - spec/unit/veritas/optimizer/algebra/difference/empty_right/optimize_spec.rb
1172
- - spec/unit/veritas/optimizer/algebra/difference/equal_operands/optimize_spec.rb
1173
- - spec/unit/veritas/optimizer/algebra/extension/unoptimized_operand/optimizable_spec.rb
1174
- - spec/unit/veritas/optimizer/algebra/extension/unoptimized_operand/optimize_spec.rb
1175
- - spec/unit/veritas/optimizer/algebra/intersection/empty_left/optimize_spec.rb
1176
- - spec/unit/veritas/optimizer/algebra/intersection/empty_right/optimize_spec.rb
1177
- - spec/unit/veritas/optimizer/algebra/intersection/equal_operands/optimize_spec.rb
1178
- - spec/unit/veritas/optimizer/algebra/join/equal_headers/optimizable_spec.rb
1179
- - spec/unit/veritas/optimizer/algebra/join/equal_headers/optimize_spec.rb
1180
- - spec/unit/veritas/optimizer/algebra/product/table_dee_left/optimizable_spec.rb
1181
- - spec/unit/veritas/optimizer/algebra/product/table_dee_left/optimize_spec.rb
1182
- - spec/unit/veritas/optimizer/algebra/product/table_dee_right/optimizable_spec.rb
1183
- - spec/unit/veritas/optimizer/algebra/product/table_dee_right/optimize_spec.rb
1184
- - spec/unit/veritas/optimizer/algebra/projection/empty_operand/optimizable_spec.rb
1185
- - spec/unit/veritas/optimizer/algebra/projection/empty_operand/optimize_spec.rb
1186
- - spec/unit/veritas/optimizer/algebra/projection/header_spec.rb
1187
- - spec/unit/veritas/optimizer/algebra/projection/projection_operand/optimizable_spec.rb
1188
- - spec/unit/veritas/optimizer/algebra/projection/projection_operand/optimize_spec.rb
1189
- - spec/unit/veritas/optimizer/algebra/projection/set_operand/optimizable_spec.rb
1190
- - spec/unit/veritas/optimizer/algebra/projection/set_operand/optimize_spec.rb
1191
- - spec/unit/veritas/optimizer/algebra/projection/unchanged_header/optimizable_spec.rb
1192
- - spec/unit/veritas/optimizer/algebra/projection/unchanged_header/optimize_spec.rb
1193
- - spec/unit/veritas/optimizer/algebra/projection/unoptimized_operand/optimizable_spec.rb
1194
- - spec/unit/veritas/optimizer/algebra/projection/unoptimized_operand/optimize_spec.rb
1195
- - spec/unit/veritas/optimizer/algebra/rename/aliases_spec.rb
1196
- - spec/unit/veritas/optimizer/algebra/rename/class_methods/union_aliases_spec.rb
1197
- - spec/unit/veritas/optimizer/algebra/rename/empty_operand/optimizable_spec.rb
1198
- - spec/unit/veritas/optimizer/algebra/rename/empty_operand/optimize_spec.rb
1199
- - spec/unit/veritas/optimizer/algebra/rename/header_spec.rb
1200
- - spec/unit/veritas/optimizer/algebra/rename/limit_operand/optimizable_spec.rb
1201
- - spec/unit/veritas/optimizer/algebra/rename/limit_operand/optimize_spec.rb
1202
- - spec/unit/veritas/optimizer/algebra/rename/offset_operand/optimizable_spec.rb
1203
- - spec/unit/veritas/optimizer/algebra/rename/offset_operand/optimize_spec.rb
1204
- - spec/unit/veritas/optimizer/algebra/rename/order_operand/optimizable_spec.rb
1205
- - spec/unit/veritas/optimizer/algebra/rename/order_operand/optimize_spec.rb
1206
- - spec/unit/veritas/optimizer/algebra/rename/projection_operand/optimizable_spec.rb
1207
- - spec/unit/veritas/optimizer/algebra/rename/projection_operand/optimize_spec.rb
1208
- - spec/unit/veritas/optimizer/algebra/rename/rename_operand/optimizable_spec.rb
1209
- - spec/unit/veritas/optimizer/algebra/rename/rename_operand/optimize_spec.rb
1210
- - spec/unit/veritas/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimizable_spec.rb
1211
- - spec/unit/veritas/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimize_spec.rb
1212
- - spec/unit/veritas/optimizer/algebra/rename/restriction_operand/optimizable_spec.rb
1213
- - spec/unit/veritas/optimizer/algebra/rename/restriction_operand/optimize_spec.rb
1214
- - spec/unit/veritas/optimizer/algebra/rename/reverse_operand/optimizable_spec.rb
1215
- - spec/unit/veritas/optimizer/algebra/rename/reverse_operand/optimize_spec.rb
1216
- - spec/unit/veritas/optimizer/algebra/rename/set_operand/optimizable_spec.rb
1217
- - spec/unit/veritas/optimizer/algebra/rename/set_operand/optimize_spec.rb
1218
- - spec/unit/veritas/optimizer/algebra/rename/unchanged_header/optimizable_spec.rb
1219
- - spec/unit/veritas/optimizer/algebra/rename/unchanged_header/optimize_spec.rb
1220
- - spec/unit/veritas/optimizer/algebra/rename/unoptimized_operand/optimizable_spec.rb
1221
- - spec/unit/veritas/optimizer/algebra/rename/unoptimized_operand/optimize_spec.rb
1222
- - spec/unit/veritas/optimizer/algebra/restriction/class_methods/optimize_predicate_spec.rb
1223
- - spec/unit/veritas/optimizer/algebra/restriction/false_predicate/optimizable_spec.rb
1224
- - spec/unit/veritas/optimizer/algebra/restriction/false_predicate/optimize_spec.rb
1225
- - spec/unit/veritas/optimizer/algebra/restriction/order_operand/optimizable_spec.rb
1226
- - spec/unit/veritas/optimizer/algebra/restriction/order_operand/optimize_spec.rb
1227
- - spec/unit/veritas/optimizer/algebra/restriction/predicate_spec.rb
1228
- - spec/unit/veritas/optimizer/algebra/restriction/restriction_operand/optimizable_spec.rb
1229
- - spec/unit/veritas/optimizer/algebra/restriction/restriction_operand/optimize_spec.rb
1230
- - spec/unit/veritas/optimizer/algebra/restriction/reverse_operand/optimizable_spec.rb
1231
- - spec/unit/veritas/optimizer/algebra/restriction/reverse_operand/optimize_spec.rb
1232
- - spec/unit/veritas/optimizer/algebra/restriction/set_operand/optimizable_spec.rb
1233
- - spec/unit/veritas/optimizer/algebra/restriction/set_operand/optimize_spec.rb
1234
- - spec/unit/veritas/optimizer/algebra/restriction/true_predicate/optimizable_spec.rb
1235
- - spec/unit/veritas/optimizer/algebra/restriction/true_predicate/optimize_spec.rb
1236
- - spec/unit/veritas/optimizer/algebra/restriction/unoptimized_operand/optimizable_spec.rb
1237
- - spec/unit/veritas/optimizer/algebra/restriction/unoptimized_operand/optimize_spec.rb
1238
- - spec/unit/veritas/optimizer/algebra/summarization/unoptimized_operand/optimizable_spec.rb
1239
- - spec/unit/veritas/optimizer/algebra/summarization/unoptimized_operand/optimize_spec.rb
1240
- - spec/unit/veritas/optimizer/algebra/union/empty_left/optimize_spec.rb
1241
- - spec/unit/veritas/optimizer/algebra/union/empty_right/optimize_spec.rb
1242
- - spec/unit/veritas/optimizer/algebra/union/equal_operands/optimize_spec.rb
1243
- - spec/unit/veritas/optimizer/class_methods/chain_spec.rb
1244
- - spec/unit/veritas/optimizer/logic/connective/binary/equal_operands/optimizable_spec.rb
1245
- - spec/unit/veritas/optimizer/logic/connective/binary/equal_operands/optimize_spec.rb
1246
- - spec/unit/veritas/optimizer/logic/connective/binary/left_spec.rb
1247
- - spec/unit/veritas/optimizer/logic/connective/binary/redundant_left_operand/optimizable_spec.rb
1248
- - spec/unit/veritas/optimizer/logic/connective/binary/redundant_left_operand/optimize_spec.rb
1249
- - spec/unit/veritas/optimizer/logic/connective/binary/redundant_right_operand/optimizable_spec.rb
1250
- - spec/unit/veritas/optimizer/logic/connective/binary/redundant_right_operand/optimize_spec.rb
1251
- - spec/unit/veritas/optimizer/logic/connective/binary/right_spec.rb
1252
- - spec/unit/veritas/optimizer/logic/connective/binary/unoptimized_operand/optimizable_spec.rb
1253
- - spec/unit/veritas/optimizer/logic/connective/binary/unoptimized_operand/optimize_spec.rb
1254
- - spec/unit/veritas/optimizer/logic/connective/conjunction/always_false/optimizable_spec.rb
1255
- - spec/unit/veritas/optimizer/logic/connective/conjunction/always_false/optimize_spec.rb
1256
- - spec/unit/veritas/optimizer/logic/connective/conjunction/optimizable_to_exclusion/optimizable_spec.rb
1257
- - spec/unit/veritas/optimizer/logic/connective/conjunction/optimizable_to_exclusion/optimize_spec.rb
1258
- - spec/unit/veritas/optimizer/logic/connective/conjunction/true_left_operand/optimizable_spec.rb
1259
- - spec/unit/veritas/optimizer/logic/connective/conjunction/true_left_operand/optimize_spec.rb
1260
- - spec/unit/veritas/optimizer/logic/connective/conjunction/true_right_operand/optimizable_spec.rb
1261
- - spec/unit/veritas/optimizer/logic/connective/conjunction/true_right_operand/optimize_spec.rb
1262
- - spec/unit/veritas/optimizer/logic/connective/disjunction/always_true/optimizable_spec.rb
1263
- - spec/unit/veritas/optimizer/logic/connective/disjunction/always_true/optimize_spec.rb
1264
- - spec/unit/veritas/optimizer/logic/connective/disjunction/false_left_operand/optimizable_spec.rb
1265
- - spec/unit/veritas/optimizer/logic/connective/disjunction/false_left_operand/optimize_spec.rb
1266
- - spec/unit/veritas/optimizer/logic/connective/disjunction/false_right_operand/optimizable_spec.rb
1267
- - spec/unit/veritas/optimizer/logic/connective/disjunction/false_right_operand/optimize_spec.rb
1268
- - spec/unit/veritas/optimizer/logic/connective/disjunction/optimizable_to_inclusion/optimizable_spec.rb
1269
- - spec/unit/veritas/optimizer/logic/connective/disjunction/optimizable_to_inclusion/optimize_spec.rb
1270
- - spec/unit/veritas/optimizer/logic/connective/negation/invertible_operand/optimizable_spec.rb
1271
- - spec/unit/veritas/optimizer/logic/connective/negation/invertible_operand/optimize_spec.rb
1272
- - spec/unit/veritas/optimizer/logic/connective/negation/operand_spec.rb
1273
- - spec/unit/veritas/optimizer/logic/predicate/always_false/optimize_spec.rb
1274
- - spec/unit/veritas/optimizer/logic/predicate/always_true/optimize_spec.rb
1275
- - spec/unit/veritas/optimizer/logic/predicate/class_methods/optimize_operand_spec.rb
1276
- - spec/unit/veritas/optimizer/logic/predicate/comparable/never_comparable/optimizable_spec.rb
1277
- - spec/unit/veritas/optimizer/logic/predicate/comparable/never_equivalent/optimizable_spec.rb
1278
- - spec/unit/veritas/optimizer/logic/predicate/comparable/normalizable_operands/optimizable_spec.rb
1279
- - spec/unit/veritas/optimizer/logic/predicate/comparable/normalizable_operands/optimize_spec.rb
1280
- - spec/unit/veritas/optimizer/logic/predicate/constant_operands/optimizable_spec.rb
1281
- - spec/unit/veritas/optimizer/logic/predicate/constant_operands/optimize_spec.rb
1282
- - spec/unit/veritas/optimizer/logic/predicate/enumerable/empty_right_operand/optimizable_spec.rb
1283
- - spec/unit/veritas/optimizer/logic/predicate/enumerable/one_right_operand/optimizable_spec.rb
1284
- - spec/unit/veritas/optimizer/logic/predicate/enumerable/unoptimized_operand/optimizable_spec.rb
1285
- - spec/unit/veritas/optimizer/logic/predicate/enumerable/unoptimized_operand/optimize_spec.rb
1286
- - spec/unit/veritas/optimizer/logic/predicate/equality/always_true/optimizable_spec.rb
1287
- - spec/unit/veritas/optimizer/logic/predicate/exclusion/empty_right_operand/optimize_spec.rb
1288
- - spec/unit/veritas/optimizer/logic/predicate/exclusion/one_right_operand/optimize_spec.rb
1289
- - spec/unit/veritas/optimizer/logic/predicate/greater_than/always_false/optimizable_spec.rb
1290
- - spec/unit/veritas/optimizer/logic/predicate/greater_than/always_true/optimizable_spec.rb
1291
- - spec/unit/veritas/optimizer/logic/predicate/greater_than_or_equal_to/always_false/optimizable_spec.rb
1292
- - spec/unit/veritas/optimizer/logic/predicate/greater_than_or_equal_to/always_true/optimizable_spec.rb
1293
- - spec/unit/veritas/optimizer/logic/predicate/inclusion/empty_right_operand/optimize_spec.rb
1294
- - spec/unit/veritas/optimizer/logic/predicate/inclusion/one_right_operand/optimize_spec.rb
1295
- - spec/unit/veritas/optimizer/logic/predicate/inequality/always_false/optimizable_spec.rb
1296
- - spec/unit/veritas/optimizer/logic/predicate/left_spec.rb
1297
- - spec/unit/veritas/optimizer/logic/predicate/less_than/always_false/optimizable_spec.rb
1298
- - spec/unit/veritas/optimizer/logic/predicate/less_than/always_true/optimizable_spec.rb
1299
- - spec/unit/veritas/optimizer/logic/predicate/less_than_or_equal_to/always_false/optimizable_spec.rb
1300
- - spec/unit/veritas/optimizer/logic/predicate/less_than_or_equal_to/always_true/optimizable_spec.rb
1301
- - spec/unit/veritas/optimizer/logic/predicate/right_spec.rb
1302
- - spec/unit/veritas/optimizer/logic/predicate/util/class_methods/attribute_spec.rb
1303
- - spec/unit/veritas/optimizer/logic/predicate/util/class_methods/constant_spec.rb
1304
- - spec/unit/veritas/optimizer/logic/predicate/util/class_methods/max_spec.rb
1305
- - spec/unit/veritas/optimizer/logic/predicate/util/class_methods/min_spec.rb
1306
- - spec/unit/veritas/optimizer/operation_spec.rb
1307
- - spec/unit/veritas/optimizer/optimizable_spec.rb
1308
- - spec/unit/veritas/optimizer/optimize_spec.rb
1309
- - spec/unit/veritas/optimizer/relation/materialized/empty_operand/optimizable_spec.rb
1310
- - spec/unit/veritas/optimizer/relation/materialized/empty_operand/optimize_spec.rb
1311
- - spec/unit/veritas/optimizer/relation/operation/binary/empty_left/optimizable_spec.rb
1312
- - spec/unit/veritas/optimizer/relation/operation/binary/empty_right/optimizable_spec.rb
1313
- - spec/unit/veritas/optimizer/relation/operation/binary/equal_operands/optimizable_spec.rb
1314
- - spec/unit/veritas/optimizer/relation/operation/binary/left_spec.rb
1315
- - spec/unit/veritas/optimizer/relation/operation/binary/materialized_operand/optimizable_spec.rb
1316
- - spec/unit/veritas/optimizer/relation/operation/binary/materialized_operand/optimize_spec.rb
1317
- - spec/unit/veritas/optimizer/relation/operation/binary/right_spec.rb
1318
- - spec/unit/veritas/optimizer/relation/operation/binary/unoptimized_operand/optimizable_spec.rb
1319
- - spec/unit/veritas/optimizer/relation/operation/binary/unoptimized_operand/optimize_spec.rb
1320
- - spec/unit/veritas/optimizer/relation/operation/combination/optimize_spec.rb
1321
- - spec/unit/veritas/optimizer/relation/operation/limit/equal_limit_operand/optimizable_spec.rb
1322
- - spec/unit/veritas/optimizer/relation/operation/limit/equal_limit_operand/optimize_spec.rb
1323
- - spec/unit/veritas/optimizer/relation/operation/limit/limit_operand/optimizable_spec.rb
1324
- - spec/unit/veritas/optimizer/relation/operation/limit/limit_operand/optimize_spec.rb
1325
- - spec/unit/veritas/optimizer/relation/operation/limit/unoptimized_operand/optimizable_spec.rb
1326
- - spec/unit/veritas/optimizer/relation/operation/limit/unoptimized_operand/optimize_spec.rb
1327
- - spec/unit/veritas/optimizer/relation/operation/limit/zero_limit/optimizable_spec.rb
1328
- - spec/unit/veritas/optimizer/relation/operation/limit/zero_limit/optimize_spec.rb
1329
- - spec/unit/veritas/optimizer/relation/operation/offset/offset_operand/optimizable_spec.rb
1330
- - spec/unit/veritas/optimizer/relation/operation/offset/offset_operand/optimize_spec.rb
1331
- - spec/unit/veritas/optimizer/relation/operation/offset/unoptimized_operand/optimizable_spec.rb
1332
- - spec/unit/veritas/optimizer/relation/operation/offset/unoptimized_operand/optimize_spec.rb
1333
- - spec/unit/veritas/optimizer/relation/operation/offset/zero_offset/optimizable_spec.rb
1334
- - spec/unit/veritas/optimizer/relation/operation/offset/zero_offset/optimize_spec.rb
1335
- - spec/unit/veritas/optimizer/relation/operation/order/one_limit_operand/optimizable_spec.rb
1336
- - spec/unit/veritas/optimizer/relation/operation/order/one_limit_operand/optimize_spec.rb
1337
- - spec/unit/veritas/optimizer/relation/operation/order/order_operand/optimizable_spec.rb
1338
- - spec/unit/veritas/optimizer/relation/operation/order/order_operand/optimize_spec.rb
1339
- - spec/unit/veritas/optimizer/relation/operation/order/unoptimized_operand/optimizable_spec.rb
1340
- - spec/unit/veritas/optimizer/relation/operation/order/unoptimized_operand/optimize_spec.rb
1341
- - spec/unit/veritas/optimizer/relation/operation/reverse/order_operand/optimizable_spec.rb
1342
- - spec/unit/veritas/optimizer/relation/operation/reverse/order_operand/optimize_spec.rb
1343
- - spec/unit/veritas/optimizer/relation/operation/reverse/reverse_operand/optimizable_spec.rb
1344
- - spec/unit/veritas/optimizer/relation/operation/reverse/reverse_operand/optimize_spec.rb
1345
- - spec/unit/veritas/optimizer/relation/operation/reverse/unoptimized_operand/optimizable_spec.rb
1346
- - spec/unit/veritas/optimizer/relation/operation/reverse/unoptimized_operand/optimize_spec.rb
1347
- - spec/unit/veritas/optimizer/relation/operation/unary/empty_operand/optimizable_spec.rb
1348
- - spec/unit/veritas/optimizer/relation/operation/unary/empty_operand/optimize_spec.rb
1349
- - spec/unit/veritas/optimizer/relation/operation/unary/materialized_operand/optimizable_spec.rb
1350
- - spec/unit/veritas/optimizer/relation/operation/unary/materialized_operand/optimize_spec.rb
1351
- - spec/unit/veritas/optimizer/relation/operation/unary/operand_spec.rb
1352
866
  - spec/unit/veritas/relation/class_methods/new_spec.rb
1353
867
  - spec/unit/veritas/relation/directions_spec.rb
1354
868
  - spec/unit/veritas/relation/each_spec.rb
@@ -1361,6 +875,7 @@ test_files:
1361
875
  - spec/unit/veritas/relation/equal_value_spec.rb
1362
876
  - spec/unit/veritas/relation/hash_spec.rb
1363
877
  - spec/unit/veritas/relation/header/class_methods/coerce_spec.rb
878
+ - spec/unit/veritas/relation/header/class_methods/new_spec.rb
1364
879
  - spec/unit/veritas/relation/header/difference_spec.rb
1365
880
  - spec/unit/veritas/relation/header/each_spec.rb
1366
881
  - spec/unit/veritas/relation/header/element_reference_spec.rb