class PropLogic::Constant
Public Instance Methods
to_cnf()
click to toggle source
# File lib/prop_logic/constants.rb, line 9 def to_cnf self end
variables()
click to toggle source
# File lib/prop_logic/constants.rb, line 5 def variables [] end