Open CASCADE Technology  6.9.0
Public Member Functions

Expr_GeneralExpression Class Referenceabstract

Defines the general purposes of any expression. More...

#include <Expr_GeneralExpression.hxx>

Inheritance diagram for Expr_GeneralExpression:
Inheritance graph
[legend]

Public Member Functions

virtual Standard_Integer NbSubExpressions () const =0
 Returns the number of sub-expressions contained in <me> ( >= 0) More...
 
virtual const Handle
< Expr_GeneralExpression > & 
SubExpression (const Standard_Integer I) const =0
 Returns the -th sub-expression of <me> raises OutOfRange if > NbSubExpressions(me) More...
 
virtual Handle
< Expr_GeneralExpression
Simplified () const =0
 Returns a GeneralExpression after replacement of NamedUnknowns by an associated expression and after values computation. More...
 
virtual Handle
< Expr_GeneralExpression
ShallowSimplified () const =0
 Returns a GeneralExpression after a simplification of the arguments of <me>. More...
 
virtual Handle
< Expr_GeneralExpression
Copy () const =0
 Returns a copy of <me> having the same unknowns and functions. More...
 
virtual Standard_Boolean ContainsUnknowns () const =0
 Tests if <me> contains NamedUnknowns. More...
 
virtual Standard_Boolean Contains (const Handle< Expr_GeneralExpression > &exp) const =0
 Tests if <exp> is contained in <me>. More...
 
virtual Standard_Boolean IsLinear () const =0
 Tests if <me> is linear on every NamedUnknown it contains. More...
 
virtual Standard_Boolean 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). More...
 
virtual Standard_Boolean IsIdentical (const Handle< Expr_GeneralExpression > &Other) const =0
 Tests if <me> and <Other> define the same expression. Warning: This method does not include any simplification before testing. It could also be very slow; to be used carefully. More...
 
virtual Handle
< Expr_GeneralExpression
Derivative (const Handle< Expr_NamedUnknown > &X) const =0
 Returns the derivative on <X> unknown of <me> More...
 
virtual Handle
< Expr_GeneralExpression
NDerivative (const Handle< Expr_NamedUnknown > &X, const Standard_Integer N) const
 Returns the <N>-th derivative on <X> unknown of <me>. Raise OutOfRange if N <= 0. More...
 
virtual void Replace (const Handle< Expr_NamedUnknown > &var, const Handle< Expr_GeneralExpression > &with)=0
 Replaces all occurences of with copies of <with> in <me>. Copies of <with> are made with the Copy() method. Raises InvalidOperand if <with> contains <me>. More...
 
virtual Standard_Real Evaluate (const Expr_Array1OfNamedUnknown &vars, const TColStd_Array1OfReal &vals) const =0
 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. More...
 
Standard_Real 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. More...
 
virtual TCollection_AsciiString String () const =0
 returns a string representing <me> in a readable way. More...
 
- Public Member Functions inherited from MMgt_TShared
virtual void Delete () const
 Memory deallocator for transient classes. More...
 
- Public Member Functions inherited from Standard_Transient
 Standard_Transient ()
 Empty constructor. More...
 
 Standard_Transient (const Standard_Transient &)
 Copy constructor – does nothing. More...
 
Standard_Transientoperator= (const Standard_Transient &)
 Assignment operator, needed to avoid copying reference counter. More...
 
virtual ~Standard_Transient ()
 Destructor must be virtual. More...
 
virtual const
Handle_Standard_Type & 
DynamicType () const
 Returns a type information object about this object. More...
 
Standard_Boolean IsInstance (const Handle_Standard_Type &theType) const
 Returns a true value if this is an instance of Type. More...
 
Standard_Boolean IsInstance (const Standard_CString theTypeName) const
 Returns a true value if this is an instance of TypeName. More...
 
Standard_Boolean IsKind (const 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. More...
 
Standard_Boolean IsKind (const Standard_CString 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. More...
 
virtual Handle_Standard_Transient This () const
 Returns a Handle which references this object. Must never be called to objects created in stack. More...
 
Standard_Integer GetRefCount () const
 Get the reference counter of this object. More...
 

Detailed Description

Defines the general purposes of any expression.

Member Function Documentation

virtual Standard_Boolean Expr_GeneralExpression::Contains ( const Handle< Expr_GeneralExpression > &  exp) const
pure virtual
virtual Standard_Boolean Expr_GeneralExpression::ContainsUnknowns ( ) const
pure virtual
virtual Handle< Expr_GeneralExpression > Expr_GeneralExpression::Copy ( ) const
pure virtual
virtual Handle< Expr_GeneralExpression > Expr_GeneralExpression::Derivative ( const Handle< Expr_NamedUnknown > &  X) const
pure virtual
virtual Standard_Real Expr_GeneralExpression::Evaluate ( const Expr_Array1OfNamedUnknown vars,
const TColStd_Array1OfReal vals 
) const
pure virtual
Standard_Real Expr_GeneralExpression::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.

virtual Standard_Boolean Expr_GeneralExpression::IsIdentical ( const Handle< Expr_GeneralExpression > &  Other) const
pure virtual
virtual Standard_Boolean Expr_GeneralExpression::IsLinear ( ) const
pure virtual
virtual Standard_Boolean Expr_GeneralExpression::IsShareable ( ) const
virtual

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

Reimplemented in Expr_NamedExpression.

virtual Standard_Integer Expr_GeneralExpression::NbSubExpressions ( ) const
pure virtual

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

Implemented in Expr_NamedUnknown, Expr_BinaryExpression, Expr_PolyExpression, Expr_NumericValue, Expr_NamedConstant, and Expr_UnaryExpression.

virtual Handle< Expr_GeneralExpression > Expr_GeneralExpression::NDerivative ( const Handle< Expr_NamedUnknown > &  X,
const Standard_Integer  N 
) const
virtual

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

Reimplemented in Expr_NumericValue, Expr_NamedConstant, Expr_Sum, Expr_Difference, and Expr_UnaryMinus.

virtual void Expr_GeneralExpression::Replace ( const Handle< Expr_NamedUnknown > &  var,
const Handle< Expr_GeneralExpression > &  with 
)
pure virtual

Replaces all occurences of with copies of <with> in <me>. Copies of <with> are made with the Copy() method. Raises InvalidOperand if <with> contains <me>.

Implemented in Expr_NamedUnknown, Expr_NumericValue, Expr_NamedConstant, Expr_BinaryExpression, Expr_PolyExpression, and Expr_UnaryExpression.

virtual Handle< Expr_GeneralExpression > Expr_GeneralExpression::ShallowSimplified ( ) const
pure virtual
virtual Handle< Expr_GeneralExpression > Expr_GeneralExpression::Simplified ( ) const
pure virtual

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

Implemented in Expr_BinaryExpression, Expr_PolyExpression, Expr_NamedUnknown, Expr_UnaryExpression, Expr_NumericValue, and Expr_NamedConstant.

virtual TCollection_AsciiString Expr_GeneralExpression::String ( ) const
pure virtual
virtual const Handle< Expr_GeneralExpression >& Expr_GeneralExpression::SubExpression ( const Standard_Integer  I) const
pure virtual

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

Implemented in Expr_NamedUnknown, Expr_BinaryExpression, Expr_PolyExpression, Expr_NumericValue, Expr_NamedConstant, and Expr_UnaryExpression.


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