blob: 093001086b20583282b9fc39a0e84cbdb959e40c (
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
98
99
100
|
// This file is generated by WOK (CPPExt).
// Please do not edit this file; modify original file instead.
// The copyright and license terms as defined for the original file apply to
// this header file considered to be the "object code" form of the original source.
#ifndef _Expr_GeneralRelation_HeaderFile
#define _Expr_GeneralRelation_HeaderFile
#ifndef _Standard_HeaderFile
#include <Standard.hxx>
#endif
#ifndef _Standard_DefineHandle_HeaderFile
#include <Standard_DefineHandle.hxx>
#endif
#ifndef _Handle_Expr_GeneralRelation_HeaderFile
#include <Handle_Expr_GeneralRelation.hxx>
#endif
#ifndef _MMgt_TShared_HeaderFile
#include <MMgt_TShared.hxx>
#endif
#ifndef _Standard_Boolean_HeaderFile
#include <Standard_Boolean.hxx>
#endif
#ifndef _Standard_Integer_HeaderFile
#include <Standard_Integer.hxx>
#endif
#ifndef _Handle_Expr_GeneralExpression_HeaderFile
#include <Handle_Expr_GeneralExpression.hxx>
#endif
#ifndef _Handle_Expr_NamedUnknown_HeaderFile
#include <Handle_Expr_NamedUnknown.hxx>
#endif
class Standard_OutOfRange;
class Standard_NumericError;
class Expr_GeneralExpression;
class Expr_NamedUnknown;
class TCollection_AsciiString;
//! Defines the general purposes of any relation between <br>
//! expressions. <br>
class Expr_GeneralRelation : public MMgt_TShared {
public:
//! Returns the current status of the relation <br>
Standard_EXPORT virtual Standard_Boolean IsSatisfied() const = 0;
//! Tests if <me> is linear between its NamedUnknowns. <br>
Standard_EXPORT virtual Standard_Boolean IsLinear() const = 0;
//! Returns a GeneralRelation after replacement of <br>
//! NamedUnknowns by an associated expression, and after <br>
//! values computation. <br>
Standard_EXPORT virtual Handle_Expr_GeneralRelation Simplified() const = 0;
//! Replaces NamedUnknowns by associated expressions, <br>
//! and computes values in <me>. <br>
Standard_EXPORT virtual void Simplify() = 0;
//! Returns a copy of <me> having the same unknowns and <br>
//! functions. <br>
Standard_EXPORT virtual Handle_Expr_GeneralRelation Copy() const = 0;
//! Returns the number of relations contained in <me>. <br>
Standard_EXPORT virtual Standard_Integer NbOfSubRelations() const = 0;
//! Returns the number of SingleRelations contained in <br>
//! <me>. <br>
Standard_EXPORT virtual Standard_Integer NbOfSingleRelations() const = 0;
//! Returns the relation denoted by <index> in <me>. <br>
//! An exception is raised if <index> is out of range. <br>
Standard_EXPORT virtual Handle_Expr_GeneralRelation SubRelation(const Standard_Integer index) const = 0;
//! Tests if <exp> contains <var>. <br>
Standard_EXPORT virtual Standard_Boolean Contains(const Handle(Expr_GeneralExpression)& exp) const = 0;
//! Replaces all occurences of <var> with <with> in <me>. <br>
Standard_EXPORT virtual void Replace(const Handle(Expr_NamedUnknown)& var,const Handle(Expr_GeneralExpression)& with) = 0;
//! returns a string representing <me> in a readable way. <br>
Standard_EXPORT virtual TCollection_AsciiString String() const = 0;
DEFINE_STANDARD_RTTI(Expr_GeneralRelation)
protected:
private:
};
// other Inline functions and methods (like "C++: function call" methods)
#endif
|