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
-
.incremental_solver ⇒ Object
curreent incremental solver.
-
.sat_solver ⇒ Object
Current SAT solver.
Class Method Summary collapse
Methods included from Functions
all_and, all_or, new_variable, sat_loop
Class Attribute Details
.incremental_solver ⇒ Object
curreent incremental solver
20 21 22 |
# File 'lib/prop_logic/sat_solver.rb', line 20 def incremental_solver @incremental_solver end |
.sat_solver ⇒ Object
Returns 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 |