Class: PropLogic::Constant

Inherits:

Variable

• Object
• Term
• Variable
• PropLogic::Constant

Defined in:

lib/prop_logic/constants.rb

Direct Known Subclasses

FalseConstant, TrueConstant

Instance Attribute Summary

Attributes inherited from Term

#terms

Instance Method Summary

• #to_cnf ⇒ Object
• #variables ⇒ Object

Methods inherited from Variable

#assign, #cnf?, #initialize, #nnf?, #not, #reduced?, #to_s, #tseitin

Methods inherited from Term

#and, #assign, #assign_false, #assign_true, #cnf?, #each_sat, #equiv?, generate_cache, get, #initialize, #initialize_copy, #nnf?, #not, #or, #reduce, #reduced?, #sat?, #then, #to_nnf, #to_s_in_term, #unsat?

Methods included from Functions

all_and, all_or, new_variable, sat_loop

Constructor Details

This class inherits a constructor from PropLogic::Variable

Instance Method Details

#to_cnf ⇒ Object

# File 'lib/prop_logic/constants.rb', line 9

def to_cnf
  self
end

#variables ⇒ Object

# File 'lib/prop_logic/constants.rb', line 5

def variables
  []
end