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

#include <Expr_GeneralRelation.hxx>

Inheritance diagram for Expr_GeneralRelation:

[legend]

Public Member Functions
virtual bool	IsSatisfied () const =0
	Returns the current status of the relation.

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

virtual occ::handle< Expr_GeneralRelation >	Simplified () 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 occ::handle< Expr_GeneralRelation >	Copy () const =0
	Returns a copy of <me> having the same unknowns and functions.

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

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

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

virtual bool	Contains (const occ::handle< Expr_GeneralExpression > &exp) const =0
	Tests if <exp> contains .

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

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