axiom-optimizer 0.1.0

data/spec/unit/axiom/optimizer/relation/operation/unary/operand_spec.rb

@@ -0,0 +1,16 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Relation::Operation::Unary, '#operand' do
+  subject { object.operand }
+
+  let(:described_class) { Class.new(Optimizer::Relation::Operation::Unary)         }
+  let(:optimized)       { mock('Optimized')                                        }
+  let(:operand)         { mock('Operand', :optimize => optimized)                  }
+  let(:header)          { mock('Header')                                           }
+  let(:relation)        { mock('Relation', :operand => operand, :header => header) }
+  let(:object)          { described_class.new(relation)                            }
+
+  it { should equal(optimized) }
+end

data/spec/unit/axiom/optimizer/relation/operation/unary/order_operand/optimizable_predicate_spec.rb

@@ -0,0 +1,28 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Relation::Operation::Unary::OrderOperand, '#optimizable?' do
+  subject { object.optimizable? }
+
+  let(:described_class) { Class.new(Optimizer::Relation::Operation::Unary)       }
+  let(:base)            { Relation.new([ [ :id, Integer ] ], LazyEnumerable.new) }
+  let(:relation)        { operand.project([])                                    }
+  let(:object)          { described_class.new(relation)                          }
+
+  before do
+    described_class.class_eval { include Optimizer::Relation::Operation::Unary::OrderOperand }
+  end
+
+  context 'when operand is an order' do
+    let(:operand) { base.sort_by { |r| r.id } }
+
+    it { should be(true) }
+  end
+
+  context 'when operand is not an order' do
+    let(:operand) { base }
+
+    it { should be(false) }
+  end
+end

data/spec/unit/axiom/optimizer/relation/operation/unary/order_operand/optimize_spec.rb

@@ -0,0 +1,27 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Relation::Operation::Unary::OrderOperand, '#optimize' do
+  subject { object.optimize }
+
+  let(:described_class) { Class.new(Optimizer::Relation::Operation::Unary)       }
+  let(:base)            { Relation.new([ [ :id, Integer ] ], LazyEnumerable.new) }
+  let(:operand)         { base.sort_by { |r| r.id }                              }
+  let(:relation)        { operand.project([])                                    }
+  let(:object)          { described_class.new(relation)                          }
+
+  before do
+    described_class.class_eval do
+      include Optimizer::Relation::Operation::Unary::OrderOperand
+
+      def wrap_operand
+        'Optimized'
+      end
+    end
+
+    object.should be_optimizable
+  end
+
+  it { should eql('Optimized') }
+end

data/spec/unit/axiom/optimizer/relation/operation/unary/unchanged_header/optimizable_predicate_spec.rb

@@ -0,0 +1,24 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Relation::Operation::Unary::UnchangedHeader, '#optimizable?' do
+  subject { object.optimizable? }
+
+  let(:operand)  { mock('Operand', :header => operand_header)               }
+  let(:header)   { mock('Header')                                           }
+  let(:relation) { mock('Relation', :operand => operand, :header => header) }
+  let(:object)   { described_class.new(relation)                            }
+
+  context 'when the header is not changed' do
+    let(:operand_header) { header }
+
+    it { should be(true) }
+  end
+
+  context 'when the header is changed' do
+    let(:operand_header) { mock('Changed Header') }
+
+    it { should be(false) }
+  end
+end

data/spec/unit/axiom/optimizer/relation/operation/unary/unchanged_header/optimize_spec.rb

@@ -0,0 +1,14 @@
+# encoding: utf-8
+
+require 'spec_helper'
+
+describe Optimizer::Relation::Operation::Unary::UnchangedHeader, '#optimize' do
+  subject { object.optimize }
+
+  let(:operand)  { mock('Operand')                                          }
+  let(:header)   { mock('Header')                                           }
+  let(:relation) { mock('Relation', :operand => operand, :header => header) }
+  let(:object)   { described_class.new(relation)                            }
+
+  it { should equal(operand) }
+end

metadata

@@ -0,0 +1,697 @@
+--- !ruby/object:Gem::Specification
+name: axiom-optimizer
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Dan Kubb
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2013-04-05 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: axiom
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 0.1.0
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 0.1.0
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 10.0.4
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 10.0.4
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 2.13.0
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 2.13.0
+- !ruby/object:Gem::Dependency
+  name: yard
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 0.8.5.2
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: 0.8.5.2
+description: Optimizes axiom relations
+email: dan.kubb@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files:
+- LICENSE
+- README.md
+- CONTRIBUTING.md
+- TODO
+files:
+- .gemtest
+- .gitignore
+- .rspec
+- .rvmrc
+- .travis.yml
+- CONTRIBUTING.md
+- Gemfile
+- Gemfile.devtools
+- Guardfile
+- LICENSE
+- README.md
+- Rakefile
+- TODO
+- axiom-optimizer.gemspec
+- config/flay.yml
+- config/flog.yml
+- config/mutant.yml
+- config/reek.yml
+- config/roodi.yml
+- config/yardstick.yml
+- lib/axiom-optimizer.rb
+- lib/axiom/optimizer.rb
+- lib/axiom/optimizer/aggregate.rb
+- lib/axiom/optimizer/aggregate/count.rb
+- lib/axiom/optimizer/aggregate/maximum.rb
+- lib/axiom/optimizer/aggregate/mean.rb
+- lib/axiom/optimizer/aggregate/minimum.rb
+- lib/axiom/optimizer/aggregate/standard_deviation.rb
+- lib/axiom/optimizer/aggregate/sum.rb
+- lib/axiom/optimizer/aggregate/variance.rb
+- lib/axiom/optimizer/algebra/difference.rb
+- lib/axiom/optimizer/algebra/extension.rb
+- lib/axiom/optimizer/algebra/intersection.rb
+- lib/axiom/optimizer/algebra/join.rb
+- lib/axiom/optimizer/algebra/product.rb
+- lib/axiom/optimizer/algebra/projection.rb
+- lib/axiom/optimizer/algebra/rename.rb
+- lib/axiom/optimizer/algebra/restriction.rb
+- lib/axiom/optimizer/algebra/summarization.rb
+- lib/axiom/optimizer/algebra/union.rb
+- lib/axiom/optimizer/function.rb
+- lib/axiom/optimizer/function/binary.rb
+- lib/axiom/optimizer/function/connective/binary.rb
+- lib/axiom/optimizer/function/connective/conjunction.rb
+- lib/axiom/optimizer/function/connective/disjunction.rb
+- lib/axiom/optimizer/function/connective/negation.rb
+- lib/axiom/optimizer/function/numeric.rb
+- lib/axiom/optimizer/function/numeric/absolute.rb
+- lib/axiom/optimizer/function/numeric/addition.rb
+- lib/axiom/optimizer/function/numeric/division.rb
+- lib/axiom/optimizer/function/numeric/exponentiation.rb
+- lib/axiom/optimizer/function/numeric/modulo.rb
+- lib/axiom/optimizer/function/numeric/multiplication.rb
+- lib/axiom/optimizer/function/numeric/square_root.rb
+- lib/axiom/optimizer/function/numeric/subtraction.rb
+- lib/axiom/optimizer/function/numeric/unary_minus.rb
+- lib/axiom/optimizer/function/numeric/unary_plus.rb
+- lib/axiom/optimizer/function/predicate.rb
+- lib/axiom/optimizer/function/predicate/comparable.rb
+- lib/axiom/optimizer/function/predicate/enumerable.rb
+- lib/axiom/optimizer/function/predicate/equality.rb
+- lib/axiom/optimizer/function/predicate/exclusion.rb
+- lib/axiom/optimizer/function/predicate/greater_than.rb
+- lib/axiom/optimizer/function/predicate/greater_than_or_equal_to.rb
+- lib/axiom/optimizer/function/predicate/inclusion.rb
+- lib/axiom/optimizer/function/predicate/inequality.rb
+- lib/axiom/optimizer/function/predicate/less_than.rb
+- lib/axiom/optimizer/function/predicate/less_than_or_equal_to.rb
+- lib/axiom/optimizer/function/predicate/match.rb
+- lib/axiom/optimizer/function/predicate/no_match.rb
+- lib/axiom/optimizer/function/string/length.rb
+- lib/axiom/optimizer/function/unary.rb
+- lib/axiom/optimizer/optimizable.rb
+- lib/axiom/optimizer/relation/materialized.rb
+- lib/axiom/optimizer/relation/operation/binary.rb
+- lib/axiom/optimizer/relation/operation/combination.rb
+- lib/axiom/optimizer/relation/operation/deletion.rb
+- lib/axiom/optimizer/relation/operation/insertion.rb
+- lib/axiom/optimizer/relation/operation/limit.rb
+- lib/axiom/optimizer/relation/operation/offset.rb
+- lib/axiom/optimizer/relation/operation/order.rb
+- lib/axiom/optimizer/relation/operation/reverse.rb
+- lib/axiom/optimizer/relation/operation/unary.rb
+- lib/axiom/optimizer/support/predicate_partition.rb
+- lib/axiom/optimizer/version.rb
+- spec/integration/axiom/algebra/difference/optimize_spec.rb
+- spec/integration/axiom/algebra/intersection/optimize_spec.rb
+- spec/integration/axiom/algebra/join/optimize_spec.rb
+- spec/integration/axiom/algebra/product/optimize_spec.rb
+- spec/integration/axiom/algebra/projection/optimize_spec.rb
+- spec/integration/axiom/algebra/rename/optimize_spec.rb
+- spec/integration/axiom/algebra/restriction/optimize_spec.rb
+- spec/integration/axiom/algebra/summarization/optimize_spec.rb
+- spec/integration/axiom/algebra/union/optimize_spec.rb
+- spec/integration/axiom/function/connective/conjunction/optimize_spec.rb
+- spec/integration/axiom/function/connective/disjunction/optimize_spec.rb
+- spec/integration/axiom/function/connective/negation/optimize_spec.rb
+- spec/integration/axiom/function/optimize_spec.rb
+- spec/integration/axiom/function/predicate/equality/optimize_spec.rb
+- spec/integration/axiom/function/predicate/exclusion/optimize_spec.rb
+- spec/integration/axiom/function/predicate/greater_than/optimize_spec.rb
+- spec/integration/axiom/function/predicate/greater_than_or_equal_to/optimize_spec.rb
+- spec/integration/axiom/function/predicate/inclusion/optimize_spec.rb
+- spec/integration/axiom/function/predicate/inequality/optimize_spec.rb
+- spec/integration/axiom/function/predicate/less_than/optimize_spec.rb
+- spec/integration/axiom/function/predicate/less_than_or_equal_to/optimize_spec.rb
+- spec/integration/axiom/relation/empty/optimize_spec.rb
+- spec/integration/axiom/relation/materialized/optimize_spec.rb
+- spec/integration/axiom/relation/operation/limit/optimize_spec.rb
+- spec/integration/axiom/relation/operation/offset/optimize_spec.rb
+- spec/integration/axiom/relation/operation/order/optimize_spec.rb
+- spec/integration/axiom/relation/operation/reverse/optimize_spec.rb
+- spec/integration/axiom/relation/optimize_spec.rb
+- spec/rcov.opts
+- spec/shared/function_connective_binary_optimize_behavior.rb
+- spec/shared/optimize_method_behavior.rb
+- spec/spec_helper.rb
+- spec/support/add_method_missing.rb
+- spec/support/config_alias.rb
+- spec/support/ice_nine_config.rb
+- spec/support/lazy_enumerable.rb
+- spec/unit/axiom/optimizer/algebra/difference/empty_left/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/difference/empty_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/difference/equal_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/extension/extensions_spec.rb
+- spec/unit/axiom/optimizer/algebra/extension/order_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/extension/order_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/extension/unoptimized_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/extension/unoptimized_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/intersection/empty_left/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/intersection/empty_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/intersection/equal_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/join/disjoint_headers/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/join/disjoint_headers/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/join/equal_headers/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/join/equal_headers/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/join/materialized_left/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/join/materialized_left/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/join/materialized_right/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/join/materialized_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/product/table_dee_left/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/product/table_dee_left/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/product/table_dee_right/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/product/table_dee_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/projection/empty_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/projection/empty_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/projection/extension_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/projection/extension_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/projection/projection_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/projection/projection_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/projection/union_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/projection/union_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/projection/unoptimized_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/projection/unoptimized_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/aliases_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/empty_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/empty_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/limit_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/limit_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/offset_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/offset_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/order_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/order_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/projection_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/projection_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/rename_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/rename_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/restriction_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/restriction_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/reverse_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/reverse_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/set_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/set_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/unoptimized_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/unoptimized_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/combination_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/combination_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/contradiction/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/contradiction/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/join_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/join_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/order_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/order_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/product_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/product_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/restriction_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/restriction_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/set_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/set_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/tautology/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/tautology/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/unoptimized_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/unoptimized_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/summarization/empty_operand/class_methods/extension_default_spec.rb
+- spec/unit/axiom/optimizer/algebra/summarization/empty_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/summarization/empty_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/summarization/empty_summarize_per/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/summarization/empty_summarize_per/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/summarization/order_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/summarization/order_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/summarization/summarize_per_spec.rb
+- spec/unit/axiom/optimizer/algebra/summarization/summarizers_spec.rb
+- spec/unit/axiom/optimizer/algebra/summarization/unoptimized_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/summarization/unoptimized_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/union/empty_left/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/union/empty_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/union/equal_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/class_methods/chain_spec.rb
+- spec/unit/axiom/optimizer/function/binary/constant_operands/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/binary/constant_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/binary/left_spec.rb
+- spec/unit/axiom/optimizer/function/binary/right_spec.rb
+- spec/unit/axiom/optimizer/function/binary/unoptimized_operands/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/binary/unoptimized_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/class_methods/optimize_functions_spec.rb
+- spec/unit/axiom/optimizer/function/class_methods/optimize_operand_spec.rb
+- spec/unit/axiom/optimizer/function/connective/binary/constant_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/binary/equal_operands/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/binary/equal_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/binary/left_spec.rb
+- spec/unit/axiom/optimizer/function/connective/binary/redundant_left/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/binary/redundant_left/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/binary/redundant_right/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/binary/redundant_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/binary/right_spec.rb
+- spec/unit/axiom/optimizer/function/connective/conjunction/contradiction/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/conjunction/contradiction/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/conjunction/optimizable_to_exclusion/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/conjunction/optimizable_to_exclusion/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/conjunction/tautology_left/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/conjunction/tautology_left/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/conjunction/tautology_right/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/conjunction/tautology_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/disjunction/contradiction_left/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/disjunction/contradiction_left/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/disjunction/contradiction_right/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/disjunction/contradiction_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/disjunction/optimizable_to_inclusion/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/disjunction/optimizable_to_inclusion/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/disjunction/tautology/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/disjunction/tautology/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/negation/constant_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/negation/invertible_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/negation/invertible_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/negation/operand_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/comparable/never_comparable/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/comparable/never_equivalent/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/comparable/normalizable_operands/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/comparable/normalizable_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/constant_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/contradiction/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/enumerable/class_methods/sort_by_value_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/enumerable/empty_right/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/enumerable/one_right/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/enumerable/unoptimized_operands/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/enumerable/unoptimized_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/equality/tautology/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/exclusion/empty_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/exclusion/one_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/greater_than/contradiction/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/greater_than/tautology/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/greater_than_or_equal_to/contradiction/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/greater_than_or_equal_to/tautology/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/inclusion/empty_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/inclusion/one_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/inequality/contradiction/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/less_than/contradiction/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/less_than/tautology/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/less_than_or_equal_to/contradiction/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/less_than_or_equal_to/tautology/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/tautology/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/unary/constant_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/unary/constant_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/unary/operand_spec.rb
+- spec/unit/axiom/optimizer/function/unary/unoptimized_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/unary/unoptimized_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/util/class_methods/attribute_spec.rb
+- spec/unit/axiom/optimizer/function/util/class_methods/constant_spec.rb
+- spec/unit/axiom/optimizer/function/util/class_methods/max_spec.rb
+- spec/unit/axiom/optimizer/function/util/class_methods/min_spec.rb
+- spec/unit/axiom/optimizer/operation_spec.rb
+- spec/unit/axiom/optimizer/optimizable/class_methods/optimizer_spec.rb
+- spec/unit/axiom/optimizer/optimizable/optimize_spec.rb
+- spec/unit/axiom/optimizer/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/optimize_spec.rb
+- spec/unit/axiom/optimizer/predicate_partition/left_spec.rb
+- spec/unit/axiom/optimizer/predicate_partition/remainder_spec.rb
+- spec/unit/axiom/optimizer/predicate_partition/right_spec.rb
+- spec/unit/axiom/optimizer/relation/materialized/empty_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/materialized/empty_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/empty_left/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/empty_right/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/equal_operands/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/left_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/materialized_operands/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/materialized_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/order_left/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/order_left/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/order_right/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/order_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/right_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/unoptimized_operands/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/unoptimized_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/combination/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/limit/equal_limit_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/limit/equal_limit_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/limit/limit_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/limit/limit_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/limit/unoptimized_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/limit/unoptimized_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/limit/zero_limit/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/limit/zero_limit/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/offset/offset_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/offset/offset_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/offset/unoptimized_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/offset/unoptimized_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/offset/zero_offset/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/offset/zero_offset/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/order/one_limit_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/order/one_limit_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/order/order_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/order/order_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/order/unoptimized_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/order/unoptimized_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/reverse/order_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/reverse/order_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/reverse/reverse_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/reverse/reverse_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/reverse/unoptimized_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/reverse/unoptimized_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/unary/empty_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/unary/empty_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/unary/header_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/unary/materialized_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/unary/materialized_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/unary/operand_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/unary/order_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/unary/order_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/unary/unchanged_header/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/unary/unchanged_header/optimize_spec.rb
+homepage: https://github.com/dkubb/axiom-optimizer
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.0.3
+signing_key: 
+specification_version: 4
+summary: Optimizes axiom relations
+test_files:
+- spec/integration/axiom/algebra/difference/optimize_spec.rb
+- spec/integration/axiom/algebra/intersection/optimize_spec.rb
+- spec/integration/axiom/algebra/join/optimize_spec.rb
+- spec/integration/axiom/algebra/product/optimize_spec.rb
+- spec/integration/axiom/algebra/projection/optimize_spec.rb
+- spec/integration/axiom/algebra/rename/optimize_spec.rb
+- spec/integration/axiom/algebra/restriction/optimize_spec.rb
+- spec/integration/axiom/algebra/summarization/optimize_spec.rb
+- spec/integration/axiom/algebra/union/optimize_spec.rb
+- spec/integration/axiom/function/connective/conjunction/optimize_spec.rb
+- spec/integration/axiom/function/connective/disjunction/optimize_spec.rb
+- spec/integration/axiom/function/connective/negation/optimize_spec.rb
+- spec/integration/axiom/function/optimize_spec.rb
+- spec/integration/axiom/function/predicate/equality/optimize_spec.rb
+- spec/integration/axiom/function/predicate/exclusion/optimize_spec.rb
+- spec/integration/axiom/function/predicate/greater_than/optimize_spec.rb
+- spec/integration/axiom/function/predicate/greater_than_or_equal_to/optimize_spec.rb
+- spec/integration/axiom/function/predicate/inclusion/optimize_spec.rb
+- spec/integration/axiom/function/predicate/inequality/optimize_spec.rb
+- spec/integration/axiom/function/predicate/less_than/optimize_spec.rb
+- spec/integration/axiom/function/predicate/less_than_or_equal_to/optimize_spec.rb
+- spec/integration/axiom/relation/empty/optimize_spec.rb
+- spec/integration/axiom/relation/materialized/optimize_spec.rb
+- spec/integration/axiom/relation/operation/limit/optimize_spec.rb
+- spec/integration/axiom/relation/operation/offset/optimize_spec.rb
+- spec/integration/axiom/relation/operation/order/optimize_spec.rb
+- spec/integration/axiom/relation/operation/reverse/optimize_spec.rb
+- spec/integration/axiom/relation/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/difference/empty_left/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/difference/empty_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/difference/equal_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/extension/extensions_spec.rb
+- spec/unit/axiom/optimizer/algebra/extension/order_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/extension/order_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/extension/unoptimized_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/extension/unoptimized_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/intersection/empty_left/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/intersection/empty_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/intersection/equal_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/join/disjoint_headers/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/join/disjoint_headers/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/join/equal_headers/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/join/equal_headers/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/join/materialized_left/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/join/materialized_left/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/join/materialized_right/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/join/materialized_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/product/table_dee_left/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/product/table_dee_left/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/product/table_dee_right/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/product/table_dee_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/projection/empty_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/projection/empty_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/projection/extension_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/projection/extension_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/projection/projection_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/projection/projection_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/projection/union_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/projection/union_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/projection/unoptimized_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/projection/unoptimized_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/aliases_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/empty_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/empty_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/limit_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/limit_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/offset_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/offset_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/order_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/order_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/projection_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/projection_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/rename_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/rename_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/rename_operand_and_empty_aliases/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/restriction_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/restriction_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/reverse_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/reverse_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/set_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/set_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/unoptimized_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/rename/unoptimized_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/combination_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/combination_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/contradiction/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/contradiction/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/join_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/join_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/order_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/order_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/product_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/product_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/restriction_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/restriction_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/set_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/set_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/tautology/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/tautology/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/unoptimized_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/restriction/unoptimized_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/summarization/empty_operand/class_methods/extension_default_spec.rb
+- spec/unit/axiom/optimizer/algebra/summarization/empty_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/summarization/empty_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/summarization/empty_summarize_per/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/summarization/empty_summarize_per/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/summarization/order_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/summarization/order_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/summarization/summarize_per_spec.rb
+- spec/unit/axiom/optimizer/algebra/summarization/summarizers_spec.rb
+- spec/unit/axiom/optimizer/algebra/summarization/unoptimized_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/algebra/summarization/unoptimized_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/union/empty_left/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/union/empty_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/algebra/union/equal_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/class_methods/chain_spec.rb
+- spec/unit/axiom/optimizer/function/binary/constant_operands/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/binary/constant_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/binary/left_spec.rb
+- spec/unit/axiom/optimizer/function/binary/right_spec.rb
+- spec/unit/axiom/optimizer/function/binary/unoptimized_operands/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/binary/unoptimized_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/class_methods/optimize_functions_spec.rb
+- spec/unit/axiom/optimizer/function/class_methods/optimize_operand_spec.rb
+- spec/unit/axiom/optimizer/function/connective/binary/constant_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/binary/equal_operands/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/binary/equal_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/binary/left_spec.rb
+- spec/unit/axiom/optimizer/function/connective/binary/redundant_left/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/binary/redundant_left/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/binary/redundant_right/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/binary/redundant_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/binary/right_spec.rb
+- spec/unit/axiom/optimizer/function/connective/conjunction/contradiction/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/conjunction/contradiction/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/conjunction/optimizable_to_exclusion/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/conjunction/optimizable_to_exclusion/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/conjunction/tautology_left/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/conjunction/tautology_left/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/conjunction/tautology_right/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/conjunction/tautology_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/disjunction/contradiction_left/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/disjunction/contradiction_left/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/disjunction/contradiction_right/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/disjunction/contradiction_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/disjunction/optimizable_to_inclusion/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/disjunction/optimizable_to_inclusion/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/disjunction/tautology/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/disjunction/tautology/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/negation/constant_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/negation/invertible_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/connective/negation/invertible_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/connective/negation/operand_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/comparable/never_comparable/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/comparable/never_equivalent/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/comparable/normalizable_operands/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/comparable/normalizable_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/constant_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/contradiction/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/enumerable/class_methods/sort_by_value_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/enumerable/empty_right/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/enumerable/one_right/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/enumerable/unoptimized_operands/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/enumerable/unoptimized_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/equality/tautology/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/exclusion/empty_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/exclusion/one_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/greater_than/contradiction/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/greater_than/tautology/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/greater_than_or_equal_to/contradiction/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/greater_than_or_equal_to/tautology/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/inclusion/empty_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/inclusion/one_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/inequality/contradiction/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/less_than/contradiction/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/less_than/tautology/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/less_than_or_equal_to/contradiction/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/less_than_or_equal_to/tautology/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/predicate/tautology/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/unary/constant_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/unary/constant_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/unary/operand_spec.rb
+- spec/unit/axiom/optimizer/function/unary/unoptimized_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/function/unary/unoptimized_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/function/util/class_methods/attribute_spec.rb
+- spec/unit/axiom/optimizer/function/util/class_methods/constant_spec.rb
+- spec/unit/axiom/optimizer/function/util/class_methods/max_spec.rb
+- spec/unit/axiom/optimizer/function/util/class_methods/min_spec.rb
+- spec/unit/axiom/optimizer/operation_spec.rb
+- spec/unit/axiom/optimizer/optimizable/class_methods/optimizer_spec.rb
+- spec/unit/axiom/optimizer/optimizable/optimize_spec.rb
+- spec/unit/axiom/optimizer/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/optimize_spec.rb
+- spec/unit/axiom/optimizer/predicate_partition/left_spec.rb
+- spec/unit/axiom/optimizer/predicate_partition/remainder_spec.rb
+- spec/unit/axiom/optimizer/predicate_partition/right_spec.rb
+- spec/unit/axiom/optimizer/relation/materialized/empty_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/materialized/empty_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/empty_left/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/empty_right/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/equal_operands/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/left_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/materialized_operands/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/materialized_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/order_left/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/order_left/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/order_right/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/order_right/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/right_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/unoptimized_operands/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/binary/unoptimized_operands/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/combination/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/limit/equal_limit_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/limit/equal_limit_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/limit/limit_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/limit/limit_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/limit/unoptimized_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/limit/unoptimized_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/limit/zero_limit/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/limit/zero_limit/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/offset/offset_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/offset/offset_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/offset/unoptimized_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/offset/unoptimized_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/offset/zero_offset/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/offset/zero_offset/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/order/one_limit_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/order/one_limit_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/order/order_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/order/order_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/order/unoptimized_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/order/unoptimized_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/reverse/order_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/reverse/order_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/reverse/reverse_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/reverse/reverse_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/reverse/unoptimized_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/reverse/unoptimized_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/unary/empty_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/unary/empty_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/unary/header_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/unary/materialized_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/unary/materialized_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/unary/operand_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/unary/order_operand/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/unary/order_operand/optimize_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/unary/unchanged_header/optimizable_predicate_spec.rb
+- spec/unit/axiom/optimizer/relation/operation/unary/unchanged_header/optimize_spec.rb
+has_rdoc: