class DpllSolver::Formulas::Falsum

Public Class Methods

falsum?() click to toggle source
# File lib/dpll_solver/formulas/falsum.rb, line 9
def self.falsum?
  true
end
to_s() click to toggle source
# File lib/dpll_solver/formulas/falsum.rb, line 5
def self.to_s
  '0'
end
verum?() click to toggle source
# File lib/dpll_solver/formulas/falsum.rb, line 12
def self.verum?
  false
end