b311480e |
1 | -- Created on: 1991-01-14 |
2 | -- Created by: Arnaud BOUZY |
3 | -- Copyright (c) 1991-1999 Matra Datavision |
973c2be1 |
4 | -- Copyright (c) 1999-2014 OPEN CASCADE SAS |
b311480e |
5 | -- |
973c2be1 |
6 | -- This file is part of Open CASCADE Technology software library. |
b311480e |
7 | -- |
d5f74e42 |
8 | -- This library is free software; you can redistribute it and/or modify it under |
9 | -- the terms of the GNU Lesser General Public License version 2.1 as published |
973c2be1 |
10 | -- by the Free Software Foundation, with special exception defined in the file |
11 | -- OCCT_LGPL_EXCEPTION.txt. Consult the file LICENSE_LGPL_21.txt included in OCCT |
12 | -- distribution for complete text of the license and disclaimer of any warranty. |
b311480e |
13 | -- |
973c2be1 |
14 | -- Alternatively, this file may be used under the terms of Open CASCADE |
15 | -- commercial license or contractual agreement. |
7fd59977 |
16 | |
17 | package Expr |
18 | |
19 | ---Purpose: This package describes the data structure of any |
20 | -- expression, relation or function used in mathematics. |
21 | -- It also describes the assignment of variables. Standard |
22 | -- mathematical functions are implemented such as |
23 | -- trigonometrics, hyperbolics, and log functions. |
24 | |
25 | |
26 | uses TColStd,TCollection,MMgt,Standard |
27 | |
28 | is |
29 | |
30 | deferred class GeneralExpression; |
31 | class NumericValue; |
32 | deferred class NamedExpression; |
33 | class NamedConstant; |
34 | class NamedUnknown; |
35 | deferred class UnaryExpression; |
36 | class Absolute; |
37 | class ArcCosine; |
38 | class ArcSine; |
39 | class ArcTangent; |
40 | class ArgCosh; |
41 | class ArgSinh; |
42 | class ArgTanh; |
43 | class Cosh; |
44 | class Cosine; |
45 | class Exponential; |
46 | class LogOf10; |
47 | class LogOfe; |
48 | class Sign; |
49 | class Sine; |
50 | class Sinh; |
51 | class Square; |
52 | class SquareRoot; |
53 | class Tangent; |
54 | class Tanh; |
55 | class UnaryFunction; |
56 | class UnaryMinus; |
57 | deferred class BinaryExpression; |
58 | class BinaryFunction; |
59 | class Difference; |
60 | class Division; |
61 | class Exponentiate; |
62 | deferred class PolyExpression; |
63 | class PolyFunction; |
64 | class Product; |
65 | class Sum; |
66 | class UnknownIterator; |
67 | deferred class GeneralRelation; |
68 | deferred class SingleRelation; |
69 | class Different; |
70 | class Equal; |
71 | class GreaterThan; |
72 | class GreaterThanOrEqual; |
73 | class LessThan; |
74 | class LessThanOrEqual; |
75 | class SystemRelation; |
76 | class RelationIterator; |
77 | class RUIterator; |
78 | deferred class GeneralFunction; |
79 | class NamedFunction; |
80 | class FunctionDerivative; |
81 | |
82 | exception ExprFailure inherits Failure; |
83 | exception NotAssigned inherits ExprFailure ; |
84 | exception InvalidAssignment inherits ExprFailure; |
85 | exception InvalidFunction inherits ExprFailure; |
86 | exception InvalidOperand inherits ExprFailure; |
87 | exception NotEvaluable inherits ExprFailure; |
88 | |
df8d3970 |
89 | imported SequenceOfGeneralExpression; |
7fd59977 |
90 | |
df8d3970 |
91 | imported Array1OfGeneralExpression; |
7fd59977 |
92 | |
df8d3970 |
93 | imported Array1OfNamedUnknown; |
7fd59977 |
94 | |
df8d3970 |
95 | imported MapOfNamedUnknown; |
7fd59977 |
96 | |
df8d3970 |
97 | imported Array1OfSingleRelation; |
7fd59977 |
98 | |
df8d3970 |
99 | imported SequenceOfGeneralRelation; |
7fd59977 |
100 | |
101 | CopyShare(exp : GeneralExpression) |
102 | ---Level : Internal |
103 | returns GeneralExpression; |
104 | |
105 | NbOfFreeVariables(exp : GeneralExpression from Expr) |
106 | ---Level : Internal |
107 | returns Integer; |
108 | |
109 | NbOfFreeVariables(exp : GeneralRelation from Expr) |
110 | ---Level : Internal |
111 | returns Integer; |
112 | |
113 | Sign(val : Real from Standard) |
114 | ---Level : Internal |
115 | returns Real from Standard; |
116 | |
117 | end Expr; |
118 | |