Home
last modified time | relevance | path

Searched defs:twa (Results 1 – 25 of 64) sorted by relevance

123

/dports/misc/rump/buildrump.sh-b914579/src/sys/dev/pci/
H A Dld_twa.c107 struct twa_softc *twa = device_private(parent); in ld_twa_attach() local
145 struct twa_softc *twa; in ld_twa_dobio() local
240 struct twa_softc *twa = device_private(device_parent(ld->sc_dv)); in ld_twa_flush() local
/dports/math/spot/spot-2.10.2/spot/twa/
H A DMakefile.am27 twadir = $(pkgincludedir)/twa directory
H A Dtwa.cc39 twa::twa(const bdd_dict_ptr& d) in twa() function in spot::twa
/dports/math/py-spot/spot-2.10.2/spot/twa/
H A DMakefile.am27 twadir = $(pkgincludedir)/twa directory
H A Dtwa.cc39 twa::twa(const bdd_dict_ptr& d) in twa() function in spot::twa
/dports/math/spot/spot-2.10.2/spot/mc/
H A Dintersect.hh35 twacube_ptr twa, in forward_iterators()
H A Dutils.hh139 twa_graph_ptr twa() in twa() function in spot::kripkecube_to_twa
204 twacube_ptr twa): in product_to_twa()
282 twa_graph_ptr twa() in twa() function in spot::product_to_twa
H A Dlpar13.hh83 twacube_ptr twa, in lpar13()
H A Dcndfs.hh109 swarmed_cndfs(kripkecube<State, SuccIterator>& sys, twacube_ptr twa, in swarmed_cndfs()
/dports/math/py-spot/spot-2.10.2/spot/mc/
H A Dintersect.hh35 twacube_ptr twa, in forward_iterators()
H A Dutils.hh139 twa_graph_ptr twa() in twa() function in spot::kripkecube_to_twa
204 twacube_ptr twa): in product_to_twa()
282 twa_graph_ptr twa() in twa() function in spot::product_to_twa
H A Dlpar13.hh83 twacube_ptr twa, in lpar13()
/dports/print/lyx/lyx-2.3.4.2/src/frontends/qt4/
H A DGuiView.cpp355 TabWorkArea * twa = tabWorkArea(i); in currentTabWorkArea() local
369 TabWorkArea * twa = tabWorkArea(i); in countWorkAreasOf() local
1424 if (TabWorkArea * twa = d.currentTabWorkArea()) in workArea() local
1436 if (TabWorkArea * twa = d.currentTabWorkArea()) in workArea() local
1453 TabWorkArea * twa = new TabWorkArea; in addTabWorkArea() local
1554 TabWorkArea * twa = d.tabWorkArea(i); in removeWorkArea() local
1577 TabWorkArea * twa = d.currentTabWorkArea(); in removeWorkArea() local
2912 TabWorkArea * twa = d.tabWorkArea(i); in writeSession() local
2955 TabWorkArea * twa = d.tabWorkArea(empty_twa); in closeWorkAreaAll() local
3064 bool GuiView::closeTabWorkArea(TabWorkArea * twa) in closeTabWorkArea()
[all …]
/dports/math/spot/spot-2.10.2/spot/
H A DMakefile.am33 SUBDIRS = misc priv tl graph twa twacube twaalgos ta taalgos kripke \ subdir
/dports/math/py-spot/spot-2.10.2/spot/
H A DMakefile.am33 SUBDIRS = misc priv tl graph twa twacube twaalgos ta taalgos kripke \ subdir
/dports/math/spot/spot-2.10.2/spot/twacube/
H A Dtwacube.cc124 operator<<(std::ostream& os, const twacube& twa) in operator <<()
/dports/math/py-spot/spot-2.10.2/spot/twacube/
H A Dtwacube.cc124 operator<<(std::ostream& os, const twacube& twa) in operator <<()
/dports/math/spot/spot-2.10.2/spot/twacube_algos/
H A Dconvert.cc188 const spot::const_twa_graph_ptr twa) in are_equivalent()
/dports/math/py-spot/spot-2.10.2/spot/twacube_algos/
H A Dconvert.cc188 const spot::const_twa_graph_ptr twa) in are_equivalent()
/dports/games/libretro-yabause/yabause-ea5b118/yabause/src/
H A Dscspdsp.h49 u64 twa : 7; member
107 u64 twa : 7; member
/dports/math/spot/spot-2.10.2/python/spot/
H A D__init__.py201 class twa: class
245 class twa: class
/dports/math/py-spot/spot-2.10.2/python/spot/
H A D__init__.py201 class twa: class
245 class twa: class
/dports/graphics/opencollada/OpenCOLLADA-1.6.68/Externals/MayaDataModel/include/
H A DMayaDMHardwareRenderGlobals.h137 void setWriteAlphaAsColor(bool twa) in setWriteAlphaAsColor()
/dports/net/c3270/suite3270-4.0/x3270/
H A Dpopups.c288 XWindowAttributes twa, pwa; in place_popup() local
532 XWindowAttributes twa; /* toplevel parent window attributes */ in move_popup() local
/dports/x11/x3270/suite3270-4.0/x3270/
H A Dpopups.c288 XWindowAttributes twa, pwa; in place_popup() local
532 XWindowAttributes twa; /* toplevel parent window attributes */ in move_popup() local

123