class String
Public Instance Methods
to_formula()
click to toggle source
# File lib/satre/parser/formula_parser.rb, line 71 def to_formula Satre::FormulaParser.parse(self) end
to_term()
click to toggle source
# File lib/satre/parser/term_parser.rb, line 82 def to_term Satre::TermParser.parse(self) end