Open CASCADE Technology 6.6.0
Public Member Functions
Expr_GeneralRelation Class Reference

Defines the general purposes of any relation between
expressions.

#include <Expr_GeneralRelation.hxx>

Inheritance diagram for Expr_GeneralRelation:
Inheritance graph
[legend]

Public Member Functions

virtual Standard_Boolean IsSatisfied () const =0
 Returns the current status of the relation

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

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

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

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

virtual Handle_Expr_GeneralRelation SubRelation (const Standard_Integer index) const =0
 Returns the relation denoted by <index> in <me>.
An exception is raised if <index> is out of range.

virtual Standard_Boolean Contains (const Handle< Expr_GeneralExpression > &exp) const =0
 Tests if <exp> contains .

virtual void Replace (const Handle< Expr_NamedUnknown > &var, const Handle< Expr_GeneralExpression > &with)=0
 Replaces all occurences of with <with> in <me>.

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


Member Function Documentation

virtual Standard_Boolean Expr_GeneralRelation::Contains ( const Handle< Expr_GeneralExpression > &  exp) const [pure virtual]
virtual Handle_Expr_GeneralRelation Expr_GeneralRelation::Copy ( ) const [pure virtual]
virtual Standard_Boolean Expr_GeneralRelation::IsLinear ( ) const [pure virtual]
virtual Standard_Boolean Expr_GeneralRelation::IsSatisfied ( ) const [pure virtual]
virtual Standard_Integer Expr_GeneralRelation::NbOfSingleRelations ( ) const [pure virtual]
virtual Standard_Integer Expr_GeneralRelation::NbOfSubRelations ( ) const [pure virtual]
virtual void Expr_GeneralRelation::Replace ( const Handle< Expr_NamedUnknown > &  var,
const Handle< Expr_GeneralExpression > &  with 
) [pure virtual]
virtual Handle_Expr_GeneralRelation Expr_GeneralRelation::Simplified ( ) const [pure virtual]
virtual void Expr_GeneralRelation::Simplify ( ) [pure virtual]
virtual TCollection_AsciiString Expr_GeneralRelation::String ( ) const [pure virtual]
virtual Handle_Expr_GeneralRelation Expr_GeneralRelation::SubRelation ( const Standard_Integer  index) const [pure virtual]

The documentation for this class was generated from the following file:
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines