Open CASCADE Technology 7.8.0
Public Member Functions
Expr_SingleRelation Class Reference

#include <Expr_SingleRelation.hxx>

Inheritance diagram for Expr_SingleRelation:
Inheritance graph
[legend]

Public Member Functions

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_GeneralExpressionFirstMember () const
 Returns the first member of the relation.
 
Handle< Expr_GeneralExpressionSecondMember () 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_GeneralRelationSubRelation (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 Expr_GeneralRelation
virtual Standard_Boolean IsSatisfied () const =0
 Returns the current status of the relation.
 
virtual Handle< Expr_GeneralRelationSimplified () const =0
 Returns a GeneralRelation after replacement of NamedUnknowns by an associated expression, and after values computation.
 
virtual void Simplify ()=0
 Replaces NamedUnknowns by associated expressions, and computes values in <me>.
 
virtual Handle< Expr_GeneralRelationCopy () const =0
 Returns a copy of <me> having the same unknowns and functions.
 
virtual TCollection_AsciiString String () const =0
 returns a string representing <me> in a readable way.
 
- Public Member Functions inherited from Standard_Transient
 Standard_Transient ()
 Empty constructor.
 
 Standard_Transient (const Standard_Transient &)
 Copy constructor – does nothing.
 
Standard_Transientoperator= (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_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.
 
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 charget_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.
 

Member Function Documentation

◆ Contains()

Standard_Boolean Expr_SingleRelation::Contains ( const Handle< Expr_GeneralExpression > &  exp) const
overridevirtual

Tests if <me> contains <exp>.

Implements Expr_GeneralRelation.

◆ FirstMember()

Handle< Expr_GeneralExpression > Expr_SingleRelation::FirstMember ( ) const

Returns the first member of the relation.

◆ IsLinear()

Standard_Boolean Expr_SingleRelation::IsLinear ( ) const
overridevirtual

Tests if <me> is linear between its NamedUnknowns.

Implements Expr_GeneralRelation.

◆ NbOfSingleRelations()

Standard_Integer Expr_SingleRelation::NbOfSingleRelations ( ) const
overridevirtual

Returns the number of SingleRelations contained in <me> (Always 1).

Implements Expr_GeneralRelation.

◆ NbOfSubRelations()

Standard_Integer Expr_SingleRelation::NbOfSubRelations ( ) const
overridevirtual

Returns the number of relations contained in <me>.

Implements Expr_GeneralRelation.

◆ Replace()

void Expr_SingleRelation::Replace ( const Handle< Expr_NamedUnknown > &  var,
const Handle< Expr_GeneralExpression > &  with 
)
overridevirtual

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

Implements Expr_GeneralRelation.

◆ SecondMember()

Handle< Expr_GeneralExpression > Expr_SingleRelation::SecondMember ( ) const

Returns the second member of the relation.

◆ SetFirstMember()

void Expr_SingleRelation::SetFirstMember ( const Handle< Expr_GeneralExpression > &  exp)

Defines the first member of the relation.

◆ SetSecondMember()

void Expr_SingleRelation::SetSecondMember ( const Handle< Expr_GeneralExpression > &  exp)

Defines the second member of the relation.

◆ SubRelation()

Handle< Expr_GeneralRelation > Expr_SingleRelation::SubRelation ( const Standard_Integer  index) const
overridevirtual

Returns the relation denoted by <index> in <me>. An exception is raised if index is out of range.

Implements Expr_GeneralRelation.


The documentation for this class was generated from the following file: