Defines the general purposes of any relation between expressions. More...
#include <Expr_GeneralRelation.hxx>
Public Member Functions | |
| virtual Standard_Boolean | IsSatisfied () const =0 |
| Returns the current status of the relation. More... | |
| virtual Standard_Boolean | IsLinear () const =0 |
| Tests if <me> is linear between its NamedUnknowns. More... | |
| virtual Handle< Expr_GeneralRelation > | Simplified () const =0 |
| Returns a GeneralRelation after replacement of NamedUnknowns by an associated expression, and after values computation. More... | |
| virtual void | Simplify ()=0 |
| Replaces NamedUnknowns by associated expressions, and computes values in <me>. More... | |
| virtual Handle< Expr_GeneralRelation > | Copy () const =0 |
| Returns a copy of <me> having the same unknowns and functions. More... | |
| virtual Standard_Integer | NbOfSubRelations () const =0 |
| Returns the number of relations contained in <me>. More... | |
| virtual Standard_Integer | NbOfSingleRelations () const =0 |
| Returns the number of SingleRelations contained in <me>. More... | |
| virtual Handle< Expr_GeneralRelation > | SubRelation (const Standard_Integer index) const =0 |
| Returns the relation denoted by <index> in <me>. An exception is raised if <index> is out of range. More... | |
| virtual Standard_Boolean | Contains (const Handle< Expr_GeneralExpression > &exp) const =0 |
| Tests if <exp> contains . More... | |
| virtual void | Replace (const Handle< Expr_NamedUnknown > &var, const Handle< Expr_GeneralExpression > &with)=0 |
| Replaces all occurrences of with <with> in <me>. More... | |
| virtual TCollection_AsciiString | String () const =0 |
| returns a string representing <me> in a readable way. More... | |
 Public Member Functions inherited from Standard_Transient | |
| Standard_Transient () | |
| Empty constructor. More... | |
| Standard_Transient (const Standard_Transient &) | |
| Copy constructor – does nothing. More... | |
| Standard_Transient & | operator= (const Standard_Transient &) |
| Assignment operator, needed to avoid copying reference counter. More... | |
| virtual | ~Standard_Transient () |
| Destructor must be virtual. More... | |
| virtual void | Delete () const |
| Memory deallocator for transient classes. More... | |
| virtual const opencascade::handle< Standard_Type > & | DynamicType () const |
| Returns a type descriptor about this object. More... | |
| Standard_Boolean | IsInstance (const opencascade::handle< Standard_Type > &theType) const |
| Returns a true value if this is an instance of Type. More... | |
| Standard_Boolean | IsInstance (const Standard_CString theTypeName) const |
| Returns a true value if this is an instance of TypeName. More... | |
| 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. More... | |
| 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. More... | |
| 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. More... | |
| Standard_Integer | GetRefCount () const |
| Get the reference counter of this object. More... | |
| void | IncrementRefCounter () const |
| Increments the reference counter of this object. More... | |
| Standard_Integer | DecrementRefCounter () const |
| Decrements the reference counter of this object; returns the decremented value. More... | |
Additional Inherited Members | |
| Public Types inherited from Standard_Transient | |
| typedef void | base_type |
| Returns a type descriptor about this object. More... | |
| Static Public Member Functions inherited from Standard_Transient | |
| static const char * | get_type_name () |
| Returns a type descriptor about this object. More... | |
| static const opencascade::handle< Standard_Type > & | get_type_descriptor () |
| Returns type descriptor of Standard_Transient class. More... | |
Detailed Description
Defines the general purposes of any relation between expressions.
Member Function Documentation
◆ Contains()
|
pure virtual |
Tests if <exp> contains .
Implemented in Expr_SystemRelation, and Expr_SingleRelation.
◆ Copy()
|
pure virtual |
Returns a copy of <me> having the same unknowns and functions.
Implemented in Expr_SystemRelation, Expr_LessThanOrEqual, Expr_LessThan, Expr_GreaterThanOrEqual, Expr_GreaterThan, Expr_Equal, and Expr_Different.
◆ IsLinear()
|
pure virtual |
Tests if <me> is linear between its NamedUnknowns.
Implemented in Expr_SystemRelation, and Expr_SingleRelation.
◆ IsSatisfied()
|
pure virtual |
Returns the current status of the relation.
Implemented in Expr_SystemRelation, Expr_LessThanOrEqual, Expr_LessThan, Expr_GreaterThanOrEqual, Expr_GreaterThan, Expr_Equal, and Expr_Different.
◆ NbOfSingleRelations()
|
pure virtual |
Returns the number of SingleRelations contained in <me>.
Implemented in Expr_SystemRelation, and Expr_SingleRelation.
◆ NbOfSubRelations()
|
pure virtual |
Returns the number of relations contained in <me>.
Implemented in Expr_SystemRelation, and Expr_SingleRelation.
◆ Replace()
|
pure virtual |
Replaces all occurrences of with <with> in <me>.
Implemented in Expr_SystemRelation, and Expr_SingleRelation.
◆ Simplified()
|
pure virtual |
Returns a GeneralRelation after replacement of NamedUnknowns by an associated expression, and after values computation.
Implemented in Expr_SystemRelation, Expr_LessThanOrEqual, Expr_LessThan, Expr_GreaterThanOrEqual, Expr_GreaterThan, Expr_Equal, and Expr_Different.
◆ Simplify()
|
pure virtual |
Replaces NamedUnknowns by associated expressions, and computes values in <me>.
Implemented in Expr_SystemRelation, Expr_LessThanOrEqual, Expr_LessThan, Expr_GreaterThanOrEqual, Expr_GreaterThan, Expr_Equal, and Expr_Different.
◆ String()
|
pure virtual |
returns a string representing <me> in a readable way.
Implemented in Expr_SystemRelation, Expr_LessThanOrEqual, Expr_LessThan, Expr_GreaterThanOrEqual, Expr_GreaterThan, Expr_Equal, and Expr_Different.
◆ SubRelation()
|
pure virtual |
Returns the relation denoted by <index> in <me>. An exception is raised if <index> is out of range.
Implemented in Expr_SystemRelation, and Expr_SingleRelation.
The documentation for this class was generated from the following file:
