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