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