Home
last modified time | relevance | path

Searched refs:registerAtom (Results 1 – 25 of 47) sorted by relevance

12

/dports/math/cvc3/cvc3-2.4.1/test/
H A Dgeorge.cpp241 vc->registerAtom(id863); in testgeorge1()
244 vc->registerAtom(id867); in testgeorge1()
248 vc->registerAtom(id877); in testgeorge1()
251 vc->registerAtom(id891); in testgeorge1()
255 vc->registerAtom(id897); in testgeorge1()
258 vc->registerAtom(id899); in testgeorge1()
261 vc->registerAtom(id901); in testgeorge1()
264 vc->registerAtom(id903); in testgeorge1()
267 vc->registerAtom(id905); in testgeorge1()
270 vc->registerAtom(id909); in testgeorge1()
[all …]
H A Dmain.cpp1026 vc->registerAtom(vc->eqExpr(x,vc->ratExpr(0,1))); in test11()
1027 vc->registerAtom(xeqy); in test11()
1028 vc->registerAtom(yeqx); in test11()
1029 vc->registerAtom(xeqz); in test11()
1030 vc->registerAtom(zeqx); in test11()
1031 vc->registerAtom(yeqz); in test11()
1032 vc->registerAtom(zeqy); in test11()
1033 vc->registerAtom(px); in test11()
1034 vc->registerAtom(py); in test11()
1035 vc->registerAtom(vc->eqExpr(fx, fy)); in test11()
/dports/editors/hte/ht-e9e63373148da5d7df397d8075740d8c096ecb1d/
H A Dhtelfhd.cc225 registerAtom(ATOM_ELF_CLASS, elf_class); in htelfheader_init()
226 registerAtom(ATOM_ELF_DATA, elf_data); in htelfheader_init()
227 registerAtom(ATOM_ELF_OS_ABI, elf_os_abi); in htelfheader_init()
228 registerAtom(ATOM_ELF_TYPE, elf_type); in htelfheader_init()
229 registerAtom(ATOM_ELF_MACHINE, elf_machine); in htelfheader_init()
H A Dhtcoffhd.cc213 registerAtom(ATOM_COFF_MACHINES, coff_machines); in htcoffheader_init()
214 registerAtom(ATOM_COFF_OPTIONAL_MAGICS, coff_optional_magics); in htcoffheader_init()
215 registerAtom(ATOM_COFF_OPTIONAL_SIZES, coff_optional_sizes); in htcoffheader_init()
216 registerAtom(ATOM_COFF_CHARACTERISTICS, coff_characteristics); in htcoffheader_init()
217 registerAtom(ATOM_COFF_SECTION_CHARACTERISTICS, coff_section_characteristics); in htcoffheader_init()
H A Dhtelfphs.cc96 registerAtom(ATOM_ELF_PH_TYPE, elf_ph_type); in htelfprogramheaders_init()
97 registerAtom(ATOM_ELF_PH_FLAGS, elf_ph_flags); in htelfprogramheaders_init()
131 registerAtom(ATOM_ELF_PH_TYPE, elf_ph_type); in htelfprogramheaders_init()
132 registerAtom(ATOM_ELF_PH_FLAGS, elf_ph_flags); in htelfprogramheaders_init()
H A Dhtlehead.cc148 registerAtom(ATOM_LE_FLAGS, le_flags); in htleheader_init()
149 registerAtom(ATOM_LE_MACHINE, le_machines); in htleheader_init()
150 registerAtom(ATOM_LE_OS, le_os); in htleheader_init()
H A Dhtelfshs.cc108 registerAtom(ATOM_ELF_SH_TYPE, elf_sh_type); in htelfsectionheaders_init()
109 registerAtom(ATOM_ELF_SH_FLAGS, elf_sh_flags); in htelfsectionheaders_init()
161 registerAtom(ATOM_ELF_SH_TYPE, elf_sh_type); in htelfsectionheaders_init()
162 registerAtom(ATOM_ELF_SH_FLAGS, elf_sh_flags); in htelfsectionheaders_init()
H A Dhtpefhd.cc143 registerAtom(ATOM_PEF_ARCH, pef_arch); in htpefheader_init()
144 registerAtom(ATOM_PEF_SHARE_KIND, pef_shareKind); in htpefheader_init()
145 registerAtom(ATOM_PEF_SECTION_KIND, pef_sectionKind); in htpefheader_init()
H A Dhtpehead.cc173 registerAtom(ATOM_COFF_MACHINES, coff_machines); in htpeheader_init()
174 registerAtom(ATOM_COFF_CHARACTERISTICS, coff_characteristics); in htpeheader_init()
175 registerAtom(ATOM_COFF_SECTION_CHARACTERISTICS, coff_section_characteristics); in htpeheader_init()
176 registerAtom(ATOM_PE_OPTIONAL_MAGICS, pe_optional_magics); in htpeheader_init()
177 registerAtom(ATOM_PE_SUBSYSTEMS, pe_subsystems); in htpeheader_init()
178 registerAtom(ATOM_PE_DLL_CHARACTERISTICS, pe_dll_characteristics); in htpeheader_init()
H A Dhtxbehead.cc203 registerAtom(ATOM_XBE_INIT_FLAGS, xbe_init_flags); in htxbeheader_init()
204 registerAtom(ATOM_XBE_SECTION_FLAGS, xbe_section_flags); in htxbeheader_init()
205 registerAtom(ATOM_XBE_MEDIA_FLAGS, xbe_media_flags); in htxbeheader_init()
206 registerAtom(ATOM_XBE_REGION, xbe_region_codes); in htxbeheader_init()
207 registerAtom(ATOM_XBE_LIBRARY_FLAGS, xbe_library_flags); in htxbeheader_init()
H A Dhtnehead.cc103 registerAtom(ATOM_NE_OS, ne_os); in htneheader_init()
104 registerAtom(ATOM_NE_FLAGS, ne_flags); in htneheader_init()
H A Dhtleent.cc82 registerAtom(ATOM_LE_ENTRY_FLAGS, le_entry_flags); in htleentrypoints_init()
83 registerAtom(ATOM_LE_ENTRY_BUNDLE_FLAGS, le_entry_bundle_flags); in htleentrypoints_init()
H A Dhthist.cc142 registerAtom(atom, c); in create_hist_atom()
175 registerAtom(atom, c); in load_history()
H A Datom.h30 bool registerAtom(uint id, void *data);
H A Datom.cc75 bool registerAtom(uint id, void *value) in registerAtom() function
H A Dhtneobj.cc76 registerAtom(ATOM_NE_SEGFLAGS, ne_segflags); in htnesegments_init()
H A Dhtleobj.cc77 registerAtom(ATOM_LE_OBJFLAGS, le_objflags); in htleobjects_init()
H A Dhtelfrel.cc148 registerAtom(ATOM_ELF_R_386_TYPE, elf_r_386_type); in htelfreloctable_init()
149 registerAtom(ATOM_ELF_R_X86_64_TYPE, elf_r_x86_64_type); in htelfreloctable_init()
H A Dhtneent.cc50 registerAtom(ATOM_NE_ENTFLAGS, ne_entflags); in htneentrypoints_init()
/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dsearch_impl_base.h200 virtual void registerAtom(const Expr& e) in registerAtom() function
201 { d_core->theoryOf(e)->registerAtom(e, Theorem()); } in registerAtom()
H A Dcnf_manager.h114 virtual void registerAtom(const CVC3::Expr& e,
125 void registerAtom(const CVC3::Expr& e, const CVC3::Theorem& thm);
H A Dsearch.h93 virtual void registerAtom(const Expr& e) = 0;
H A Dtheory.h378 virtual void registerAtom(const Expr& e, const Theorem& thm);
387 virtual void registerAtom(const Expr& e) { } in registerAtom() function
/dports/math/cvc3/cvc3-2.4.1/src/sat/
H A Dcnf_manager.cpp67 void CNF_Manager::registerAtom(const Expr& e, const Theorem& thm) in registerAtom() function in CNF_Manager
70 if (d_cnfCallback && !e.isRegisteredAtom()) d_cnfCallback->registerAtom(e, thm); in registerAtom()
440 registerAtom(e, thmIn); in translateExprRec()
474 if (!e2.isEq() || e2[0] != e2[1]) registerAtom(e2, thmIn); in translateExprRec()
/dports/math/cvc3/cvc3-2.4.1/java/src/cvc3/
H A DTest.java1199 vc.registerAtom(vc.eqExpr(x,vc.ratExpr(0,1))); in test11()
1200 vc.registerAtom(xeqy); in test11()
1201 vc.registerAtom(yeqx); in test11()
1202 vc.registerAtom(xeqz); in test11()
1203 vc.registerAtom(zeqx); in test11()
1204 vc.registerAtom(yeqz); in test11()
1205 vc.registerAtom(zeqy); in test11()
1206 vc.registerAtom(px); in test11()
1207 vc.registerAtom(py); in test11()
1208 vc.registerAtom(vc.eqExpr(fx, fy)); in test11()

12