Open CASCADE Technology  7.6.0.dev
Public Member Functions
Expr_GeneralRelation Class Referenceabstract

Defines the general purposes of any relation between expressions. More...

#include <Expr_GeneralRelation.hxx>

Inheritance diagram for Expr_GeneralRelation:
Inheritance graph
[legend]

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_GeneralRelationSimplified () 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_GeneralRelationCopy () 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_GeneralRelationSubRelation (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 occurences 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_Transientoperator= (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_TransientThis () 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()

virtual Standard_Boolean Expr_GeneralRelation::Contains ( const Handle< Expr_GeneralExpression > &  exp) const
pure virtual

Tests if <exp> contains .

Implemented in Expr_SystemRelation, and Expr_SingleRelation.

◆ Copy()

virtual Handle< Expr_GeneralRelation > Expr_GeneralRelation::Copy ( ) const
pure virtual

Returns a copy of <me> having the same unknowns and functions.

Implemented in Expr_SystemRelation, Expr_Different, Expr_Equal, Expr_GreaterThan, Expr_GreaterThanOrEqual, Expr_LessThan, and Expr_LessThanOrEqual.

◆ IsLinear()

virtual Standard_Boolean Expr_GeneralRelation::IsLinear ( ) const
pure virtual

Tests if <me> is linear between its NamedUnknowns.

Implemented in Expr_SystemRelation, and Expr_SingleRelation.

◆ IsSatisfied()

virtual Standard_Boolean Expr_GeneralRelation::IsSatisfied ( ) const
pure virtual

Returns the current status of the relation.

Implemented in Expr_SystemRelation, Expr_Different, Expr_Equal, Expr_GreaterThan, Expr_GreaterThanOrEqual, Expr_LessThan, and Expr_LessThanOrEqual.

◆ NbOfSingleRelations()

virtual Standard_Integer Expr_GeneralRelation::NbOfSingleRelations ( ) const
pure virtual

Returns the number of SingleRelations contained in <me>.

Implemented in Expr_SystemRelation, and Expr_SingleRelation.

◆ NbOfSubRelations()

virtual Standard_Integer Expr_GeneralRelation::NbOfSubRelations ( ) const
pure virtual

Returns the number of relations contained in <me>.

Implemented in Expr_SystemRelation, and Expr_SingleRelation.

◆ Replace()

virtual void Expr_GeneralRelation::Replace ( const Handle< Expr_NamedUnknown > &  var,
const Handle< Expr_GeneralExpression > &  with 
)
pure virtual

Replaces all occurences of with <with> in <me>.

Implemented in Expr_SystemRelation, and Expr_SingleRelation.

◆ Simplified()

virtual Handle< Expr_GeneralRelation > Expr_GeneralRelation::Simplified ( ) const
pure virtual

Returns a GeneralRelation after replacement of NamedUnknowns by an associated expression, and after values computation.

Implemented in Expr_SystemRelation, Expr_Different, Expr_Equal, Expr_GreaterThan, Expr_GreaterThanOrEqual, Expr_LessThan, and Expr_LessThanOrEqual.

◆ Simplify()

virtual void Expr_GeneralRelation::Simplify ( )
pure virtual

Replaces NamedUnknowns by associated expressions, and computes values in <me>.

Implemented in Expr_SystemRelation, Expr_Different, Expr_Equal, Expr_GreaterThan, Expr_GreaterThanOrEqual, Expr_LessThan, and Expr_LessThanOrEqual.

◆ String()

virtual TCollection_AsciiString Expr_GeneralRelation::String ( ) const
pure virtual

returns a string representing <me> in a readable way.

Implemented in Expr_SystemRelation, Expr_Different, Expr_Equal, Expr_GreaterThan, Expr_GreaterThanOrEqual, Expr_LessThan, and Expr_LessThanOrEqual.

◆ SubRelation()

virtual Handle< Expr_GeneralRelation > Expr_GeneralRelation::SubRelation ( const Standard_Integer  index) const
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: