graph_cl.h

Go to the documentation of this file.

#ifndef GRAPHCL_H
#define GRAPHCL_H

#include <graph_m4ri.h>
#include <list>
#include <iterator>
#include <data/matrix_pool.h>
#include <clm4rm.h>

namespace frechet { namespace reach {
class GraphCL : public Graph {
private:
    clmatrix_t* clmtx[2][2];
    mutable std::list<clmatrix_t*> temps;
    mutable clm4rm_conditions cond;
    mutable cl_mem diagonalElementBuffer;

protected:

    friend GraphPtr frechet::reach::newGraph(const GraphModel::ptr model);
    friend GraphPtr frechet::reach::newGraph(const GraphModel::ptr model, IndexRange hmask);
    friend GraphPtr frechet::reach::newGraph(const GraphModel::ptr model, Structure& str);

    GraphCL(const GraphModel::ptr model);
    GraphCL(const GraphModel::ptr model, IndexRange hmask);
    GraphCL(const GraphModel::ptr model, Structure& str);
public:
    GraphCL(const GraphCL& that);
    GraphCL(GraphCL&& that);
    virtual ~GraphCL();

    GraphCL& operator= (const GraphCL& that);
    GraphCL& operator= (GraphCL&& that);

    //TODO? bool operator== (const Graph& that) const;
    virtual void synchToGpu() override;
    virtual void synchFromGpu() override;

    virtual void finalize() override;
    virtual void combine(const Graph* P) override;
    virtual void merge2(const Graph* A, const Graph* B, MatrixPool* pool) override;
    virtual void merge3(const Graph* A, const Graph* B, MatrixPool* pool) override;

    virtual void queryDiagonalElement() const override;
    virtual int foundDiagonalElement() const override;

    virtual void release(Orientation o1, Orientation o2) override;
    virtual void release(Orientation o1, Orientation o2, MatrixPool* pool) override;
    virtual void resetConditions() override;
protected:
    clmatrix_t* tempMatrix(int rows, int cols, MatrixPool* pool) const;
    void copy(const GraphCL& that);
    void swap(GraphCL& that);
};

} } //  namespace frechet::reach

#endif // GRAPHCL_H