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