-- SolverCommon.mesa
-- August 30, 1983 3:38 pm
-- Last Edited by: Gnelson, December 11, 1983 10:53 pm

DIRECTORY LinearSolver;

SolverCommon: DEFINITIONS = 

{Solvee: TYPE = REF SolveeRec;

 SolveeRec: TYPE = RECORD [name: REF, tableau: LinearSolver.Unknown _ NIL];
 
 NewSolvee: PROC [name: REF] RETURNS [Solvee];
 
 ResultCode: TYPE = ATOM;
  -- = {$solved, $refuted, $stumped, $close}
  
  }.