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