Sha256: 054855357d866650c5de6a4aefefe97073414de307dafc2819cac3a6bfe97177
Contents?: true
Size: 467 Bytes
Versions: 4
Compression:
Stored size: 467 Bytes
Contents
require 'spec_helper'
shared_examples_for "a predicate AST node" do
it{ should be_a(Sexpr) }
it{ should be_a(Alf::Predicate::Expr) }
specify{
(subject.tautology? == subject.is_a?(Alf::Predicate::Tautology)).should be_true
}
specify{
(subject.contradiction? == subject.is_a?(Alf::Predicate::Contradiction)).should be_true
}
specify{
subject.free_variables.should be_a(Alf::AttrList) unless subject.is_a?(Alf::Predicate::Native)
}
end
Version data entries
4 entries across 4 versions & 1 rubygems