12 #ifndef __CODAC_HASHCODE_H__ 13 #define __CODAC_HASHCODE_H__ 24 class ContractorHashcode
28 ContractorHashcode(
const Contractor& ctc);
29 bool operator<(
const ContractorHashcode& a)
const;
34 std::uintptr_t *m_ptr;
41 DomainHashcode(
const Domain& dom);
42 bool operator<(
const DomainHashcode& a)
const;
44 static std::uintptr_t uintptr(
const Domain& dom);
55 struct hash<
codac::Domain>
57 std::uintptr_t operator()(
const codac::Domain& dom)
const 59 return codac::DomainHashcode::uintptr(dom);
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9
Definition: codac_Hashcode.h:52