abstract class School::Property(C)
- School::Property(C)
- School::Fact
- Reference
- Object
Overview
A fact that asserts a property.
e.g.
Defined in:
school/fact.crConstructors
Instance Method Summary
-
#==(other : self)
Returns
true
if this reference is the same as other. - #c
-
#hash(hasher)
See
Object#hash(hasher)
Instance methods inherited from class School::Fact
==(other : self)
==,
hash(hasher)
hash,
to_s(io : IO)
to_s
Constructor methods inherited from class School::Fact
assert(fact : Fact) : Fact
assert,
retract(fact : Fact) : Fact
retract
Class methods inherited from class School::Fact
clear!
clear!,
facts
facts
Constructor Detail
Instance Method Detail
def ==(other : self)
#
Description copied from class Reference
Returns true
if this reference is the same as other. Invokes same?
.