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
|
// 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_Different_HeaderFile
#define _Expr_Different_HeaderFile
#include <Standard.hxx>
#include <Standard_DefineHandle.hxx>
#include <Handle_Expr_Different.hxx>
#include <Expr_SingleRelation.hxx>
#include <Handle_Expr_GeneralExpression.hxx>
#include <Standard_Boolean.hxx>
#include <Handle_Expr_GeneralRelation.hxx>
class Standard_NumericError;
class Expr_GeneralExpression;
class Expr_GeneralRelation;
class TCollection_AsciiString;
class Expr_Different : public Expr_SingleRelation
{
public:
//! Creates the relation <exp1> # <exp2>.
Standard_EXPORT Expr_Different(const Handle(Expr_GeneralExpression)& exp1, const Handle(Expr_GeneralExpression)& exp2);
Standard_EXPORT Standard_Boolean IsSatisfied() const;
//! Returns a GeneralRelation after replacement of
//! NamedUnknowns by an associated expression, and after
//! values computation.
Standard_EXPORT Handle(Expr_GeneralRelation) Simplified() const;
//! Replaces NamedUnknowns by associated expressions,
//! and computes values in <me>.
Standard_EXPORT void Simplify() ;
//! Returns a copy of <me> having the same unknowns and
//! functions.
Standard_EXPORT Handle(Expr_GeneralRelation) Copy() const;
//! returns a string representing <me> in a readable way.
Standard_EXPORT TCollection_AsciiString String() const;
DEFINE_STANDARD_RTTI(Expr_Different)
protected:
private:
};
#endif // _Expr_Different_HeaderFile
|
