class DpllSolver::Formulas::Verum
Public Class Methods
falsum?()
click to toggle source
# File lib/dpll_solver/formulas/verum.rb, line 12 def self.falsum? false end
to_s()
click to toggle source
# File lib/dpll_solver/formulas/verum.rb, line 5 def self.to_s '1' end
verum?()
click to toggle source
# File lib/dpll_solver/formulas/verum.rb, line 9 def self.verum? true end