class Satre::True

Public Instance Methods

atoms() click to toggle source
# File lib/satre/formula/propositional_logic/true.rb, line 22
def atoms
  []
end
eval(*) click to toggle source
# File lib/satre/formula/propositional_logic/true.rb, line 18
def eval(*)
  true
end
Also aliased as: holds?
holds?(*)

true holds

Alias for: eval
to_s() click to toggle source
# File lib/satre/formula/propositional_logic/true.rb, line 6
def to_s
  '⊤'
end
wellformed?(_) click to toggle source

True is wellformed

# File lib/satre/formula/propositional_logic/true.rb, line 14
def wellformed?(_)
  true
end