Expr_Equal Class Reference

#include <Expr_Equal.hxx>

Inheritance diagram for Expr_Equal:

Public Member Functions
	Expr_Equal (const occ::handle< Expr_GeneralExpression > &exp1, const occ::handle< Expr_GeneralExpression > &exp2)
	Creates the relation <exp1> = <exp2>.
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 an 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.
TCollection_AsciiString	String () const override
	returns a string representing <me> in a readable way.
Public Member Functions inherited from Expr_SingleRelation
void	SetFirstMember (const occ::handle< Expr_GeneralExpression > &exp)
	Defines the first member of the relation.
void	SetSecondMember (const occ::handle< Expr_GeneralExpression > &exp)
	Defines the second member of the relation.
occ::handle< Expr_GeneralExpression >	FirstMember () const
	Returns the first member of the relation.
occ::handle< Expr_GeneralExpression >	SecondMember () const
	Returns the second member of the 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> (Always 1).
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	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>.
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_Equal()

Expr_Equal::Expr_Equal	(	const occ::handle< Expr_GeneralExpression > &	exp1,
		const occ::handle< Expr_GeneralExpression > &	exp2 )

Creates the relation <exp1> = <exp2>.

Member Function Documentation

Copy()

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

overridevirtual

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

Implements Expr_GeneralRelation.

IsSatisfied()

bool Expr_Equal::IsSatisfied ( ) const

overridevirtual

Returns the current status of the relation.

Implements Expr_GeneralRelation.

Simplified()

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

overridevirtual

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

Implements Expr_GeneralRelation.

Simplify()

void Expr_Equal::Simplify ( )

overridevirtual

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

Implements Expr_GeneralRelation.

String()

TCollection_AsciiString Expr_Equal::String ( ) const

overridevirtual

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

Implements Expr_GeneralRelation.

---

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

• Expr_Equal.hxx