class Satre::Variable

Attributes

variable[R]

Public Class Methods

new(variable) click to toggle source
# File lib/satre/formula/term/variable.rb, line 7
def initialize(variable)
  @variable = variable.dup.freeze
end

Public Instance Methods

to_s() click to toggle source
# File lib/satre/formula/term/variable.rb, line 20
def to_s
  variable.to_s
end
validate(_, _, valudation) click to toggle source
# File lib/satre/formula/term/variable.rb, line 16
def validate(_, _, valudation)
  valudation[variable.to_sym]
end
wellformed?(_) click to toggle source

A variable is well-formed

# File lib/satre/formula/term/variable.rb, line 12
def wellformed?(_)
  true
end