| 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 |
1.8.15