| /dports/math/boolector/boolector-3.2.2/src/ |
| H A D | btorsat.c | 41 add (BtorSATMgr *smgr, int32_t lit) in add()
57 clone (Btor *btor, BtorSATMgr *smgr) in clone()
95 inc_max_var (BtorSATMgr *smgr) in inc_max_var()
102 init (BtorSATMgr *smgr) in init()
123 reset (BtorSATMgr *smgr) in reset()
149 setterm (BtorSATMgr *smgr) in setterm()
155 stats (BtorSATMgr *smgr) in stats()
167 BtorSATMgr *smgr; in btor_sat_mgr_new() local
331 init_flags (BtorSATMgr *smgr) in init_flags()
340 btor_sat_init (BtorSATMgr *smgr) in btor_sat_init()
[all …]
|
| /dports/math/boolector/boolector-3.2.2/src/sat/ |
| H A D | btorpicosat.c | 20 init (BtorSATMgr *smgr) in init()
37 add (BtorSATMgr *smgr, int32_t lit) in add()
43 sat (BtorSATMgr *smgr, int32_t limit) in sat()
49 deref (BtorSATMgr *smgr, int32_t lit) in deref()
55 reset (BtorSATMgr *smgr) in reset()
62 set_output (BtorSATMgr *smgr, FILE *output) in set_output()
80 inc_max_var (BtorSATMgr *smgr) in inc_max_var()
86 stats (BtorSATMgr *smgr) in stats()
92 fixed (BtorSATMgr *smgr, int32_t lit) in fixed()
100 assume (BtorSATMgr *smgr, int32_t lit) in assume()
[all …]
|
| H A D | btorcadical.c | 20 init (BtorSATMgr *smgr) in init()
33 add (BtorSATMgr *smgr, int32_t lit) in add()
39 assume (BtorSATMgr *smgr, int32_t lit) in assume()
45 deref (BtorSATMgr *smgr, int32_t lit) in deref()
66 failed (BtorSATMgr *smgr, int32_t lit) in failed()
72 reset (BtorSATMgr *smgr) in reset()
79 sat (BtorSATMgr *smgr, int32_t limit) in sat()
86 setterm (BtorSATMgr *smgr) in setterm()
97 inc_max_var (BtorSATMgr *smgr) in inc_max_var()
108 melt (BtorSATMgr *smgr, int32_t lit) in melt()
[all …]
|
| H A D | btorlgl.c | 35 init (BtorSATMgr *smgr) in init()
57 add (BtorSATMgr *smgr, int32_t lit) in add()
64 sat (BtorSATMgr *smgr, int32_t limit) in sat()
171 deref (BtorSATMgr *smgr, int32_t lit) in deref()
178 repr (BtorSATMgr *smgr, int32_t lit) in repr()
185 reset (BtorSATMgr *smgr) in reset()
217 inc_max_var (BtorSATMgr *smgr) in inc_max_var()
226 stats (BtorSATMgr *smgr) in stats()
243 melt (BtorSATMgr *smgr, int32_t lit) in melt()
264 clone (Btor *btor, BtorSATMgr *smgr) in clone()
[all …]
|
| H A D | btorminisat.cc | 137 init (BtorSATMgr* smgr) in init()
145 add (BtorSATMgr* smgr, int32_t lit) in add()
152 sat (BtorSATMgr* smgr, int32_t limit) in sat()
163 deref (BtorSATMgr* smgr, int32_t lit) in deref()
170 reset (BtorSATMgr* smgr) in reset()
177 inc_max_var (BtorSATMgr* smgr) in inc_max_var()
184 assume (BtorSATMgr* smgr, int32_t lit) in assume()
191 fixed (BtorSATMgr* smgr, int32_t lit) in fixed()
198 failed (BtorSATMgr* smgr, int32_t lit) in failed()
212 stats (BtorSATMgr* smgr) in stats()
[all …]
|
| H A D | btorcms.cc | 157 init (BtorSATMgr* smgr) in init()
168 add (BtorSATMgr* smgr, int32_t lit) in add()
175 sat (BtorSATMgr* smgr, int32_t limit) in sat()
183 deref (BtorSATMgr* smgr, int32_t lit) in deref()
190 reset (BtorSATMgr* smgr) in reset()
197 inc_max_var (BtorSATMgr* smgr) in inc_max_var()
204 assume (BtorSATMgr* smgr, int32_t lit) in assume()
211 fixed (BtorSATMgr* smgr, int32_t lit) in fixed()
218 failed (BtorSATMgr* smgr, int32_t lit) in failed()
232 stats (BtorSATMgr* smgr) in stats()
[all …]
|
| /dports/editors/libreoffice/libreoffice-7.2.6.2/ridljar/com/sun/star/comp/helper/ |
| H A D | SharedLibraryLoader.java | 69 String libName, XMultiServiceFactory smgr, XRegistryKey regKey, in component_writeInfo()
73 String libName, String implName, XMultiServiceFactory smgr, in component_getFactory()
91 XMultiServiceFactory smgr, in getServiceFactory()
117 XMultiServiceFactory smgr, in getServiceFactory()
139 com.sun.star.lang.XMultiServiceFactory smgr, in writeRegistryServiceInfo()
164 com.sun.star.lang.XMultiServiceFactory smgr, in writeRegistryServiceInfo()
|
| /dports/editors/libreoffice6/libreoffice-6.4.7.2/javaunohelper/com/sun/star/comp/helper/ |
| H A D | SharedLibraryLoader.java | 69 String libName, XMultiServiceFactory smgr, XRegistryKey regKey, in component_writeInfo()
73 String libName, String implName, XMultiServiceFactory smgr, in component_getFactory()
91 XMultiServiceFactory smgr, in getServiceFactory()
117 XMultiServiceFactory smgr, in getServiceFactory()
139 com.sun.star.lang.XMultiServiceFactory smgr, in writeRegistryServiceInfo()
164 com.sun.star.lang.XMultiServiceFactory smgr, in writeRegistryServiceInfo()
|
| /dports/games/freeminer/freeminer-0.4.10.4/src/ |
| H A D | content_cso.cpp | 47 SmokePuffCSO(scene::ISceneManager *smgr, in SmokePuffCSO()
89 ClientSimpleObject* createSmokePuff(scene::ISceneManager *smgr, in createSmokePuff()
|
| H A D | particles.cpp | 56 scene::ISceneManager* smgr, in Particle()
247 void addDiggingParticles(IGameDef* gamedef, scene::ISceneManager* smgr, in addDiggingParticles()
258 void addPunchingParticles(IGameDef* gamedef, scene::ISceneManager* smgr, in addPunchingParticles()
267 void addNodeParticle(IGameDef* gamedef, scene::ISceneManager* smgr, in addNodeParticle()
320 ParticleSpawner::ParticleSpawner(IGameDef* gamedef, scene::ISceneManager *smgr, LocalPlayer *player, in ParticleSpawner()
|
| H A D | drawscene.cpp | 53 scene::ISceneManager* smgr, bool draw_wield_tool, Client& client, in draw_anaglyph_3d_mode()
149 video::IVideoDriver* driver, Camera& camera, scene::ISceneManager* smgr, in draw_image()
235 scene::ISceneManager* smgr, const v2u32& screensize, in draw_interlaced_3d_mode()
296 scene::ISceneManager* smgr, const v2u32& screensize, in draw_sidebyside_3d_mode()
352 scene::ISceneManager* smgr, const v2u32& screensize, in draw_top_bottom_3d_mode()
418 void draw_scene(video::IVideoDriver* driver, scene::ISceneManager* smgr, in draw_scene()
|
| /dports/games/minetest/minetest-5.4.1/src/client/ |
| H A D | content_cso.cpp | 32 SmokePuffCSO(scene::ISceneManager *smgr, in SmokePuffCSO()
72 ClientSimpleObject* createSmokePuff(scene::ISceneManager *smgr, in createSmokePuff()
|
| /dports/x11-toolkits/irrlicht/irrlicht-1.8.5/examples/17.HelloWorld_Mobile/ |
| H A D | main.cpp | 128 ISceneManager* smgr = device->getSceneManager(); in startup() local
195 ISceneManager* smgr = device->getSceneManager(); in example_customscenenode() local
308 scene::ISceneManager* smgr = device->getSceneManager(); in example_terrain() local
447 ISceneManager* smgr = device->getSceneManager(); in example_helloworld() local
|
| /dports/editors/libreoffice/libreoffice-7.2.6.2/extensions/source/ole/ |
| H A D | servprov.cxx | 61 OneInstanceOleWrapper::OneInstanceOleWrapper( const Reference<XMultiServiceFactory>& smgr, in OneInstanceOleWrapper()
185 OleConverter::OleConverter( const Reference<XMultiServiceFactory> &smgr): in OleConverter()
192 OleConverter::OleConverter( const Reference<XMultiServiceFactory>& smgr, sal_uInt8 unoWrapperClass… in OleConverter()
352 OleClient::OleClient( const Reference<XMultiServiceFactory>& smgr): in OleClient()
470 OleServer::OleServer( const Reference<XMultiServiceFactory>& smgr): in OleServer()
|
| /dports/editors/libreoffice6/libreoffice-6.4.7.2/extensions/source/ole/ |
| H A D | servprov.cxx | 61 OneInstanceOleWrapper::OneInstanceOleWrapper( const Reference<XMultiServiceFactory>& smgr, in OneInstanceOleWrapper()
186 OleConverter::OleConverter( const Reference<XMultiServiceFactory> &smgr): in OleConverter()
193 OleConverter::OleConverter( const Reference<XMultiServiceFactory>& smgr, sal_uInt8 unoWrapperClass… in OleConverter()
353 OleClient::OleClient( const Reference<XMultiServiceFactory>& smgr): in OleClient()
471 OleServer::OleServer( const Reference<XMultiServiceFactory>& smgr): in OleServer()
|
| /dports/devel/codeblocks/codeblocks-20.03/src/plugins/scriptedwizard/resources/lf/files/structured/ |
| H A D | CMain.h | 17 lf::scene::CSceneManager* smgr; variable
|
| /dports/editors/libreoffice/libreoffice-7.2.6.2/cppuhelper/source/ |
| H A D | shlib.cxx | 109 void * smgr = va_arg(*args, void *); in getFactory() local
140 void * smgr = mapTo.mapInterface( in invokeComponentFactory() local
365 void * smgr = va_arg(*args, void *); in writeInfo() local
404 void * smgr = map.mapInterface( in writeSharedLibComponentInfo() local
|
| /dports/editors/libreoffice6/libreoffice-6.4.7.2/cppuhelper/source/ |
| H A D | shlib.cxx | 108 void * smgr = va_arg(*args, void *); in getFactory() local
139 void * smgr = mapTo.mapInterface( in invokeComponentFactory() local
367 void * smgr = va_arg(*args, void *); in writeInfo() local
406 void * smgr = map.mapInterface( in writeSharedLibComponentInfo() local
|
| /dports/devel/codeblocks/codeblocks-20.03/src/templates/common/ |
| H A D | irr_main.cpp | 87 ISceneManager* smgr = device->getSceneManager(); in main() local
|
| /dports/x11-toolkits/irrlicht/irrlicht-1.8.5/examples/01.HelloWorld/ |
| H A D | main.cpp | 145 ISceneManager* smgr = device->getSceneManager(); in main() local
|
| /dports/editors/libreoffice/libreoffice-7.2.6.2/pyuno/source/module/ |
| H A D | unohelper.py | 138 def writeRegistryInfo( self, regKey, smgr ): argument
146 def getComponentFactory( self, implementationName , regKey, smgr ): argument
171 def writeRegistryInfoHelper( smgr, regKey, seqEntries ): argument
190 def getComponentFactoryHelper( implementationName, smgr, regKey, seqEntries ): argument
|
| /dports/editors/libreoffice6/libreoffice-6.4.7.2/pyuno/source/module/ |
| H A D | unohelper.py | 138 def writeRegistryInfo( self, regKey, smgr ): argument
146 def getComponentFactory( self, implementationName , regKey, smgr ): argument
171 def writeRegistryInfoHelper( smgr, regKey, seqEntries ): argument
190 def getComponentFactoryHelper( implementationName, smgr, regKey, seqEntries ): argument
|
| /dports/devel/codeblocks/codeblocks-20.03/src/plugins/scriptedwizard/resources/irrlicht/files/ |
| H A D | main.cpp | 87 ISceneManager* smgr = device->getSceneManager(); in main() local
|
| /dports/devel/simgear/simgear-2020.3.11/simgear/sound/ |
| H A D | soundmgr_test2.cxx | 20 SGSoundMgr *smgr; in main() local
|
| /dports/games/flightgear/flightgear-2020.3.11/src/Sound/ |
| H A D | sample_queue.cxx | 39 FGSampleQueue::FGSampleQueue ( SGSoundMgr *smgr, const std::string &refname ) : in FGSampleQueue()
|