1 // Created on: 1991-01-30 2 // Created by: Arnaud BOUZY 3 // Copyright (c) 1991-1999 Matra Datavision 4 // Copyright (c) 1999-2014 OPEN CASCADE SAS 5 // 6 // This file is part of Open CASCADE Technology software library. 7 // 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 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. 13 // 14 // Alternatively, this file may be used under the terms of Open CASCADE 15 // commercial license or contractual agreement. 16 17 #ifndef _Expr_GreaterThanOrEqual_HeaderFile 18 #define _Expr_GreaterThanOrEqual_HeaderFile 19 20 #include <Standard.hxx> 21 #include <Standard_Type.hxx> 22 23 #include <Expr_SingleRelation.hxx> 24 #include <Standard_Boolean.hxx> 25 class Standard_NumericError; 26 class Expr_GeneralExpression; 27 class Expr_GeneralRelation; 28 class TCollection_AsciiString; 29 30 31 class Expr_GreaterThanOrEqual; 32 DEFINE_STANDARD_HANDLE(Expr_GreaterThanOrEqual, Expr_SingleRelation) 33 34 35 class Expr_GreaterThanOrEqual : public Expr_SingleRelation 36 { 37 38 public: 39 40 41 //! Creates the relation <exp1> >= <exp2>. 42 Standard_EXPORT Expr_GreaterThanOrEqual(const Handle(Expr_GeneralExpression)& exp1, const Handle(Expr_GeneralExpression)& exp2); 43 44 Standard_EXPORT Standard_Boolean IsSatisfied() const Standard_OVERRIDE; 45 46 //! Returns a GeneralRelation after replacement of 47 //! NamedUnknowns by an associated expression, and after 48 //! values computation. 49 Standard_EXPORT Handle(Expr_GeneralRelation) Simplified() const Standard_OVERRIDE; 50 51 //! Replaces NamedUnknowns by associated expressions, 52 //! and computes values in <me>. 53 Standard_EXPORT void Simplify() Standard_OVERRIDE; 54 55 //! Returns a copy of <me> having the same unknowns and functions. 56 Standard_EXPORT Handle(Expr_GeneralRelation) Copy() const Standard_OVERRIDE; 57 58 //! returns a string representing <me> in a readable way. 59 Standard_EXPORT TCollection_AsciiString String() const Standard_OVERRIDE; 60 61 62 63 64 DEFINE_STANDARD_RTTIEXT(Expr_GreaterThanOrEqual,Expr_SingleRelation) 65 66 protected: 67 68 69 70 71 private: 72 73 74 75 76 }; 77 78 79 80 81 82 83 84 #endif // _Expr_GreaterThanOrEqual_HeaderFile 85