Navigation  without Java Scripts

/*****************************************************************************

 

Copyright (c) 1998 Prolog-Soft Ltd.

 

Project: Universal Solver

FileName: SOLVER.DOM

Purpose: The Solver Engine Global domains

Written by: Victor Yukhtenko

Comments:

******************************************************************************/

CONSTANTS

slvC_SourceIsVoid = 0

slvC_SourceIsSet = 2

slvC_CurrentlyIsEmpty = 0

slvC_CurrentlyIsNeeded = 1

slvC_CurrentlyResolved = 2

 

slvErrC_VarNotFound = 1

slvErrC_InvalidRuleSet= 2

slvErrC_InvalidRule = 3

slvErrC_ClearingWhileRunning = 4

slvErrC_InvalidSourceSetData = 5

slvErrC_InvalidFinalSetData = 6

 

GLOBAL DOMAINS

% Solver Domains

SlvD_Var = slvT_Var(STRING varName,INTEGER varSrcStatus,INTEGER varCurStatus,REAL value)

SlvD_VarList = slvD_Var*

SlvD_RuleSrc = slvT_RuleSrc(INTEGER ruleId,STRING ruleCondition,STRING ruleEquation)

SlvD_RuleSrcList = SlvD_RuleSrc*

 

SlvPD_Update = determ ()

SlvPD_ErrAndWarn = determ (INTEGER pos,STRING commentText) - (i,i)

SlvPD_Message = determ (INTEGER messageId,STRING) - (i,i)

SlvD_Property =

slvT_UpdateSolution(BOOLEAN b_TrueIfImmidiately);

slvT_UpdateCB(SlvPD_Update);

slvT_MessageCB(SlvPD_Message);

slvT_ErrAndWarnCB(SlvPD_ErrAndWarn);

slvT_Default()

/*****************************************************************************

The Solver Engine Global Predicates

******************************************************************************/

 

GLOBAL PREDICATES

 

% --- Run Handling

procedure slvP_RunStatus(BOOLEAN b_trueIfIsRuning) - (o)

procedure slvP_StopRunning

slvP_ResolveNet(SLIST varNameList) - (i)

slvP_ResolveNet()

procedure slvP_SetProperty(SlvD_Property) - (i)

 

% --- Data Reset

procedure slvP_ClearData

% --- Variables Handling

procedure slvP_DelVariable(STRING varName) - (i)

procedure slvP_RenameVariable(STRING oldVarName,STRING newVarName) - (i,i)

procedure slvP_SetVarList(slvD_VarList) - (i)

procedure INTEGER /*varSourceStatus*/ slvP_GetVariable(STRING varName,INTEGER varCurrentStatus,REAL value) - (i,o,o)

procedure slvP_GetVarList(slvD_VarList) - (o)

% --- Rules Handling

procedure slvP_SetRules(STRING ruleSetScript) - (i)

procedure slvP_GetRules(STRING ruleSetScript) - (o)