procedure SetIval(Hostinteger : integer; var Value: ObjectValue); extern; procedure SetBval(HostBoolean: Boolean; var Value: ObjectValue); extern; procedure SetWval(HostValue: ICLWord; var Value: ObjectValue); extern; procedure Evaluate(var SourceValue : ValueDetails); extern; procedure MakeValue(Magnitude: integer; var Value: ObjectValue); extern; procedure NegateValue(var Velue: Objectvalue); extern; function SameValue(Value1,Value2 : Objectvalue): Boolean; extern; function OrderedValues(Value1,Value2 : ObjectValue): Boolean; extern; function Disjoint(Value1, Value2, Value3, Value4: ObjectValue): Boolean; extern; function InRange(Value1, Value, Value2: ObjectValue): Boolean; extern; procedure CheckValue(Min, Max, Value: ObjectValue; Code: Scalar); extern; procedure CompareValues(Value1, Value2: ObjectValue; RelOp: OpType; var Result: ObjectValue); extern; procedure OrValues(Value1, Value2: ObjectValue; var Result: ObjectValue); extern; procedure AndValues (Value1, Value2: ObjectValue; var Result: ObjectValue); extern; procedure ConstArith(Operator: OpType; Left, Right: MCIntegerForm; var Result: MCIntegerForm); extern; procedure ConstWArith(Operator: OpType; Left, Right: ICLWord; var Result: ICLWord); extern; procedure ConstRArith(Operator: OpType; Left, Right: MCRealForm; var Result: MCRealForm); extern; procedure AddValues (Value1, Value2: ObjectValue; var Result: ObjectValue); extern; procedure SubValues(Value1, Value2: ObjectValue; var Result: ObjectValue); extern; procedure MultiplyValues (Value1, Value2: ObjectValue; var Result: ObjectValue); extern; procedure DivValues (Value1, Value2: ObjectValue; var Result: ObjectValue); extern; procedure ModValues (Value1, Value2: ObjectValue; var Result: ObjectValue); extern; procedure ConstIntFn(Which: StdProcFuncs; ArgValue: ObjectValue; var Result: ObjectValue); extern; procedure ConstRealFn(Which: StdProcFuncs; ArgValue: ObjectValue; var Result: ObjectValue); extern; procedure ConstWrdFn(Which: StdProcFuncs; Arg1, Arg2: ObjectValue; var Result: ObjectValue); extern; function HostInt(Value: ObjectValue): integer; extern; function HostVal(Value: ObjectValue): integer; extern; function Range(Min,Max : ObjectValue): integer; extern; procedure InitValues; extern;