File indexing completed on 2025-01-18 10:03:26
0001
0002
0003
0004
0005
0006
0007
0008
0009
0010
0011
0012
0013
0014
0015
0016
0017 #ifndef _Expr_Difference_HeaderFile
0018 #define _Expr_Difference_HeaderFile
0019
0020 #include <Standard.hxx>
0021
0022 #include <Expr_BinaryExpression.hxx>
0023 #include <Standard_Integer.hxx>
0024 #include <Expr_Array1OfNamedUnknown.hxx>
0025 #include <TColStd_Array1OfReal.hxx>
0026 class Expr_GeneralExpression;
0027 class Expr_NamedUnknown;
0028 class TCollection_AsciiString;
0029
0030
0031 class Expr_Difference;
0032 DEFINE_STANDARD_HANDLE(Expr_Difference, Expr_BinaryExpression)
0033
0034
0035 class Expr_Difference : public Expr_BinaryExpression
0036 {
0037
0038 public:
0039
0040
0041
0042 Standard_EXPORT Expr_Difference(const Handle(Expr_GeneralExpression)& exp1, const Handle(Expr_GeneralExpression)& exp2);
0043
0044
0045
0046 Standard_EXPORT Handle(Expr_GeneralExpression) ShallowSimplified() const Standard_OVERRIDE;
0047
0048
0049 Standard_EXPORT Handle(Expr_GeneralExpression) Copy() const Standard_OVERRIDE;
0050
0051
0052
0053
0054 Standard_EXPORT Standard_Boolean IsIdentical (const Handle(Expr_GeneralExpression)& Other) const Standard_OVERRIDE;
0055
0056 Standard_EXPORT Standard_Boolean IsLinear() const Standard_OVERRIDE;
0057
0058
0059 Standard_EXPORT Handle(Expr_GeneralExpression) Derivative (const Handle(Expr_NamedUnknown)& X) const Standard_OVERRIDE;
0060
0061
0062
0063 Standard_EXPORT virtual Handle(Expr_GeneralExpression) NDerivative (const Handle(Expr_NamedUnknown)& X, const Standard_Integer N) const Standard_OVERRIDE;
0064
0065
0066
0067
0068
0069 Standard_EXPORT Standard_Real Evaluate (const Expr_Array1OfNamedUnknown& vars, const TColStd_Array1OfReal& vals) const Standard_OVERRIDE;
0070
0071
0072 Standard_EXPORT TCollection_AsciiString String() const Standard_OVERRIDE;
0073
0074
0075
0076
0077 DEFINE_STANDARD_RTTIEXT(Expr_Difference,Expr_BinaryExpression)
0078
0079 protected:
0080
0081
0082
0083
0084 private:
0085
0086
0087
0088
0089 };
0090
0091
0092
0093
0094
0095
0096
0097 #endif