Method: PropLogic::DefaultIncrementalSolver#add

Defined in:
lib/prop_logic/default_incremental_solver.rb

#add(*terms) ⇒ DefaultIncrementalSolver Also known as: <<

Adding new terms to this solver.

Parameters:

  • terms (Term) —

    to add.

Returns:



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

def add(*terms)
  @term = @term.and(*terms)
  self
end