/dports/math/cvc3/cvc3-2.4.1/test/ |
H A D | george.cpp | 241 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 D | main.cpp | 1026 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 D | htelfhd.cc | 225 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 D | htcoffhd.cc | 213 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 D | htelfphs.cc | 96 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 D | htlehead.cc | 148 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 D | htelfshs.cc | 108 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 D | htpefhd.cc | 143 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 D | htpehead.cc | 173 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 D | htxbehead.cc | 203 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 D | htnehead.cc | 103 registerAtom(ATOM_NE_OS, ne_os); in htneheader_init() 104 registerAtom(ATOM_NE_FLAGS, ne_flags); in htneheader_init()
|
H A D | htleent.cc | 82 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 D | hthist.cc | 142 registerAtom(atom, c); in create_hist_atom() 175 registerAtom(atom, c); in load_history()
|
H A D | atom.h | 30 bool registerAtom(uint id, void *data);
|
H A D | atom.cc | 75 bool registerAtom(uint id, void *value) in registerAtom() function
|
H A D | htneobj.cc | 76 registerAtom(ATOM_NE_SEGFLAGS, ne_segflags); in htnesegments_init()
|
H A D | htleobj.cc | 77 registerAtom(ATOM_LE_OBJFLAGS, le_objflags); in htleobjects_init()
|
H A D | htelfrel.cc | 148 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 D | htneent.cc | 50 registerAtom(ATOM_NE_ENTFLAGS, ne_entflags); in htneentrypoints_init()
|
/dports/math/cvc3/cvc3-2.4.1/src/include/ |
H A D | search_impl_base.h | 200 virtual void registerAtom(const Expr& e) in registerAtom() function 201 { d_core->theoryOf(e)->registerAtom(e, Theorem()); } in registerAtom()
|
H A D | cnf_manager.h | 114 virtual void registerAtom(const CVC3::Expr& e, 125 void registerAtom(const CVC3::Expr& e, const CVC3::Theorem& thm);
|
H A D | search.h | 93 virtual void registerAtom(const Expr& e) = 0;
|
H A D | theory.h | 378 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 D | cnf_manager.cpp | 67 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 D | Test.java | 1199 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()
|