class Flowckerc::SymTable
Public Class Methods
new()
click to toggle source
# File lib/flowckerc.rb, line 30 def initialize @table = {} end
Public Instance Methods
add(sym, value)
click to toggle source
# File lib/flowckerc.rb, line 34 def add sym, value @table[sym] = value end
getId(sym)
click to toggle source
# File lib/flowckerc.rb, line 38 def getId sym @table[sym].id end
isAtom(sym)
click to toggle source
# File lib/flowckerc.rb, line 46 def isAtom sym @table[sym].is_a? Atom end
isSolution()
click to toggle source
# File lib/flowckerc.rb, line 50 def isSolution @table[sym].is_a? FormulaSolution end
value(sym)
click to toggle source
# File lib/flowckerc.rb, line 42 def value sym @table[sym] end