| 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 |
| combine(const Graph *P) | frechet::reach::Graph | virtual |
| 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 Graph &) | frechet::reach::Graph | private |
| copy(const Structure &str, Pointer i1, Pointer i2) | frechet::reach::Graph | private |
| copy(const Graph &that) | frechet::reach::Graph | protected |
| 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 |
| edges() const | frechet::reach::Graph | |
| empty(Orientation o1, Orientation o2) const | frechet::reach::Graph | |
| finalize() | frechet::reach::Graph | 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 | frechet::reach::Graph | virtual |
| frechet::reach::newGraph(const GraphModel::ptr model) | frechet::reach::Graph | friend |
| frechet::reach::newGraph(const GraphModel::ptr model, IndexRange hmask) | frechet::reach::Graph | friend |
| frechet::reach::newGraph(const GraphModel::ptr model, Structure &str) | frechet::reach::Graph | friend |
| g | frechet::reach::Graph | private |
| Graph(const GraphModel &model, graph_t *ag) | frechet::reach::Graph | private |
| 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 | |
| graph_t typedef | frechet::reach::Graph | private |
| 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 |
| i2v | frechet::reach::Graph | private |
| Index typedef | frechet::reach::Graph | private |
| Index2VertexMap typedef | frechet::reach::Graph | private |
| 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 *B, MatrixPool *pool=nullptr) const | frechet::reach::Graph | |
| merge2(const Graph *A, const Graph *B, MatrixPool *pool=nullptr) | frechet::reach::Graph | virtual |
| merge3(const Graph *B, MatrixPool *pool=nullptr) const | frechet::reach::Graph | |
| merge3(const Graph *A, const Graph *B, MatrixPool *pool=nullptr) | frechet::reach::Graph | virtual |
| model | frechet::reach::Graph | private |
| model | frechet::reach::Graph | protected |
| mtx | frechet::reach::Graph | protected |
| Name typedef | frechet::reach::Graph | private |
| operator+=(const Graph &) | frechet::reach::Graph | |
| operator=(const Graph &) | frechet::reach::Graph | |
| operator=(Graph &&) | frechet::reach::Graph | |
| operator=(const Graph &that) | frechet::reach::Graph | |
| operator=(Graph &&that) | 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 | frechet::reach::Graph | virtual |
| rect(Orientation o1, Orientation o2) const | frechet::reach::Graph | |
| release() | frechet::reach::Graph | virtual |
| release(Orientation o1, Orientation o2) | frechet::reach::Graph | virtual |
| release(Orientation o1, Orientation o2, MatrixPool *pool) | frechet::reach::Graph | virtual |
| releaseIfZero() | frechet::reach::Graph | |
| resetConditions() | frechet::reach::Graph | inlinevirtual |
| 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(Graph &) | frechet::reach::Graph | private |
| swap(Graph &that) | frechet::reach::Graph | protected |
| synchFromGpu() | frechet::reach::Graph | inlinevirtual |
| synchToGpu() | frechet::reach::Graph | inlinevirtual |
| transitiveClosure() const | frechet::reach::Graph | |
| transitiveClosureInPlace() | frechet::reach::Graph | |
| vertex(int i) | frechet::reach::Graph | private |
| Vertex2IndexMap typedef | frechet::reach::Graph | private |
| vertex_t typedef | frechet::reach::Graph | private |
| vertices() const | frechet::reach::Graph | |
| zero(Orientation o1, Orientation o2) const | frechet::reach::Graph | |
| ~Graph() | frechet::reach::Graph | |
| ~Graph() | frechet::reach::Graph | virtual |