| 
    Open CASCADE Technology 7.8.2.dev
    
   | 
 
#include <Expr_Equal.hxx>

Public Member Functions | |
| Expr_Equal (const Handle< Expr_GeneralExpression > &exp1, const Handle< Expr_GeneralExpression > &exp2) | |
| Creates the relation <exp1> = <exp2>.   | |
| Standard_Boolean | IsSatisfied () const override | 
| Returns the current status of the relation.   | |
| Handle< Expr_GeneralRelation > | Simplified () const override | 
| returns a GeneralRelation after replacement of NamedUnknowns by an associated expression and after values computation.   | |
| void | Simplify () override | 
| Replaces NamedUnknowns by an associated expressions and computes values in <me>.   | |
| Handle< Expr_GeneralRelation > | Copy () const override | 
| Returns a copy of <me> having the same unknowns and functions.   | |
| TCollection_AsciiString | String () const override | 
| returns a string representing <me> in a readable way.   | |
  Public Member Functions inherited from Expr_SingleRelation | |
| void | SetFirstMember (const Handle< Expr_GeneralExpression > &exp) | 
| Defines the first member of the relation.   | |
| void | SetSecondMember (const Handle< Expr_GeneralExpression > &exp) | 
| Defines the second member of the relation.   | |
| Handle< Expr_GeneralExpression > | FirstMember () const | 
| Returns the first member of the relation.   | |
| Handle< Expr_GeneralExpression > | SecondMember () const | 
| Returns the second member of the relation.   | |
| Standard_Boolean | IsLinear () const override | 
| Tests if <me> is linear between its NamedUnknowns.   | |
| Standard_Integer | NbOfSubRelations () const override | 
| Returns the number of relations contained in <me>.   | |
| Standard_Integer | NbOfSingleRelations () const override | 
| Returns the number of SingleRelations contained in <me> (Always 1).   | |
| Handle< Expr_GeneralRelation > | SubRelation (const Standard_Integer index) const override | 
| Returns the relation denoted by <index> in <me>. An exception is raised if index is out of range.   | |
| Standard_Boolean | Contains (const Handle< Expr_GeneralExpression > &exp) const override | 
| Tests if <me> contains <exp>.   | |
| void | Replace (const Handle< Expr_NamedUnknown > &var, const Handle< Expr_GeneralExpression > &with) override | 
| Replaces all occurrences of  with <with> in <me>.   | |
  Public Member Functions inherited from Standard_Transient | |
| Standard_Transient () | |
| Empty constructor.   | |
| Standard_Transient (const Standard_Transient &) | |
| Copy constructor – does nothing.   | |
| Standard_Transient & | operator= (const Standard_Transient &) | 
| Assignment operator, needed to avoid copying reference counter.   | |
| virtual | ~Standard_Transient () | 
| Destructor must be virtual.   | |
| virtual const opencascade::handle< Standard_Type > & | DynamicType () const | 
| Returns a type descriptor about this object.   | |
| Standard_Boolean | IsInstance (const opencascade::handle< Standard_Type > &theType) const | 
| Returns a true value if this is an instance of Type.   | |
| Standard_Boolean | IsInstance (const Standard_CString theTypeName) const | 
| Returns a true value if this is an instance of TypeName.   | |
| Standard_Boolean | IsKind (const opencascade::handle< Standard_Type > &theType) const | 
| Returns true if this is an instance of Type or an instance of any class that inherits from Type. Note that multiple inheritance is not supported by OCCT RTTI mechanism.   | |
| Standard_Boolean | IsKind (const Standard_CString theTypeName) const | 
| Returns true if this is an instance of TypeName or an instance of any class that inherits from TypeName. Note that multiple inheritance is not supported by OCCT RTTI mechanism.   | |
| Standard_Transient * | This () const | 
| Returns non-const pointer to this object (like const_cast). For protection against creating handle to objects allocated in stack or call from constructor, it will raise exception Standard_ProgramError if reference counter is zero.   | |
| Standard_Integer | GetRefCount () const noexcept | 
| Get the reference counter of this object.   | |
| void | IncrementRefCounter () noexcept | 
| Increments the reference counter of this object.   | |
| Standard_Integer | DecrementRefCounter () noexcept | 
| Decrements the reference counter of this object; returns the decremented value.   | |
| virtual void | Delete () const | 
| Memory deallocator for transient classes.   | |
Additional Inherited Members | |
  Public Types inherited from Standard_Transient | |
| typedef void | base_type | 
| Returns a type descriptor about this object.   | |
  Static Public Member Functions inherited from Standard_Transient | |
| static constexpr const char * | get_type_name () | 
| Returns a type descriptor about this object.   | |
| static const opencascade::handle< Standard_Type > & | get_type_descriptor () | 
| Returns type descriptor of Standard_Transient class.   | |
| Expr_Equal::Expr_Equal | ( | const Handle< Expr_GeneralExpression > & | exp1, | 
| const Handle< Expr_GeneralExpression > & | exp2 | ||
| ) | 
Creates the relation <exp1> = <exp2>.
      
  | 
  overridevirtual | 
Returns a copy of <me> having the same unknowns and functions.
Implements Expr_GeneralRelation.
      
  | 
  overridevirtual | 
Returns the current status of the relation.
Implements Expr_GeneralRelation.
      
  | 
  overridevirtual | 
returns a GeneralRelation after replacement of NamedUnknowns by an associated expression and after values computation.
Implements Expr_GeneralRelation.
      
  | 
  overridevirtual | 
Replaces NamedUnknowns by an associated expressions and computes values in <me>.
Implements Expr_GeneralRelation.
      
  | 
  overridevirtual | 
returns a string representing <me> in a readable way.
Implements Expr_GeneralRelation.