module PropLogic
Constants
- False
- True
- VERSION
Attributes
incremental_solver[RW]
curreent incremental solver
sat_solver[R]
@return [Object] current SAT solver
Public Class Methods
all_combination(arr) { |c| ... }
click to toggle source
# File lib/prop_logic/functions.rb, line 45 def all_combination(arr) 0.upto(arr.length) do |num| arr.combination(num) { |c| yield c } end end
sat_solver=(engine)
click to toggle source
@param [Object] new SAT solver.
It must have #call(term) method
# File lib/prop_logic/sat_solver.rb, line 14 def sat_solver=(engine) raise TypeError unless engine.respond_to?(:call) @sat_solver = engine end
Private Instance Methods
all_combination(arr) { |c| ... }
click to toggle source
# File lib/prop_logic/functions.rb, line 45 def all_combination(arr) 0.upto(arr.length) do |num| arr.combination(num) { |c| yield c } end end