This class describes any variable of an expression. Assignment is treated directly in this class. More...

#include <Expr_NamedUnknown.hxx>

Inheritance diagram for Expr_NamedUnknown:

[legend]

Public Member Functions
	Expr_NamedUnknown (const TCollection_AsciiString &name)

bool	IsAssigned () const
	Tests if an expression is assigned to <me>.

const occ::handle< Expr_GeneralExpression > &	AssignedExpression () const
	If exists, returns the assigned expression. An exception is raised if the expression does not exist.

void	Assign (const occ::handle< Expr_GeneralExpression > &exp)
	Assigns <me> to <exp> expression. Raises exception if <exp> refers to <me>.

void	Deassign ()
	Suppresses the assigned expression.

int	NbSubExpressions () const override
	Returns the number of sub-expressions contained in <me> ( >= 0)

const occ::handle< Expr_GeneralExpression > &	SubExpression (const int I) const override
	Returns the -th sub-expression of <me> raises OutOfRange if > NbSubExpressions(me)

occ::handle< Expr_GeneralExpression >	Simplified () const override
	Returns a GeneralExpression after replacement of NamedUnknowns by an associated expression and after values computation.

occ::handle< Expr_GeneralExpression >	ShallowSimplified () const override
	Returns a GeneralExpression after a simplification of the arguments of <me>.

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

bool	ContainsUnknowns () const override
	Tests if <me> contains NamedUnknown.

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

bool	IsLinear () const override
	Tests if <me> is linear on every NamedUnknown it contains.

occ::handle< Expr_GeneralExpression >	Derivative (const occ::handle< Expr_NamedUnknown > &X) const override
	Returns the derivative on <X> unknown of <me>

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

double	Evaluate (const NCollection_Array1< occ::handle< Expr_NamedUnknown > > &vars, const NCollection_Array1< double > &vals) const override
	Returns the value of <me> (as a Real) by replacement of <vars> by <vals>. Raises NotEvaluable if <me> contains NamedUnknown not in <vars> or NumericError if result cannot be computed.

Public Member Functions inherited from Expr_NamedExpression
const TCollection_AsciiString &	GetName () const

void	SetName (const TCollection_AsciiString &name)

bool	IsShareable () const override
	Tests if <me> can be shared by one or more expressions or must be copied. This method redefines to a True value the GeneralExpression method.

bool	IsIdentical (const occ::handle< Expr_GeneralExpression > &Other) const override
	Tests if <me> and <Other> define the same expression. This method does not include any simplification before testing.

TCollection_AsciiString	String () const override
	returns a string representing <me> in a readable way.

Public Member Functions inherited from Expr_GeneralExpression
virtual occ::handle< Expr_GeneralExpression >	NDerivative (const occ::handle< Expr_NamedUnknown > &X, const int N) const
	Returns the <N>-th derivative on <X> unknown of <me>. Raise OutOfRange if N <= 0.

double	EvaluateNumeric () const
	Returns the value of <me> (as a Real) by replacement of <vars> by <vals>. Raises NotEvaluable if <me> contains NamedUnknown not in <vars> or NumericError if result cannot be computed.

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.

Detailed Description

This class describes any variable of an expression. Assignment is treated directly in this class.

Constructor & Destructor Documentation

◆ Expr_NamedUnknown()

Expr_NamedUnknown::Expr_NamedUnknown ( const TCollection_AsciiString & name )

Member Function Documentation

◆ Assign()

void Expr_NamedUnknown::Assign ( const occ::handle< Expr_GeneralExpression > & exp )

Assigns <me> to <exp> expression. Raises exception if <exp> refers to <me>.

◆ AssignedExpression()

const occ::handle< Expr_GeneralExpression > & Expr_NamedUnknown::AssignedExpression ( ) const

If exists, returns the assigned expression. An exception is raised if the expression does not exist.

◆ Contains()

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

overridevirtual

Tests if <exp> is contained in <me>.

Implements Expr_GeneralExpression.

◆ ContainsUnknowns()

bool Expr_NamedUnknown::ContainsUnknowns ( ) const

overridevirtual

Tests if <me> contains NamedUnknown.

Implements Expr_GeneralExpression.

◆ Copy()

occ::handle< Expr_GeneralExpression > Expr_NamedUnknown::Copy ( ) const

overridevirtual

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

Implements Expr_GeneralExpression.

◆ Deassign()

void Expr_NamedUnknown::Deassign ( )

Suppresses the assigned expression.

◆ Derivative()

occ::handle< Expr_GeneralExpression > Expr_NamedUnknown::Derivative ( const occ::handle< Expr_NamedUnknown > & X ) const

overridevirtual

Returns the derivative on <X> unknown of <me>

Implements Expr_GeneralExpression.

◆ Evaluate()

double Expr_NamedUnknown::Evaluate	(	const NCollection_Array1< occ::handle< Expr_NamedUnknown > > &	vars,
		const NCollection_Array1< double > &	vals ) const

overridevirtual

Returns the value of <me> (as a Real) by replacement of <vars> by <vals>. Raises NotEvaluable if <me> contains NamedUnknown not in <vars> or NumericError if result cannot be computed.

Implements Expr_GeneralExpression.

◆ IsAssigned()

bool Expr_NamedUnknown::IsAssigned ( ) const

Tests if an expression is assigned to <me>.

◆ IsLinear()

bool Expr_NamedUnknown::IsLinear ( ) const

overridevirtual

Tests if <me> is linear on every NamedUnknown it contains.

Implements Expr_GeneralExpression.

◆ NbSubExpressions()

int Expr_NamedUnknown::NbSubExpressions ( ) const

overridevirtual

Returns the number of sub-expressions contained in <me> ( >= 0)

Implements Expr_GeneralExpression.

◆ Replace()

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

overridevirtual

Replaces all occurrences of with <with> in <me> Raises InvalidOperand if <with> contains <me>.

Implements Expr_GeneralExpression.

◆ ShallowSimplified()

occ::handle< Expr_GeneralExpression > Expr_NamedUnknown::ShallowSimplified ( ) const

overridevirtual

Returns a GeneralExpression after a simplification of the arguments of <me>.

Implements Expr_GeneralExpression.

◆ Simplified()

occ::handle< Expr_GeneralExpression > Expr_NamedUnknown::Simplified ( ) const

overridevirtual

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

Implements Expr_GeneralExpression.

◆ SubExpression()

const occ::handle< Expr_GeneralExpression > & Expr_NamedUnknown::SubExpression ( const int I ) const

overridevirtual

Returns the -th sub-expression of <me> raises OutOfRange if > NbSubExpressions(me)

Implements Expr_GeneralExpression.

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

Expr_NamedUnknown.hxx

Public Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ Expr_NamedUnknown()

Member Function Documentation

◆ Assign()

◆ AssignedExpression()

◆ Contains()

◆ ContainsUnknowns()

◆ Copy()

◆ Deassign()

◆ Derivative()

◆ Evaluate()

◆ IsAssigned()

◆ IsLinear()

◆ NbSubExpressions()

◆ Replace()

◆ ShallowSimplified()

◆ Simplified()

◆ SubExpression()