| /dports/math/yices/yices-2.6.2/src/solvers/egraph/ |
| H A D | composites.h | 174 extern void init_sign_buffer(signature_t *s);
175 extern void delete_sign_buffer(signature_t *s);
187 extern void signature_basic(composite_t *c, elabel_t *label, signature_t *s);
188 extern void signature_eq(composite_t *c, elabel_t *label, signature_t *s);
189 extern void signature_ite(composite_t *c, elabel_t *label, signature_t *s);
190 extern void signature_distinct(composite_t *c, elabel_t *label, signature_t *s);
191 extern void signature_or(composite_t *c, elabel_t *label, signature_t *s);
192 extern void signature_lambda(composite_t *c, elabel_t *label, signature_t *s);
214 extern uint32_t hash_signature(signature_t *s);
219 extern bool equal_signatures(signature_t *s1, signature_t *s2);
[all …]
|
| H A D | composites.c | 749 void init_sign_buffer(signature_t *s) { in init_sign_buffer()
758 static void resize_sign_buffer(signature_t *s, uint32_t n) { in resize_sign_buffer()
769 void delete_sign_buffer(signature_t *s) { in delete_sign_buffer()
798 void signature_basic(composite_t *c, elabel_t *label, signature_t *s) { in signature_basic()
813 void signature_eq(composite_t *c, elabel_t *label, signature_t *s) { in signature_eq()
825 void signature_ite(composite_t *c, elabel_t *label, signature_t *s) { in signature_ite()
868 void signature_or(composite_t *c, elabel_t *label, signature_t *s) { in signature_or()
963 uint32_t hash_signature(signature_t *s) { in hash_signature()
975 bool equal_signatures(signature_t *s1, signature_t *s2) { in equal_signatures()
993 bool signature_matches(composite_t *c, signature_t *s, signature_t *aux, elabel_t *label) { in signature_matches()
[all …]
|
| H A D | egraph_types.h | 673 } signature_t; typedef
693 signature_t buffer; // for internal use
1396 signature_t sgn; // auxiliary buffer for congruence closure
|
| H A D | egraph_printer.h | 47 extern void print_signature(FILE *f, signature_t *s);
|
| /dports/math/spot/spot-2.10.2/spot/twaalgos/ |
| H A D | canonicalize.cc | 31 struct signature_t struct
38 operator<(const signature_t& o) const in operator <() argument
46 typedef std::map<signature_t, std::vector<unsigned>> sig2states_t;
51 std::vector<signature_t> signature(aut->num_states(), signature_t()); in sig_to_states()
|
| /dports/math/py-spot/spot-2.10.2/spot/twaalgos/ |
| H A D | canonicalize.cc | 31 struct signature_t struct
38 operator<(const signature_t& o) const in operator <() argument
46 typedef std::map<signature_t, std::vector<unsigned>> sig2states_t;
51 std::vector<signature_t> signature(aut->num_states(), signature_t()); in sig_to_states()
|
| /dports/multimedia/mkvtoolnix/mkvtoolnix-65.0.0/src/input/ |
| H A D | unsupported_types_signature_prober.cpp | 35 struct signature_t { struct
43 signature_t::match(mm_io_c &in) in match()
65 std::vector<signature_t> signatures{ in probe_file()
|
| /dports/sysutils/testdisk/testdisk-7.1/src/ |
| H A D | file_sig.c | 60 typedef struct signature_s signature_t; typedef
67 signature_t *next;
70 static signature_t *signatures=NULL;
74 signature_t *newsig=(signature_t*)MALLOC(sizeof(*newsig)); in signature_insert()
85 signature_t *sig; in header_check_sig()
|
| /dports/devel/firmware-utils/firmware-utils-20111222/ |
| H A D | mkfwimage2.c | 86 signature_t* sign = (signature_t*)(mem + sig_offset); in write_signature()
87 memset(sign, 0, sizeof(signature_t)); in write_signature()
328 mem_size = sizeof(header_t) + sizeof(signature_t); in build_image()
357 write_signature(mem, mem_size - sizeof(signature_t)); in build_image()
|
| H A D | mkfwimage.c | 132 signature_t* sign = (signature_t*)(mem + sig_offset); in write_signature()
133 memset(sign, 0, sizeof(signature_t)); in write_signature()
327 mem_size = sizeof(header_t) + sizeof(signature_t); in build_image()
356 write_signature(mem, mem_size - sizeof(signature_t)); in build_image()
|
| H A D | fw.h | 58 } __attribute__ ((packed)) signature_t; typedef
|
| /dports/sysutils/mkfwimage/ubnt-mkfwimage-r1/ |
| H A D | mkfwimage.c | 133 signature_t* sign = (signature_t*)(mem + sig_offset); in write_signature()
134 memset(sign, 0, sizeof(signature_t)); in write_signature()
328 mem_size = sizeof(header_t) + sizeof(signature_t); in build_image()
357 write_signature(mem, mem_size - sizeof(signature_t)); in build_image()
|
| H A D | fw.h | 58 } __attribute__ ((packed)) signature_t; typedef
|
| /dports/sysutils/libcdio/libcdio-2.1.0/lib/driver/ |
| H A D | cd_types.c | 90 } signature_t; typedef
92 static const signature_t sigs[] =
162 const signature_t *sigp=&sigs[num]; in _cdio_is_it()
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/g++.dg/cpp1z/ |
| H A D | using8.C | 9 using signature_t = Ret(Args...) noexcept(NoExcept);
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/g++.dg/cpp1z/ |
| H A D | using8.C | 9 using signature_t = Ret(Args...) noexcept(NoExcept);
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/g++.dg/cpp1z/ |
| H A D | using8.C | 9 using signature_t = Ret(Args...) noexcept(NoExcept);
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/g++.dg/cpp1z/ |
| H A D | using8.C | 9 using signature_t = Ret(Args...) noexcept(NoExcept);
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/g++.dg/cpp1z/ |
| H A D | using8.C | 9 using signature_t = Ret(Args...) noexcept(NoExcept);
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/g++.dg/cpp1z/ |
| H A D | using8.C | 9 using signature_t = Ret(Args...) noexcept(NoExcept);
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/g++.dg/cpp1z/ |
| H A D | using8.C | 9 using signature_t = Ret(Args...) noexcept(NoExcept);
|
| /dports/sysutils/libcdio/libcdio-2.1.0/src/ |
| H A D | cdinfo-linux.c | 159 } signature_t; typedef
174 static signature_t sigs[] =
340 signature_t *sigp; in is_it()
|
| /dports/multimedia/kodi/xbmc-19.3-Matrix/xbmc/storage/ |
| H A D | cdioSupport.h | 83 signature_t; typedef
307 static signature_t sigs[17];
|
| H A D | cdioSupport.cpp | 33 signature_t CCdIoSupport::sigs[] =
478 signature_t *sigp = &sigs[num]; in IsIt()
|
| /dports/math/yices/yices-2.6.2/tests/unit/ |
| H A D | test_composites.c | 67 static signature_t sgn;
|