abstract class School::Fact
- School::Fact
- Reference
- Object
Overview
A fact is a statement that asserts a truth.
Direct Known Subclasses
Defined in:
school/fact.crConstructors
-
.assert(fact : Fact) : Fact
Asserts a fact.
-
.retract(fact : Fact) : Fact
Retracts a fact.
Class Method Summary
Instance Method Summary
-
#==(other : self)
Returns
true
if this reference is the same as other. -
#hash(hasher)
See
Object#hash(hasher)
-
#to_s(io : IO)
Appends a short
String
representation of this object.
Constructor Detail
Class Method Detail
Instance Method Detail
def ==(other : self)
#
Description copied from class Reference
Returns true
if this reference is the same as other. Invokes same?
.