src/Expr/Expr.cxx

   1 // Created on: 1991-09-20
   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 #include <Expr.hxx>
  18 #include <Expr_NamedUnknown.hxx>
  19 #include <Expr_GeneralExpression.hxx>
  20 #include <Expr_GeneralRelation.hxx>
  21 #include <Expr_UnknownIterator.hxx>
  22 #include <Expr_RUIterator.hxx>
  23
  24 Handle(Expr_GeneralExpression) Expr::CopyShare(const Handle(Expr_GeneralExpression)& exp)
  25 {
  26   if (exp->IsShareable()) {
  27     return exp;
  28   }
  29   return exp->Copy();
  30 }
  31
  32 Standard_Integer Expr::NbOfFreeVariables(const Handle(Expr_GeneralRelation)& rel)
  33 {
  34   Standard_Integer nbvar = 0;
  35   Expr_RUIterator rit(rel);
  36   while (rit.More()) {
  37     if (!rit.Value()->IsAssigned()) {
  38       nbvar++;
  39     }
  40     rit.Next();
  41   }
  42   return nbvar;
  43 }
  44
  45 Standard_Integer Expr::NbOfFreeVariables(const Handle(Expr_GeneralExpression)& exp)
  46 {
  47   Standard_Integer nbvar = 0;
  48   Expr_UnknownIterator uit(exp);
  49   while (uit.More()) {
  50     if (!uit.Value()->IsAssigned()) {
  51       nbvar++;
  52     }
  53     uit.Next();
  54   }
  55   return nbvar;
  56 }
  57
  58 Standard_Real Expr::Sign(const Standard_Real val)
  59 {
  60   return ::Sign(1.0,val);
  61 }