class

AtomSpace::ImplicationLink

Inherits AtomSpace::Link < AtomSpace::Atom < Reference < Object

Constructors

new(antecedent : Atom, consequent : Atom, truth_value : TruthValue = TruthValue::DEFAULT_TV)

Instance methods

antecedent
consequent