Open CASCADE Technology Reference Manual 8.0.0
Loading...
Searching...
No Matches
Public Member Functions
Expr_NumericValue Class Reference

This class describes any reel value defined in an expression. More...

#include <Expr_NumericValue.hxx>

Inheritance diagram for Expr_NumericValue:
Inheritance graph
[legend]

Public Member Functions

 Expr_NumericValue (const double val)
 
double GetValue () const
 
void SetValue (const double val)
 
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_GeneralExpressionSimplified () const override
 Returns a GeneralExpression after replacement of NamedUnknowns by an associated expression and after values computation.
 
occ::handle< Expr_GeneralExpressionShallowSimplified () const override
 Returns a GeneralExpression after a simplification of the arguments of <me>.
 
occ::handle< Expr_GeneralExpressionCopy () 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 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.
 
bool IsLinear () const override
 Tests if <me> is linear on every NamedUnknown it contains.
 
occ::handle< Expr_GeneralExpressionDerivative (const occ::handle< Expr_NamedUnknown > &X) const override
 Returns the derivative on <X> unknown of <me>
 
occ::handle< Expr_GeneralExpressionNDerivative (const occ::handle< Expr_NamedUnknown > &X, const int N) const override
 Returns the <N>-th derivative on <X> unknown of <me>. Raises OutOfRange if <N> <= 0.
 
void Replace (const occ::handle< Expr_NamedUnknown > &var, const occ::handle< Expr_GeneralExpression > &with) override
 Replaces all occurrences of with <with> in <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>.
 
TCollection_AsciiString String () const override
 returns a string representing <me> in a readable way.
 
- Public Member Functions inherited from Expr_GeneralExpression
virtual bool IsShareable () const
 Tests if <me> can be shared by one or more expressions or must be copied. This method returns False as a default value. To be redefined ( especially for NamedUnknown).
 
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_Transientoperator= (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_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.
 
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 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.
 

Detailed Description

This class describes any reel value defined in an expression.

Constructor & Destructor Documentation

◆ Expr_NumericValue()

Expr_NumericValue::Expr_NumericValue ( const double val)

Member Function Documentation

◆ Contains()

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

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

Implements Expr_GeneralExpression.

◆ ContainsUnknowns()

bool Expr_NumericValue::ContainsUnknowns ( ) const
overridevirtual

Tests if <me> contains NamedUnknown.

Implements Expr_GeneralExpression.

◆ Copy()

occ::handle< Expr_GeneralExpression > Expr_NumericValue::Copy ( ) const
overridevirtual

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

Implements Expr_GeneralExpression.

◆ Derivative()

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

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

Implements Expr_GeneralExpression.

◆ Evaluate()

double Expr_NumericValue::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>.

Implements Expr_GeneralExpression.

◆ GetValue()

double Expr_NumericValue::GetValue ( ) const

◆ IsIdentical()

bool Expr_NumericValue::IsIdentical ( const occ::handle< Expr_GeneralExpression > & Other) const
overridevirtual

Tests if <me> and <Other> define the same expression. This method does not include any simplification before testing.

Implements Expr_GeneralExpression.

◆ IsLinear()

bool Expr_NumericValue::IsLinear ( ) const
overridevirtual

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

Implements Expr_GeneralExpression.

◆ NbSubExpressions()

int Expr_NumericValue::NbSubExpressions ( ) const
overridevirtual

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

Implements Expr_GeneralExpression.

◆ NDerivative()

occ::handle< Expr_GeneralExpression > Expr_NumericValue::NDerivative ( const occ::handle< Expr_NamedUnknown > & X,
const int N ) const
overridevirtual

Returns the <N>-th derivative on <X> unknown of <me>. Raises OutOfRange if <N> <= 0.

Reimplemented from Expr_GeneralExpression.

◆ Replace()

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

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

Implements Expr_GeneralExpression.

◆ SetValue()

void Expr_NumericValue::SetValue ( const double val)

◆ ShallowSimplified()

occ::handle< Expr_GeneralExpression > Expr_NumericValue::ShallowSimplified ( ) const
overridevirtual

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

Implements Expr_GeneralExpression.

◆ Simplified()

occ::handle< Expr_GeneralExpression > Expr_NumericValue::Simplified ( ) const
overridevirtual

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

Implements Expr_GeneralExpression.

◆ String()

TCollection_AsciiString Expr_NumericValue::String ( ) const
overridevirtual

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

Implements Expr_GeneralExpression.

◆ SubExpression()

const occ::handle< Expr_GeneralExpression > & Expr_NumericValue::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: