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_GreaterThan_HeaderFile
0018 #define _Expr_GreaterThan_HeaderFile
0019
0020 #include <Standard.hxx>
0021 #include <Standard_Type.hxx>
0022
0023 #include <Expr_SingleRelation.hxx>
0024 class Expr_GeneralExpression;
0025 class Expr_GeneralRelation;
0026 class TCollection_AsciiString;
0027
0028
0029 class Expr_GreaterThan;
0030 DEFINE_STANDARD_HANDLE(Expr_GreaterThan, Expr_SingleRelation)
0031
0032
0033 class Expr_GreaterThan : public Expr_SingleRelation
0034 {
0035
0036 public:
0037
0038
0039
0040 Standard_EXPORT Expr_GreaterThan(const Handle(Expr_GeneralExpression)& exp1, const Handle(Expr_GeneralExpression)& exp2);
0041
0042 Standard_EXPORT Standard_Boolean IsSatisfied() const Standard_OVERRIDE;
0043
0044
0045
0046
0047 Standard_EXPORT Handle(Expr_GeneralRelation) Simplified() const Standard_OVERRIDE;
0048
0049
0050
0051 Standard_EXPORT void Simplify() Standard_OVERRIDE;
0052
0053
0054 Standard_EXPORT Handle(Expr_GeneralRelation) Copy() const Standard_OVERRIDE;
0055
0056
0057 Standard_EXPORT TCollection_AsciiString String() const Standard_OVERRIDE;
0058
0059
0060
0061
0062 DEFINE_STANDARD_RTTIEXT(Expr_GreaterThan,Expr_SingleRelation)
0063
0064 protected:
0065
0066
0067
0068
0069 private:
0070
0071
0072
0073
0074 };
0075
0076
0077
0078
0079
0080
0081
0082 #endif