Sha256: 558be34e28de88e27990e89305b2c57297fa0052e48f712408495911bdc1c24e
Contents?: true
Size: 1.31 KB
Versions: 26
Compression:
Stored size: 1.31 KB
Contents
require 'spec_helper'
class Predicate
describe Predicate, "!" do
subject{ !pred }
context "on tautology" do
let(:pred){ Predicate.tautology }
it{ should eq(Predicate.contradiction) }
end
context "on contradiction" do
let(:pred){ Predicate.contradiction }
it{ should eq(Predicate.tautology) }
end
context "on not" do
let(:pred){ Predicate.not(:x) }
it{ should eq(Predicate.identifier(:x)) }
end
context "on comp" do
let(:pred){ Predicate.comp(:eq, :x => 2) }
it{ should eq(Predicate.comp(:neq, :x => 2)) }
end
context "on eq" do
let(:pred){ Predicate.eq(:x => 2) }
it{ should eq(Predicate.neq(:x => 2)) }
end
context "on neq" do
let(:pred){ Predicate.neq(:x => 2) }
it{ should eq(Predicate.eq(:x => 2)) }
end
context "on lt" do
let(:pred){ Predicate.lt(:x => 2) }
it{ should eq(Predicate.gte(:x => 2)) }
end
context "on lte" do
let(:pred){ Predicate.lte(:x => 2) }
it{ should eq(Predicate.gt(:x => 2)) }
end
context "on gt" do
let(:pred){ Predicate.gt(:x => 2) }
it{ should eq(Predicate.lte(:x => 2)) }
end
context "on gte" do
let(:pred){ Predicate.gte(:x => 2) }
it{ should eq(Predicate.lt(:x => 2)) }
end
end
end
Version data entries
26 entries across 26 versions & 1 rubygems