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