Home
last modified time | relevance | path

Searched refs:edge_storage (Results 1 – 25 of 69) sorted by relevance

123

/dports/math/spot/spot-2.10.2/spot/twacube/
H A Dtwacube.cc105 theg_.edge_storage(i).src == theg_.edge_storage(j).src) in succ_contiguous()
114 if (theg_.edge_storage(i).src == theg_.edge_storage(j).src) in succ_contiguous()
129 os << twa.theg_.edge_storage(i).src << "->" in operator <<()
130 << twa.theg_.edge_storage(i).dst << " : " in operator <<()
/dports/math/py-spot/spot-2.10.2/spot/twacube/
H A Dtwacube.cc105 theg_.edge_storage(i).src == theg_.edge_storage(j).src) in succ_contiguous()
114 if (theg_.edge_storage(i).src == theg_.edge_storage(j).src) in succ_contiguous()
129 os << twa.theg_.edge_storage(i).src << "->" in operator <<()
130 << twa.theg_.edge_storage(i).dst << " : " in operator <<()
/dports/math/spot/spot-2.10.2/spot/kripke/
H A Dkripkegraph.hh130 p_ = g_->edge_storage(p_).next_succ; in next()
143 (&g_->state_data(g_->edge_storage(p_).dst)); in dst()
157 typedef internal::edge_storage<unsigned, unsigned, unsigned,
281 edge_storage_t& edge_storage(unsigned t) in edge_storage() function in spot::kripke_graph
283 return g_.edge_storage(t); in edge_storage()
286 const edge_storage_t edge_storage(unsigned t) const in edge_storage() function in spot::kripke_graph
288 return g_.edge_storage(t); in edge_storage()
/dports/math/py-spot/spot-2.10.2/spot/kripke/
H A Dkripkegraph.hh130 p_ = g_->edge_storage(p_).next_succ; in next()
143 (&g_->state_data(g_->edge_storage(p_).dst)); in dst()
157 typedef internal::edge_storage<unsigned, unsigned, unsigned,
281 edge_storage_t& edge_storage(unsigned t) in edge_storage() function in spot::kripke_graph
283 return g_.edge_storage(t); in edge_storage()
286 const edge_storage_t edge_storage(unsigned t) const in edge_storage() function in spot::kripke_graph
288 return g_.edge_storage(t); in edge_storage()
/dports/math/spot/spot-2.10.2/spot/twa/
H A Dtwagraph.hh163 p_ = g_->edge_storage(p_).next_succ; in next()
175 return &g_->state_data(g_->edge_storage(p_).dst); in dst()
206 typedef spot::internal::edge_storage<unsigned, unsigned, unsigned,
413 edge_storage_t& edge_storage(const twa_succ_iterator* it) in edge_storage() function in spot::twa_graph
415 return g_.edge_storage(edge_number(it)); in edge_storage()
418 edge_storage_t& edge_storage(unsigned t) in edge_storage() function in spot::twa_graph
420 return g_.edge_storage(t); in edge_storage()
424 edge_storage(const twa_succ_iterator* it) const in edge_storage() function in spot::twa_graph
426 return g_.edge_storage(edge_number(it)); in edge_storage()
429 const edge_storage_t edge_storage(unsigned t) const in edge_storage() function in spot::twa_graph
[all …]
/dports/math/py-spot/spot-2.10.2/spot/twa/
H A Dtwagraph.hh163 p_ = g_->edge_storage(p_).next_succ; in next()
175 return &g_->state_data(g_->edge_storage(p_).dst); in dst()
206 typedef spot::internal::edge_storage<unsigned, unsigned, unsigned,
413 edge_storage_t& edge_storage(const twa_succ_iterator* it) in edge_storage() function in spot::twa_graph
415 return g_.edge_storage(edge_number(it)); in edge_storage()
418 edge_storage_t& edge_storage(unsigned t) in edge_storage() function in spot::twa_graph
420 return g_.edge_storage(t); in edge_storage()
424 edge_storage(const twa_succ_iterator* it) const in edge_storage() function in spot::twa_graph
426 return g_.edge_storage(edge_number(it)); in edge_storage()
429 const edge_storage_t edge_storage(unsigned t) const in edge_storage() function in spot::twa_graph
[all …]
/dports/math/spot/spot-2.10.2/tests/python/
H A Dtwagraph.py107 assert aut.edge_storage(it).src == 0
108 assert aut.edge_storage(1).src == 0
119 assert aut.edge_storage(2).src == 0
120 assert aut.edge_storage(2).dst == 1
/dports/math/py-spot/spot-2.10.2/tests/python/
H A Dtwagraph.py107 assert aut.edge_storage(it).src == 0
108 assert aut.edge_storage(1).src == 0
119 assert aut.edge_storage(2).src == 0
120 assert aut.edge_storage(2).dst == 1
/dports/math/spot/spot-2.10.2/spot/graph/
H A Dgraph.hh183 struct SPOT_API edge_storage final: public Edge_Data struct
192 explicit edge_storage() in edge_storage() function
200 edge_storage(StateOut dst, Edge next_succ, in edge_storage() function
211 bool operator<(const edge_storage& other) const in operator <() argument
225 bool operator==(const edge_storage& other) const in operator ==() argument
278 return g_->edge_storage(t_); in operator *()
283 return &g_->edge_storage(t_); in operator ->()
349 this->g_->edge_storage(prev_).next_succ = next; in erase()
607 typedef internal::edge_storage<state, state, edge,
735 edge_storage(edge s) in edge_storage() function in spot::digraph
[all …]
/dports/math/py-spot/spot-2.10.2/spot/graph/
H A Dgraph.hh183 struct SPOT_API edge_storage final: public Edge_Data struct
192 explicit edge_storage() in edge_storage() argument
200 edge_storage(StateOut dst, Edge next_succ, in edge_storage() function
211 bool operator<(const edge_storage& other) const in operator <() argument
225 bool operator==(const edge_storage& other) const in operator ==() argument
278 return g_->edge_storage(t_); in operator *()
283 return &g_->edge_storage(t_); in operator ->()
349 this->g_->edge_storage(prev_).next_succ = next; in erase()
607 typedef internal::edge_storage<state, state, edge,
735 edge_storage(edge s) in edge_storage() function in spot::digraph
[all …]
/dports/devel/boost-docs/boost_1_72_0/boost/graph/planar_detail/
H A Dface_iterators.hpp66 struct edge_storage struct
70 struct edge_storage <Graph, true> struct
273 edge_storage<Graph, boost::is_same<ValueType, edge_t>::value > m_edge;
/dports/devel/R-cran-BH/BH/inst/include/boost/graph/planar_detail/
H A Dface_iterators.hpp76 template < typename Graph, bool StoreEdge > struct edge_storage struct
80 template < typename Graph > struct edge_storage< Graph, true > struct
250 edge_storage< Graph, boost::is_same< ValueType, edge_t >::value > m_edge;
/dports/games/frogatto/frogatto-1.3.1/MacOSJet/boost/include/boost/graph/planar_detail/
H A Dface_iterators.hpp66 struct edge_storage struct
70 struct edge_storage <Graph, true> struct
273 edge_storage<Graph, boost::is_same<ValueType, edge_t>::value > m_edge;
/dports/databases/percona57-pam-for-mysql/boost_1_59_0/boost/graph/planar_detail/
H A Dface_iterators.hpp66 struct edge_storage struct
70 struct edge_storage <Graph, true> struct
273 edge_storage<Graph, boost::is_same<ValueType, edge_t>::value > m_edge;
/dports/math/stanmath/math-4.2.0/lib/boost_1.75.0/boost/graph/planar_detail/
H A Dface_iterators.hpp76 template < typename Graph, bool StoreEdge > struct edge_storage struct
80 template < typename Graph > struct edge_storage< Graph, true > struct
250 edge_storage< Graph, boost::is_same< ValueType, edge_t >::value > m_edge;
/dports/science/py-scipy/scipy-1.7.1/scipy/_lib/boost/boost/graph/planar_detail/
H A Dface_iterators.hpp76 template < typename Graph, bool StoreEdge > struct edge_storage struct
80 template < typename Graph > struct edge_storage< Graph, true > struct
250 edge_storage< Graph, boost::is_same< ValueType, edge_t >::value > m_edge;
/dports/databases/xtrabackup/boost_1_59_0/boost/graph/planar_detail/
H A Dface_iterators.hpp66 struct edge_storage struct
70 struct edge_storage <Graph, true> struct
273 edge_storage<Graph, boost::is_same<ValueType, edge_t>::value > m_edge;
/dports/databases/percona57-server/boost_1_59_0/boost/graph/planar_detail/
H A Dface_iterators.hpp66 struct edge_storage struct
70 struct edge_storage <Graph, true> struct
273 edge_storage<Graph, boost::is_same<ValueType, edge_t>::value > m_edge;
/dports/math/deal.ii/dealii-803d21ff957e349b3799cd3ef2c840bc78734305/bundled/boost-1.70.0/include/boost/graph/planar_detail/
H A Dface_iterators.hpp66 struct edge_storage struct
70 struct edge_storage <Graph, true> struct
273 edge_storage<Graph, boost::is_same<ValueType, edge_t>::value > m_edge;
/dports/databases/percona57-client/boost_1_59_0/boost/graph/planar_detail/
H A Dface_iterators.hpp66 struct edge_storage struct
70 struct edge_storage <Graph, true> struct
273 edge_storage<Graph, boost::is_same<ValueType, edge_t>::value > m_edge;
/dports/security/keybase/client-v5.7.1/shared/ios/Pods/boost-for-react-native/boost/graph/planar_detail/
H A Dface_iterators.hpp66 struct edge_storage struct
70 struct edge_storage <Graph, true> struct
273 edge_storage<Graph, boost::is_same<ValueType, edge_t>::value > m_edge;
/dports/devel/boost-libs/boost_1_72_0/boost/graph/planar_detail/
H A Dface_iterators.hpp66 struct edge_storage struct
70 struct edge_storage <Graph, true> struct
273 edge_storage<Graph, boost::is_same<ValueType, edge_t>::value > m_edge;
/dports/devel/boost-python-libs/boost_1_72_0/boost/graph/planar_detail/
H A Dface_iterators.hpp66 struct edge_storage struct
70 struct edge_storage <Graph, true> struct
273 edge_storage<Graph, boost::is_same<ValueType, edge_t>::value > m_edge;
/dports/databases/mysqlwsrep57-server/boost_1_59_0/boost/graph/planar_detail/
H A Dface_iterators.hpp66 struct edge_storage struct
70 struct edge_storage <Graph, true> struct
273 edge_storage<Graph, boost::is_same<ValueType, edge_t>::value > m_edge;
/dports/math/py-pystan/pystan-2.19.0.0/pystan/stan/lib/stan_math/lib/boost_1.69.0/boost/graph/planar_detail/
H A Dface_iterators.hpp66 struct edge_storage struct
70 struct edge_storage <Graph, true> struct
273 edge_storage<Graph, boost::is_same<ValueType, edge_t>::value > m_edge;

123