Class: DpllSolver::Formulas::Verum

Inherits:
Object
  • Object
show all
Extended by:
AtomicFormula
Defined in:
lib/dpll_solver/formulas/verum.rb

Class Method Summary collapse

Methods included from AtomicFormula

==, atomic_formula?, not?, simplify

Class Method Details

.falsum? ⇒ Boolean

Returns:



12
13
14
 
# File 'lib/dpll_solver/formulas/verum.rb', line 12

def self.falsum?
  false
end

.to_s ⇒ Object 



5
6
7
 
# File 'lib/dpll_solver/formulas/verum.rb', line 5

def self.to_s
  '1'
end

.verum? ⇒ Boolean

Returns:



9
10
11
 
# File 'lib/dpll_solver/formulas/verum.rb', line 9

def self.verum?
  true
end