#include <Expr_SystemRelation.hxx>

Inheritance diagram for Expr_SystemRelation:

[legend]

Public Member Functions
	Expr_SystemRelation (const occ::handle< Expr_GeneralRelation > &relation)
	Creates a system with one relation.

void	Add (const occ::handle< Expr_GeneralRelation > &relation)
	Appends <relation> in the list of components of <me>.

void	Remove (const occ::handle< Expr_GeneralRelation > &relation)

bool	IsLinear () const override
	Tests if <me> is linear between its NamedUnknowns.

int	NbOfSubRelations () const override
	Returns the number of relations contained in <me>.

int	NbOfSingleRelations () const override
	Returns the number of SingleRelations contained in <me>.

occ::handle< Expr_GeneralRelation >	SubRelation (const int index) const override
	Returns the relation denoted by <index> in <me>. An exception is raised if <index> is out of range.

bool	IsSatisfied () const override
	Returns the current status of the relation.

occ::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>.

occ::handle< Expr_GeneralRelation >	Copy () const override
	Returns a copy of <me> having the same unknowns and functions.

bool	Contains (const occ::handle< Expr_GeneralExpression > &exp) const override
	Tests if <me> contains <exp>.

void	Replace (const occ::handle< Expr_NamedUnknown > &var, const occ::handle< Expr_GeneralExpression > &with) override
	Replaces all occurrences of with <with> in <me>.

TCollection_AsciiString	String () const override
	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_Transient &	operator= (const Standard_Transient &)
	Assignment operator, needed to avoid copying reference counter.

virtual	~Standard_Transient ()=default
	Destructor must be virtual.

virtual const opencascade::handle< Standard_Type > &	DynamicType () const
	Returns a type descriptor about this object.

bool	IsInstance (const opencascade::handle< Standard_Type > &theType) const
	Returns a true value if this is an instance of Type.

bool	IsInstance (const char *const theTypeName) const
	Returns a true value if this is an instance of TypeName.

bool	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.

bool	IsKind (const char *const 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.

int	GetRefCount () const noexcept
	Get the reference counter of this object.

void	IncrementRefCounter () noexcept
	Increments the reference counter of this object. Uses relaxed memory ordering since incrementing only requires atomicity, not synchronization with other memory operations.

int	DecrementRefCounter () noexcept
	Decrements the reference counter of this object; returns the decremented value. Uses release ordering for the decrement to ensure all writes to the object are visible before the count reaches zero. An acquire fence is added only when the count reaches zero, ensuring proper synchronization before deletion. This is more efficient than using acq_rel for every decrement.

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.

Constructor & Destructor Documentation

◆ Expr_SystemRelation()

Expr_SystemRelation::Expr_SystemRelation ( const occ::handle< Expr_GeneralRelation > & relation )

Creates a system with one relation.

Member Function Documentation

◆ Add()

void Expr_SystemRelation::Add ( const occ::handle< Expr_GeneralRelation > & relation )

Appends <relation> in the list of components of <me>.

◆ Contains()

bool Expr_SystemRelation::Contains ( const occ::handle< Expr_GeneralExpression > & exp ) const

overridevirtual

Tests if <me> contains <exp>.

Implements Expr_GeneralRelation.

◆ Copy()

occ::handle< Expr_GeneralRelation > Expr_SystemRelation::Copy ( ) const

overridevirtual

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

Implements Expr_GeneralRelation.

◆ IsLinear()

bool Expr_SystemRelation::IsLinear ( ) const

overridevirtual

Tests if <me> is linear between its NamedUnknowns.

Implements Expr_GeneralRelation.

◆ IsSatisfied()

bool Expr_SystemRelation::IsSatisfied ( ) const

overridevirtual

Returns the current status of the relation.

Implements Expr_GeneralRelation.

◆ NbOfSingleRelations()

int Expr_SystemRelation::NbOfSingleRelations ( ) const

overridevirtual

Returns the number of SingleRelations contained in <me>.

Implements Expr_GeneralRelation.

◆ NbOfSubRelations()

int Expr_SystemRelation::NbOfSubRelations ( ) const

overridevirtual

Returns the number of relations contained in <me>.

Implements Expr_GeneralRelation.

◆ Remove()

void Expr_SystemRelation::Remove ( const occ::handle< Expr_GeneralRelation > & relation )

◆ Replace()

void Expr_SystemRelation::Replace	(	const occ::handle< Expr_NamedUnknown > &	var,
		const occ::handle< Expr_GeneralExpression > &	with )

overridevirtual

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

Implements Expr_GeneralRelation.

◆ Simplified()

occ::handle< Expr_GeneralRelation > Expr_SystemRelation::Simplified ( ) const

overridevirtual

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

Implements Expr_GeneralRelation.

◆ Simplify()

void Expr_SystemRelation::Simplify ( )

overridevirtual

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

Implements Expr_GeneralRelation.

◆ String()

TCollection_AsciiString Expr_SystemRelation::String ( ) const

overridevirtual

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

Implements Expr_GeneralRelation.

◆ SubRelation()

occ::handle< Expr_GeneralRelation > Expr_SystemRelation::SubRelation ( const int 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:

Expr_SystemRelation.hxx

Public Member Functions

Additional Inherited Members

Constructor & Destructor Documentation

◆ Expr_SystemRelation()

Member Function Documentation

◆ Add()

◆ Contains()

◆ Copy()

◆ IsLinear()

◆ IsSatisfied()

◆ NbOfSingleRelations()

◆ NbOfSubRelations()

◆ Remove()

◆ Replace()

◆ Simplified()

◆ Simplify()

◆ String()

◆ SubRelation()