Module: PropLogic

Extended by:
Functions
Includes:
Functions
Defined in:
lib/prop_logic/sat_solver.rb,
lib/prop_logic/term.rb,
lib/prop_logic/or_term.rb,
lib/prop_logic/version.rb,
lib/prop_logic/and_term.rb,
lib/prop_logic/not_term.rb,
lib/prop_logic/variable.rb,
lib/prop_logic/constants.rb,
lib/prop_logic/functions.rb,
lib/prop_logic/then_term.rb,
lib/prop_logic/brute_force_sat_solver.rb,
lib/prop_logic/default_incremental_solver.rb

Overview

:nodoc:

Defined Under Namespace

Modules: BruteForceSatSolver, Functions Classes: AndTerm, Constant, DefaultIncrementalSolver, FalseConstant, NotTerm, OrTerm, Term, ThenTerm, TrueConstant, Variable

Constant Summary collapse

VERSION =
'0.2.4'
True =
TrueConstant.instance.freeze
False =
FalseConstant.instance.freeze

Class Attribute Summary collapse

Class Method Summary collapse

Methods included from Functions

all_and, all_or, new_variable, sat_loop

Class Attribute Details

.incremental_solverObject

curreent incremental solver



20
21
22
# File 'lib/prop_logic/sat_solver.rb', line 20

def incremental_solver
  @incremental_solver
end

.sat_solverObject

Returns current SAT solver.

Returns:

  • (Object)

    current SAT solver



10
11
12
# File 'lib/prop_logic/sat_solver.rb', line 10

def sat_solver
  @sat_solver
end

Class Method Details

.all_combination(arr) ⇒ Object



45
46
47
48
49
# 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