Defines the general purposes of any relation between expressions. More...

#include <Expr_GeneralRelation.hxx>

Inheritance diagram for Expr_GeneralRelation:

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 occurrences of with <with> in <me>.

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

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 ()
	Destructor must be virtual.

virtual const opencascade::handle< Standard_Type > &	DynamicType () const
	Returns a type descriptor about this object.

Standard_Boolean	IsInstance (const opencascade::handle< Standard_Type > &theType) const
	Returns a true value if this is an instance of Type.

Standard_Boolean	IsInstance (const Standard_CString theTypeName) const
	Returns a true value if this is an instance of TypeName.

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

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.

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.

Standard_Integer	GetRefCount () const noexcept
	Get the reference counter of this object.

void	IncrementRefCounter () noexcept
	Increments the reference counter of this object.

Standard_Integer	DecrementRefCounter () noexcept
	Decrements the reference counter of this object; returns the decremented value.

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.