Sha256: e7c1b3afe72e0721044b12f49289a9db8ffc847db5dd2a0c737536e0fd48a3b7
Contents?: true
Size: 854 Bytes
Versions: 2
Compression:
Stored size: 854 Bytes
Contents
# encoding: utf-8 require 'spec_helper' describe Optimizer::Function::Connective::Disjunction::ContradictionLeft, '#optimizable?' do subject { object.optimizable? } let(:attribute) { Attribute::Integer.new(:id) } let(:connective) { Function::Connective::Disjunction.new(left, right) } let(:object) { described_class.new(connective) } before do expect(object.operation).to be_kind_of(Function::Connective::Disjunction) end context 'when right is a tautology' do let(:left) { Function::Proposition::Contradiction.instance } let(:right) { attribute.eq(1) } it { should be(true) } end context 'when right is not a tautology' do let(:left) { attribute.eq(1) } let(:right) { attribute.eq(1) } it { should be(false) } end end
Version data entries
2 entries across 2 versions & 1 rubygems