Open CASCADE Technology 6.6.0
|
Defines the general purposes of any relation between
expressions.
#include <Expr_GeneralRelation.hxx>
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. |
virtual Standard_Boolean Expr_GeneralRelation::Contains | ( | const Handle< Expr_GeneralExpression > & | exp | ) | const [pure virtual] |
Implemented in Expr_SingleRelation, and Expr_SystemRelation.
virtual Handle_Expr_GeneralRelation Expr_GeneralRelation::Copy | ( | ) | const [pure virtual] |
Implemented in Expr_Different, Expr_Equal, Expr_GreaterThan, Expr_GreaterThanOrEqual, Expr_LessThan, Expr_LessThanOrEqual, and Expr_SystemRelation.
virtual Standard_Boolean Expr_GeneralRelation::IsLinear | ( | ) | const [pure virtual] |
Implemented in Expr_SingleRelation, and Expr_SystemRelation.
virtual Standard_Boolean Expr_GeneralRelation::IsSatisfied | ( | ) | const [pure virtual] |
Implemented in Expr_Different, Expr_Equal, Expr_GreaterThan, Expr_GreaterThanOrEqual, Expr_LessThan, Expr_LessThanOrEqual, and Expr_SystemRelation.
virtual Standard_Integer Expr_GeneralRelation::NbOfSingleRelations | ( | ) | const [pure virtual] |
Implemented in Expr_SingleRelation, and Expr_SystemRelation.
virtual Standard_Integer Expr_GeneralRelation::NbOfSubRelations | ( | ) | const [pure virtual] |
Implemented in Expr_SingleRelation, and Expr_SystemRelation.
virtual void Expr_GeneralRelation::Replace | ( | const Handle< Expr_NamedUnknown > & | var, |
const Handle< Expr_GeneralExpression > & | with | ||
) | [pure virtual] |
Implemented in Expr_SingleRelation, and Expr_SystemRelation.
virtual Handle_Expr_GeneralRelation Expr_GeneralRelation::Simplified | ( | ) | const [pure virtual] |
Implemented in Expr_Different, Expr_Equal, Expr_GreaterThan, Expr_GreaterThanOrEqual, Expr_LessThan, Expr_LessThanOrEqual, and Expr_SystemRelation.
virtual void Expr_GeneralRelation::Simplify | ( | ) | [pure virtual] |
Implemented in Expr_Different, Expr_Equal, Expr_GreaterThan, Expr_GreaterThanOrEqual, Expr_LessThan, Expr_LessThanOrEqual, and Expr_SystemRelation.
virtual TCollection_AsciiString Expr_GeneralRelation::String | ( | ) | const [pure virtual] |
Implemented in Expr_Different, Expr_Equal, Expr_GreaterThan, Expr_GreaterThanOrEqual, Expr_LessThan, Expr_LessThanOrEqual, and Expr_SystemRelation.
virtual Handle_Expr_GeneralRelation Expr_GeneralRelation::SubRelation | ( | const Standard_Integer | index | ) | const [pure virtual] |
Implemented in Expr_SingleRelation, and Expr_SystemRelation.