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

Public Member Functions | |
| Expr_LessThanOrEqual (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 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_LessThanOrEqual::Expr_LessThanOrEqual | ( | 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 associated expressions, and computes values in <me>.
Implements Expr_GeneralRelation.
|
overridevirtual |
returns a string representing <me> in a readable way.
Implements Expr_GeneralRelation.