Sha256: 1a7d1e3b0bf133a62c7e204a6be6e76f20a7507cae2911857c8902097c43d843
Contents?: true
Size: 655 Bytes
Versions: 2
Compression:
Stored size: 655 Bytes
Contents
# encoding: utf-8 require 'spec_helper' describe Optimizer::Function::Connective::Conjunction::Contradiction, '#optimize' do subject { object.optimize } let(:attribute) { Attribute::Integer.new(:id) } let(:left) { Function::Proposition::Contradiction.instance } let(:right) { Function::Proposition::Contradiction.instance } let(:connective) { Function::Connective::Conjunction.new(left, right) } let(:object) { described_class.new(connective) } before do expect(object).to be_optimizable end it { should be(Function::Proposition::Contradiction.instance) } end
Version data entries
2 entries across 2 versions & 1 rubygems