b311480e |
1 | -- Created on: 1991-01-14 |
2 | -- Created by: Arnaud BOUZY |
3 | -- Copyright (c) 1991-1999 Matra Datavision |
4 | -- Copyright (c) 1999-2012 OPEN CASCADE SAS |
5 | -- |
6 | -- The content of this file is subject to the Open CASCADE Technology Public |
7 | -- License Version 6.5 (the "License"). You may not use the content of this file |
8 | -- except in compliance with the License. Please obtain a copy of the License |
9 | -- at http://www.opencascade.org and read it completely before using this file. |
10 | -- |
11 | -- The Initial Developer of the Original Code is Open CASCADE S.A.S., having its |
12 | -- main offices at: 1, place des Freres Montgolfier, 78280 Guyancourt, France. |
13 | -- |
14 | -- The Original Code and all software distributed under the License is |
15 | -- distributed on an "AS IS" basis, without warranty of any kind, and the |
16 | -- Initial Developer hereby disclaims all such warranties, including without |
17 | -- limitation, any warranties of merchantability, fitness for a particular |
18 | -- purpose or non-infringement. Please see the License for the specific terms |
19 | -- and conditions governing the rights and limitations under the License. |
20 | |
7fd59977 |
21 | |
22 | package Expr |
23 | |
24 | ---Purpose: This package describes the data structure of any |
25 | -- expression, relation or function used in mathematics. |
26 | -- It also describes the assignment of variables. Standard |
27 | -- mathematical functions are implemented such as |
28 | -- trigonometrics, hyperbolics, and log functions. |
29 | |
30 | |
31 | uses TColStd,TCollection,MMgt,Standard |
32 | |
33 | is |
34 | |
35 | deferred class GeneralExpression; |
36 | class NumericValue; |
37 | deferred class NamedExpression; |
38 | class NamedConstant; |
39 | class NamedUnknown; |
40 | deferred class UnaryExpression; |
41 | class Absolute; |
42 | class ArcCosine; |
43 | class ArcSine; |
44 | class ArcTangent; |
45 | class ArgCosh; |
46 | class ArgSinh; |
47 | class ArgTanh; |
48 | class Cosh; |
49 | class Cosine; |
50 | class Exponential; |
51 | class LogOf10; |
52 | class LogOfe; |
53 | class Sign; |
54 | class Sine; |
55 | class Sinh; |
56 | class Square; |
57 | class SquareRoot; |
58 | class Tangent; |
59 | class Tanh; |
60 | class UnaryFunction; |
61 | class UnaryMinus; |
62 | deferred class BinaryExpression; |
63 | class BinaryFunction; |
64 | class Difference; |
65 | class Division; |
66 | class Exponentiate; |
67 | deferred class PolyExpression; |
68 | class PolyFunction; |
69 | class Product; |
70 | class Sum; |
71 | class UnknownIterator; |
72 | deferred class GeneralRelation; |
73 | deferred class SingleRelation; |
74 | class Different; |
75 | class Equal; |
76 | class GreaterThan; |
77 | class GreaterThanOrEqual; |
78 | class LessThan; |
79 | class LessThanOrEqual; |
80 | class SystemRelation; |
81 | class RelationIterator; |
82 | class RUIterator; |
83 | deferred class GeneralFunction; |
84 | class NamedFunction; |
85 | class FunctionDerivative; |
86 | |
87 | exception ExprFailure inherits Failure; |
88 | exception NotAssigned inherits ExprFailure ; |
89 | exception InvalidAssignment inherits ExprFailure; |
90 | exception InvalidFunction inherits ExprFailure; |
91 | exception InvalidOperand inherits ExprFailure; |
92 | exception NotEvaluable inherits ExprFailure; |
93 | |
94 | class SequenceOfGeneralExpression instantiates |
95 | Sequence from TCollection(GeneralExpression); |
96 | |
97 | class Array1OfGeneralExpression instantiates |
98 | Array1 from TCollection(GeneralExpression); |
99 | |
100 | class Array1OfNamedUnknown instantiates |
101 | Array1 from TCollection(NamedUnknown); |
102 | |
103 | class MapOfNamedUnknown instantiates |
104 | IndexedMap from TCollection(NamedUnknown, |
105 | MapTransientHasher from TColStd); |
106 | |
107 | class Array1OfSingleRelation instantiates |
108 | Array1 from TCollection(SingleRelation); |
109 | |
110 | class SequenceOfGeneralRelation instantiates |
111 | Sequence from TCollection(GeneralRelation); |
112 | |
113 | CopyShare(exp : GeneralExpression) |
114 | ---Level : Internal |
115 | returns GeneralExpression; |
116 | |
117 | NbOfFreeVariables(exp : GeneralExpression from Expr) |
118 | ---Level : Internal |
119 | returns Integer; |
120 | |
121 | NbOfFreeVariables(exp : GeneralRelation from Expr) |
122 | ---Level : Internal |
123 | returns Integer; |
124 | |
125 | Sign(val : Real from Standard) |
126 | ---Level : Internal |
127 | returns Real from Standard; |
128 | |
129 | end Expr; |
130 | |