-- RealSolver.mesa
-- August 30, 1983 3:07 pm

DIRECTORY Lisp, JunoSolver, SolverCommon;

RealSolver: DEFINITIONS = 
{OPEN SolverCommon;

Context: TYPE = REF ContextRec;

ContextRec: TYPE = RECORD [su, po, pr, b: Lisp.Value];

NewContext: PROC RETURNS [Context];

Merge: PROC[x: Solvee, y: Solvee, eqin: Lisp.Value, rcon: Context]
RETURNS [eqout: Lisp.Value, rc: ResultCode];

Fix: PROC[u: Lisp.Value, x: Solvee, eqin: Lisp.Value, rcon: Context]
RETURNS [eqout: Lisp.Value, rc: ResultCode]; -- u will be a ref real or ref int

IsSumOf: PROC[x, y, z: Solvee, eqin: Lisp.Value, rcon: Context]
RETURNS [eqout: Lisp.Value, rc: ResultCode];

IsPositive: PROC[x: Solvee, rcon: Context, eqin: Lisp.Value]
RETURNS [eqout: Lisp.Value, rc: ResultCode];

}.