Navigation  without Java Scripts

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

Copyright (c) 1998 Prolog-Soft Ltd.

Project: Universal Solver Engine

FileName: SOLVER.DOM

Purpose: The Solver Engine Global Definitions

Written by: Victor Yukhtenko

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

CONSTANTS

slvC_SourceIsVoid = 0

slvC_SourceIsSet = 2

slvC_CurrentlyIsEmpty = 0

slvC_CurrentlyIsNeeded = 1

slvC_CurrentlyResolved = 2

% error situations coding

slvErrC_VarNotFound = 1

slvErrC_InvalidRuleSet = 2

slvErrC_InvalidRule= 3

slvErrC_ClearingWhileRunning = 4

slvErrC_InvalidSourceSetData = 5

slvErrC_InvalidFinalSetData = 6

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

The Solver Engine Global Domains

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

GLOBAL DOMAINS

% Solver Domains

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

SlvD_VarList = slvD_Var*

% predicate domains to define Solver's callbacks

SlvPD_Update = determ ()

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

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

% the Solver's properties

SlvD_Property =

slvT_UpdateSolution(BOOLEAN b_TrueIfImmidiately);

slvT_UpdateCB(SlvPD_Update); % set update callback

slvT_MessageCB(SlvPD_Message); % set message callback

slvT_ErrAndWarnCB(SlvPD_ErrAndWarn); % set syntax analysis results callback

slvT_Default() % set default callbacks, handled internally by the Solver

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

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() % try to find all void variables

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)