| /dports/math/spot/spot-2.10.2/spot/twa/ |
| H A D | twa.cc | 39 twa::twa(const bdd_dict_ptr& d) in twa() function in spot::twa
47 twa::~twa() in ~twa()
98 twa::project_state(const state* s, in project_state()
107 twa::is_empty() const in is_empty()
116 twa::accepting_run() const in accepting_run()
128 twa::accepting_word() const in accepting_word()
143 twa::intersects(const_twa_ptr other) const in intersects()
216 twa::exclusive_run(const_twa_ptr other) const in exclusive_run()
259 twa::set_named_prop(std::string s, in set_named_prop()
273 twa::get_named_prop_(std::string s) const in get_named_prop_()
[all …]
|
| H A D | fwd.hh | 29 class twa;
30 typedef std::shared_ptr<twa> twa_ptr;
31 typedef std::shared_ptr<const twa> const_twa_ptr;
|
| H A D | Makefile.am | 27 twadir = $(pkgincludedir)/twa directory
36 twa.hh \
47 twa.cc \
|
| /dports/math/py-spot/spot-2.10.2/spot/twa/ |
| H A D | twa.cc | 39 twa::twa(const bdd_dict_ptr& d) in twa() function in spot::twa
47 twa::~twa() in ~twa()
98 twa::project_state(const state* s, in project_state()
107 twa::is_empty() const in is_empty()
116 twa::accepting_run() const in accepting_run()
128 twa::accepting_word() const in accepting_word()
143 twa::intersects(const_twa_ptr other) const in intersects()
216 twa::exclusive_run(const_twa_ptr other) const in exclusive_run()
259 twa::set_named_prop(std::string s, in set_named_prop()
273 twa::get_named_prop_(std::string s) const in get_named_prop_()
[all …]
|
| H A D | fwd.hh | 29 class twa;
30 typedef std::shared_ptr<twa> twa_ptr;
31 typedef std::shared_ptr<const twa> const_twa_ptr;
|
| H A D | Makefile.am | 27 twadir = $(pkgincludedir)/twa directory
36 twa.hh \
47 twa.cc \
|
| /dports/math/spot/spot-2.10.2/spot/twacube/ |
| H A D | twacube.cc | 124 operator<<(std::ostream& os, const twacube& twa) in operator <<() argument
126 spot::cubeset cs = twa.get_cubeset(); in operator <<()
127 os << "init : " << twa.init_ << '\n'; in operator <<()
128 for (unsigned i = 1; i <= twa.theg_.num_edges(); ++i) in operator <<()
129 os << twa.theg_.edge_storage(i).src << "->" in operator <<()
130 << twa.theg_.edge_storage(i).dst << " : " in operator <<()
131 << cs.dump(twa.theg_.edge_data(i).cube_, twa.aps_) in operator <<()
132 << ' ' << twa.theg_.edge_data(i).acc_ in operator <<()
|
| /dports/math/py-spot/spot-2.10.2/spot/twacube/ |
| H A D | twacube.cc | 124 operator<<(std::ostream& os, const twacube& twa) in operator <<() argument
126 spot::cubeset cs = twa.get_cubeset(); in operator <<()
127 os << "init : " << twa.init_ << '\n'; in operator <<()
128 for (unsigned i = 1; i <= twa.theg_.num_edges(); ++i) in operator <<()
129 os << twa.theg_.edge_storage(i).src << "->" in operator <<()
130 << twa.theg_.edge_storage(i).dst << " : " in operator <<()
131 << cs.dump(twa.theg_.edge_data(i).cube_, twa.aps_) in operator <<()
132 << ' ' << twa.theg_.edge_data(i).acc_ in operator <<()
|
| /dports/math/spot/spot-2.10.2/spot/mc/ |
| H A D | intersect.hh | 35 twacube_ptr twa, in forward_iterators() argument
51 if (just_visited && twa->get_cubeset() in forward_iterators()
52 .intersect(twa->trans_data(it_prop, tid).cube_, in forward_iterators()
68 if (SPOT_UNLIKELY(twa->get_cubeset() in forward_iterators()
69 .intersect(twa->trans_data(it_prop, tid).cube_, in forward_iterators()
|
| /dports/math/py-spot/spot-2.10.2/spot/mc/ |
| H A D | intersect.hh | 35 twacube_ptr twa, in forward_iterators() argument
51 if (just_visited && twa->get_cubeset() in forward_iterators()
52 .intersect(twa->trans_data(it_prop, tid).cube_, in forward_iterators()
68 if (SPOT_UNLIKELY(twa->get_cubeset() in forward_iterators()
69 .intersect(twa->trans_data(it_prop, tid).cube_, in forward_iterators()
|
| /dports/net/c3270/suite3270-4.0/x3270/ |
| H A D | popups.c | 374 x = twa.x; in place_popup()
375 y = twa.y + twa.height; in place_popup()
397 x = twa.x - popup_width - (twa.width - main_width); in place_popup()
398 y = twa.y; in place_popup()
428 x = twa.x + twa.width; in place_popup()
429 y = twa.y; in place_popup()
460 y = twa.y + menubar_qheight(win_width) + (y - twa.y); in place_popup()
589 y = twa.y + twa.height; in move_popup()
602 x = twa.x - popup_width - (twa.width - main_width); in move_popup()
615 x = twa.x + twa.width; in move_popup()
[all …]
|
| /dports/x11/x3270/suite3270-4.0/x3270/ |
| H A D | popups.c | 374 x = twa.x; in place_popup()
375 y = twa.y + twa.height; in place_popup()
397 x = twa.x - popup_width - (twa.width - main_width); in place_popup()
398 y = twa.y; in place_popup()
428 x = twa.x + twa.width; in place_popup()
429 y = twa.y; in place_popup()
460 y = twa.y + menubar_qheight(win_width) + (y - twa.y); in place_popup()
589 y = twa.y + twa.height; in move_popup()
602 x = twa.x - popup_width - (twa.width - main_width); in move_popup()
615 x = twa.x + twa.width; in move_popup()
[all …]
|
| /dports/misc/rump/buildrump.sh-b914579/src/sys/dev/pci/ |
| H A D | ld_twa.c | 107 struct twa_softc *twa = device_private(parent); in ld_twa_attach() local
111 twa_register_callbacks(twa, twa_args->twaa_unit, &ld_twa_callbacks); in ld_twa_attach()
115 ld->sc_secperunit = twa->sc_units[sc->sc_hwunit].td_size; in ld_twa_attach()
118 ld->sc_maxqueuecnt = twa->sc_units[sc->sc_hwunit].td_openings; in ld_twa_attach()
145 struct twa_softc *twa; in ld_twa_dobio() local
147 twa = device_private(device_parent(sc->sc_ld.sc_dv)); in ld_twa_dobio()
149 if ((tr = twa_get_request(twa, 0)) == NULL) { in ld_twa_dobio()
240 struct twa_softc *twa = device_private(device_parent(ld->sc_dv)); in ld_twa_flush() local
245 tr = twa_get_request_wait(twa, 0); in ld_twa_flush()
|
| /dports/math/spot/spot-2.10.2/doc/org/ |
| H A D | tut50.org | 86 twa <|-- twa_graph
87 abstract class twa
88 hide twa members
113 twa *--> acc_cond
518 twa *--> acc_cond
540 To explore a =twa=, one would first call =twa::get_init_state()=,
582 #include <spot/twa/twa.hh>
659 #include <spot/twa/twa.hh>
710 #include <spot/twa/twa.hh>
778 #include <spot/twa/twa.hh>
[all …]
|
| H A D | upgrade2.org | 128 #include <spot/twa/twa.hh> // the new name of tgba/tgba.hh
310 | ~tgba/public.hh~ | ~spot/twa/twa.hh~ | …
313 | ~tgba/state.hh~ | ~spot/twa/twa.hh~ | …
315 | ~tgba/succiter.hh~ | ~spot/twa/twa.hh~ | …
323 | ~tgba/tgba.hh~ | ~spot/twa/twa.hh~ | …
429 typedef std::shared_ptr<twa> twa_ptr;
441 * The =twa= class replaces =tgba=
443 :CUSTOM_ID: tgba-twa
528 =twa::~twa()=. In some case, this is too late. For instance the
532 =twa::iter_cache_= for its deletion in =twa::~tgba()= would be
[all …]
|
| /dports/math/py-spot/spot-2.10.2/doc/org/ |
| H A D | tut50.org | 86 twa <|-- twa_graph
87 abstract class twa
88 hide twa members
113 twa *--> acc_cond
518 twa *--> acc_cond
540 To explore a =twa=, one would first call =twa::get_init_state()=,
582 #include <spot/twa/twa.hh>
659 #include <spot/twa/twa.hh>
710 #include <spot/twa/twa.hh>
778 #include <spot/twa/twa.hh>
[all …]
|
| H A D | upgrade2.org | 128 #include <spot/twa/twa.hh> // the new name of tgba/tgba.hh
310 | ~tgba/public.hh~ | ~spot/twa/twa.hh~ | …
313 | ~tgba/state.hh~ | ~spot/twa/twa.hh~ | …
315 | ~tgba/succiter.hh~ | ~spot/twa/twa.hh~ | …
323 | ~tgba/tgba.hh~ | ~spot/twa/twa.hh~ | …
429 typedef std::shared_ptr<twa> twa_ptr;
441 * The =twa= class replaces =tgba=
443 :CUSTOM_ID: tgba-twa
528 =twa::~twa()=. In some case, this is too late. For instance the
532 =twa::iter_cache_= for its deletion in =twa::~tgba()= would be
[all …]
|
| /dports/math/py-cryptominisat/cryptominisat-5.8.0/docs/satcomp15-pdf/ |
| H A D | ieee.cls | 1361 \parshape=\tcn \the\twa }
1428 % Here the token \twa is generated.
1438 \loop\twa=\expandafter{\the\twa\the\ha}\advance\tcd -1
1442 \loop\twa=\expandafter{\the\twa\the\ra}\advance\nb -1
1445 \global\twa=\expandafter{\the\twa 0pt \the\linewidth}}
|
| /dports/math/py-cryptominisat/cryptominisat-5.8.0/docs/satcomp20-pdf/ccanr/ |
| H A D | ieee.cls | 1361 \parshape=\tcn \the\twa }
1428 % Here the token \twa is generated.
1438 \loop\twa=\expandafter{\the\twa\the\ha}\advance\tcd -1
1442 \loop\twa=\expandafter{\the\twa\the\ra}\advance\nb -1
1445 \global\twa=\expandafter{\the\twa 0pt \the\linewidth}}
|
| /dports/math/py-cryptominisat/cryptominisat-5.8.0/docs/satrace19-pdf/walksat/ |
| H A D | ieee.cls | 1361 \parshape=\tcn \the\twa }
1428 % Here the token \twa is generated.
1438 \loop\twa=\expandafter{\the\twa\the\ha}\advance\tcd -1
1442 \loop\twa=\expandafter{\the\twa\the\ra}\advance\nb -1
1445 \global\twa=\expandafter{\the\twa 0pt \the\linewidth}}
|
| /dports/math/py-cryptominisat/cryptominisat-5.8.0/docs/satcomp16-pdf/ |
| H A D | ieee.cls | 1361 \parshape=\tcn \the\twa }
1428 % Here the token \twa is generated.
1438 \loop\twa=\expandafter{\the\twa\the\ha}\advance\tcd -1
1442 \loop\twa=\expandafter{\the\twa\the\ra}\advance\nb -1
1445 \global\twa=\expandafter{\the\twa 0pt \the\linewidth}}
|
| /dports/math/py-cryptominisat/cryptominisat-5.8.0/docs/satcomp18-pdf/ |
| H A D | ieee.cls | 1361 \parshape=\tcn \the\twa }
1428 % Here the token \twa is generated.
1438 \loop\twa=\expandafter{\the\twa\the\ha}\advance\tcd -1
1442 \loop\twa=\expandafter{\the\twa\the\ra}\advance\nb -1
1445 \global\twa=\expandafter{\the\twa 0pt \the\linewidth}}
|
| /dports/math/py-cryptominisat/cryptominisat-5.8.0/docs/satrace19-pdf/yalsat/ |
| H A D | ieee.cls | 1361 \parshape=\tcn \the\twa }
1428 % Here the token \twa is generated.
1438 \loop\twa=\expandafter{\the\twa\the\ha}\advance\tcd -1
1442 \loop\twa=\expandafter{\the\twa\the\ra}\advance\nb -1
1445 \global\twa=\expandafter{\the\twa 0pt \the\linewidth}}
|
| /dports/math/py-cryptominisat/cryptominisat-5.8.0/docs/satcomp14-pdf/ |
| H A D | ieee.cls | 1361 \parshape=\tcn \the\twa }
1428 % Here the token \twa is generated.
1438 \loop\twa=\expandafter{\the\twa\the\ha}\advance\tcd -1
1442 \loop\twa=\expandafter{\the\twa\the\ra}\advance\nb -1
1445 \global\twa=\expandafter{\the\twa 0pt \the\linewidth}}
|
| /dports/math/py-cryptominisat/cryptominisat-5.8.0/docs/satcomp20-pdf/walksat/ |
| H A D | ieee.cls | 1361 \parshape=\tcn \the\twa }
1428 % Here the token \twa is generated.
1438 \loop\twa=\expandafter{\the\twa\the\ha}\advance\tcd -1
1442 \loop\twa=\expandafter{\the\twa\the\ra}\advance\nb -1
1445 \global\twa=\expandafter{\the\twa 0pt \the\linewidth}}
|