class Term

Constants

TIME_DEFAULT

Attributes

name[R]
time[R]

Public Class Methods

new(name) click to toggle source
# File lib/rover_prover/language/term.rb, line 6
def initialize(name)
  @name = name
  @time = TIME_DEFAULT
end