---

cQueRefProto.cpp

Go to the documentation of this file.

/******************************************************************************/
/*                                                                            */
/* POLiTe - Persistent Object Library Test                                    */
/*                                        Ph.D. Thesis by Mgr. Michal Kopecky */
/*                                                                            */
/* Charles University Prague                                                  */
/*                                                                            */
/******************************************************************************/
/*                                                                            */
/* File name: ...                                                             */
/* Module: ......                                                             */
/*                                                                            */
/******************************************************************************/
/*                                                                            */
/* Common base of Query, RefBase and ProtoBase                                */
/*                                                                            */
/******************************************************************************/

// Standard Header(s)
#include <malloc.h>

// Common POLiTe Header(s)
#include <lTrace.h>
#include <lDefs.h>

// Own Header
#include <cQueRefProto.h>

// Other POLiTe Header(s)
#include <cQuery.h>

Query QueRefProto::operator !() const
{
        Query X = *this;
        return X.Not();
};

Query QueRefProto::operator ||(const QueRefProto &Q) const
{
        Query X = *this;
        return X.Or(Q);
};

Query QueRefProto::operator &&(const QueRefProto &Q) const
{
        Query X = *this;
        return X.And(Q);
};

---