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