src/Expr/Expr_Equal.hxx

   1 // Created on: 1991-01-14
   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_Equal_HeaderFile
  18 #define _Expr_Equal_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_Equal;
  32 DEFINE_STANDARD_HANDLE(Expr_Equal, Expr_SingleRelation)
  33
  34
  35 class Expr_Equal : public Expr_SingleRelation
  36 {
  37
  38 public:
  39
  40
  41   //! Creates the relation <exp1> = <exp2>.
  42   Standard_EXPORT Expr_Equal(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 an 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_Equal,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_Equal_HeaderFile