Class: MiniKraken::Core::Term

Inherits:

BaseTerm

• Object
• BaseTerm
• MiniKraken::Core::Term

Defined in:

lib/mini_kraken/core/term.rb

Overview

The generalization of any object that can be:

- passed as argument to a goal.
- passed as argument to a MiniKraken procedure
- contained in a compositer term,
- associated with a logical variable.

Direct Known Subclasses

Atomic::AtomicTerm, MiniKraken::Composite::CompositeTerm, LogVarRef, ParametrizedTerm

Instance Method Summary

• #dup_cond(_substitutions) ⇒ Term

  Abstract method.

Instance Method Details

#dup_cond(_substitutions) ⇒ Term

Abstract method. Make a copy of self with all the variable reference being replaced by the corresponding value in the Hash.

Parameters:

• _substitutions (Hash {String => Term})

Returns:

• (Term)

Raises:

• (NotImplementedError)

# File 'lib/mini_kraken/core/term.rb', line 18

def dup_cond(_substitutions)
  raise NotImplementedError, "Not implementation for #{self.class}."
end