Method: PropLogic::DefaultIncrementalSolver#term

Defined in:
lib/prop_logic/default_incremental_solver.rb

#term ⇒ Object (readonly)

Current term



14
15
16
 
# File 'lib/prop_logic/default_incremental_solver.rb', line 14

def term
  @term
end