add_edge(int i, int j) | frechet::reach::Graph | |
add_edge(Orientation ori_from, int i_from, Orientation ori_to, int i_to) | frechet::reach::Graph | |
add_range(IndexRange r_from, IndexRange r_to) | frechet::reach::Graph | |
allocate(Orientation o1, Orientation o2) | frechet::reach::Graph | |
allocateAll() | frechet::reach::Graph | |
and_row(mzd_t *M, int r, mzd_t *M2, int r2) | frechet::reach::Graph | static |
clear() | frechet::reach::Graph | |
clear() | frechet::reach::Graph | |
clear(Orientation ori1, Orientation ori2) | frechet::reach::Graph | |
clear_row(mzd_t *M, int row) | frechet::reach::Graph | static |
clmtx | frechet::reach::GraphCL | private |
combine(const Graph *P) override | frechet::reach::GraphCL | virtual |
cond | frechet::reach::GraphCL | mutableprivate |
contains_edge(Orientation ori_from, int i_from, Orientation ori_to, int i_to) const | frechet::reach::Graph | |
contains_edge(IndexRange r_from, IndexRange r_to) const | frechet::reach::Graph | |
copy(const GraphCL &that) | frechet::reach::GraphCL | protected |
frechet::reach::Graph::copy(const Graph &that) | frechet::reach::Graph | protected |
frechet::reach::Graph::copy(const Structure &str, Orientation ori) | frechet::reach::Graph | protected |
density(Orientation ori1, Orientation ori2) const | frechet::reach::Graph | |
density() const | frechet::reach::Graph | |
diagonalElement | frechet::reach::Graph | mutableprotected |
diagonalElementBuffer | frechet::reach::GraphCL | mutableprivate |
edges() const | frechet::reach::Graph | |
empty(Orientation o1, Orientation o2) const | frechet::reach::Graph | |
finalize() override | frechet::reach::GraphCL | virtual |
find_next0(Orientation o1, int i, Orientation o2, int j) const | frechet::reach::Graph | |
find_next0(mzd_t *M, int row, int i) | frechet::reach::Graph | static |
find_next1(Orientation o1, int i, Orientation o2, int j) const | frechet::reach::Graph | |
find_next1(mzd_t *M, int row, int i) | frechet::reach::Graph | static |
find_next_range(Orientation o1, int i, Orientation o2, int j) const | frechet::reach::Graph | |
foundDiagonalElement() const override | frechet::reach::GraphCL | virtual |
frechet::reach::newGraph(const GraphModel::ptr model) | frechet::reach::GraphCL | friend |
frechet::reach::newGraph(const GraphModel::ptr model, IndexRange hmask) | frechet::reach::GraphCL | friend |
frechet::reach::newGraph(const GraphModel::ptr model, Structure &str) | frechet::reach::GraphCL | friend |
Graph(const GraphModel &model) | frechet::reach::Graph | |
Graph(const GraphModel &model, Structure &str, int i0) | frechet::reach::Graph | |
Graph(const Graph &) | frechet::reach::Graph | |
Graph(Graph &&) | frechet::reach::Graph | |
Graph(const GraphModel::ptr amodel) | frechet::reach::Graph | protected |
Graph(const GraphModel::ptr amodel, IndexRange range) | frechet::reach::Graph | protected |
Graph(const GraphModel::ptr amodel, Structure &str) | frechet::reach::Graph | protected |
Graph(const Graph &that) | frechet::reach::Graph | |
Graph(Graph &&that) | frechet::reach::Graph | |
GraphCL(const GraphModel::ptr model) | frechet::reach::GraphCL | protected |
GraphCL(const GraphModel::ptr model, IndexRange hmask) | frechet::reach::GraphCL | protected |
GraphCL(const GraphModel::ptr model, Structure &str) | frechet::reach::GraphCL | protected |
GraphCL(const GraphCL &that) | frechet::reach::GraphCL | |
GraphCL(GraphCL &&that) | frechet::reach::GraphCL | |
graphModel() const | frechet::reach::Graph | inline |
has_bits(mzd_t *M, int row, int i, int j) | frechet::reach::Graph | static |
hmask() const | frechet::reach::Graph | inline |
is_adjacent_to(const Graph &A, const Graph &B) | frechet::reach::Graph | static |
is_upper_triangular(Orientation ori1, Orientation ori2) const | frechet::reach::Graph | |
is_upper_triangular(const mzd_t *mzd) | frechet::reach::Graph | static |
mask | frechet::reach::Graph | protected |
memory(Orientation ori1, Orientation ori2) const | frechet::reach::Graph | |
memory() const | frechet::reach::Graph | |
merge2(const Graph *A, const Graph *B, MatrixPool *pool) override | frechet::reach::GraphCL | virtual |
frechet::reach::Graph::merge2(const Graph *B, MatrixPool *pool=nullptr) const | frechet::reach::Graph | |
merge3(const Graph *A, const Graph *B, MatrixPool *pool) override | frechet::reach::GraphCL | virtual |
frechet::reach::Graph::merge3(const Graph *B, MatrixPool *pool=nullptr) const | frechet::reach::Graph | |
model | frechet::reach::Graph | protected |
mtx | frechet::reach::Graph | protected |
operator+=(const Graph &) | frechet::reach::Graph | |
operator=(const GraphCL &that) | frechet::reach::GraphCL | |
operator=(GraphCL &&that) | frechet::reach::GraphCL | |
frechet::reach::Graph::operator=(const Graph &) | frechet::reach::Graph | |
frechet::reach::Graph::operator=(Graph &&) | frechet::reach::Graph | |
operator==(const Graph &that) const | frechet::reach::Graph | |
origin | frechet::reach::Graph | |
print(std::ostream &out, Orientation o1, Orientation o2) const | frechet::reach::Graph | |
print(std::ostream &out, const mzd_t *M) | frechet::reach::Graph | protectedstatic |
printOrigin(std::ostream &out) const | frechet::reach::Graph | |
ptr typedef | frechet::reach::Graph | |
ptr typedef | frechet::reach::Graph | |
queryDiagonalElement() const override | frechet::reach::GraphCL | virtual |
rect(Orientation o1, Orientation o2) const | frechet::reach::Graph | |
release(Orientation o1, Orientation o2) override | frechet::reach::GraphCL | virtual |
release(Orientation o1, Orientation o2, MatrixPool *pool) override | frechet::reach::GraphCL | virtual |
frechet::reach::Graph::release() | frechet::reach::Graph | virtual |
releaseIfZero() | frechet::reach::Graph | |
resetConditions() override | frechet::reach::GraphCL | virtual |
set_bits(mzd_t *M, int row, int i, int j) | frechet::reach::Graph | static |
setOriginCombine(Graph::ptr P) | frechet::reach::Graph | |
setOriginMerge2(Graph::ptr A, Graph::ptr B) | frechet::reach::Graph | |
setOriginMerge3(Graph::ptr A, Graph::ptr B) | frechet::reach::Graph | |
setOriginPlacement(int di, int dj) | frechet::reach::Graph | |
setOriginRG(int i) | frechet::reach::Graph | |
swap(GraphCL &that) | frechet::reach::GraphCL | protected |
frechet::reach::Graph::swap(Graph &that) | frechet::reach::Graph | protected |
synchFromGpu() override | frechet::reach::GraphCL | virtual |
synchToGpu() override | frechet::reach::GraphCL | virtual |
tempMatrix(int rows, int cols, MatrixPool *pool) const | frechet::reach::GraphCL | protected |
temps | frechet::reach::GraphCL | mutableprivate |
transitiveClosure() const | frechet::reach::Graph | |
transitiveClosureInPlace() | frechet::reach::Graph | |
vertices() const | frechet::reach::Graph | |
zero(Orientation o1, Orientation o2) const | frechet::reach::Graph | |
~Graph() | frechet::reach::Graph | |
~Graph() | frechet::reach::Graph | virtual |
~GraphCL() | frechet::reach::GraphCL | virtual |