blob: a3612490aa3efddbe14f3f6ecc223e723c9ed6a9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
-- File: GeneralRelation.cdl
-- Created: Mon Jan 14 09:44:03 1991
-- Author: Arnaud BOUZY
-- <adn@topsn3>
---Copyright: Matra Datavision 1991
deferred class GeneralRelation from Expr
inherits TShared from MMgt
---Purpose: Defines the general purposes of any relation between
-- expressions.
uses GeneralExpression from Expr,
NamedUnknown from Expr,
AsciiString from TCollection
raises OutOfRange from Standard,
NumericError from Standard
is
IsSatisfied(me)
---Purpose: Returns the current status of the relation
---Level: Advanced
returns Boolean
is deferred;
IsLinear(me)
---Purpose: Tests if <me> is linear between its NamedUnknowns.
---Level: Advanced
returns Boolean
is deferred;
Simplified(me)
---Purpose: Returns a GeneralRelation after replacement of
-- NamedUnknowns by an associated expression, and after
-- values computation.
---Level: Advanced
returns mutable GeneralRelation
raises NumericError
is deferred;
Simplify(me : mutable)
---Purpose: Replaces NamedUnknowns by associated expressions,
-- and computes values in <me>.
---Level: Advanced
raises NumericError
is deferred;
Copy(me)
---Purpose: Returns a copy of <me> having the same unknowns and
-- functions.
---Level: Advanced
returns mutable like me
is deferred;
NbOfSubRelations(me)
---Purpose: Returns the number of relations contained in <me>.
---Level: Internal
returns Integer
is deferred;
NbOfSingleRelations(me)
---Purpose: Returns the number of SingleRelations contained in
-- <me>.
---Level: Internal
returns Integer
is deferred;
SubRelation(me; index : Integer)
---Purpose: Returns the relation denoted by <index> in <me>.
-- An exception is raised if <index> is out of range.
---Level: Internal
returns any GeneralRelation
raises OutOfRange
is deferred;
Contains(me; exp : GeneralExpression)
---Purpose: Tests if <exp> contains <var>.
---Level: Internal
returns Boolean
is deferred;
Replace(me : mutable ; var : NamedUnknown ; with : GeneralExpression)
---Purpose: Replaces all occurences of <var> with <with> in <me>.
---Level: Internal
is deferred;
String(me)
---Purpose: returns a string representing <me> in a readable way.
---Level: Public
returns AsciiString
is deferred;
end GeneralRelation;
|