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?
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