Class: Term

Inherits:

Object

• Object
• Term

Includes:

Expression

Defined in:

lib/rover_prover/language/term.rb

Direct Known Subclasses

Function, UnificationTerm, Variable

Constant Summary

TIME_DEFAULT =

0

Instance Attribute Summary

• #name ⇒ Object readonly

  Returns the value of attribute name.

• #time ⇒ Object readonly

  Returns the value of attribute time.

Instance Method Summary

• #initialize(name) ⇒ Term constructor

  A new instance of Term.

Methods included from Expression

#eql?, #free_unification_terms, #free_variables, #occurs, #replace, #set_instantiation_time, #to_s, #unify

Constructor Details

#initialize(name) ⇒ Term

Returns a new instance of Term.

# File 'lib/rover_prover/language/term.rb', line 6

def initialize(name)
  @name = name
  @time = TIME_DEFAULT
end

Instance Attribute Details

#name ⇒ Object (readonly)

Returns the value of attribute name.

# File 'lib/rover_prover/language/term.rb', line 3

def name
  @name
end

#time ⇒ Object (readonly)

Returns the value of attribute time.

# File 'lib/rover_prover/language/term.rb', line 3

def time
  @time
end