src/sylvan_cache.h
static inline int __attribute__((unused))
cache_get3(uint64_t opid, uint64_t dd, uint64_t d2, uint64_t d3, uint64_t *res)
{
    return cache_get(dd | opid, d2, d3, res);
}
/**
 * dd must be MTBDD, d2/d3 can be anything
 */
dd must be MTBDD, d2/d3 can be anything
dd must be MTBDD d2 / d3 can be anything
static inline int __attribute__((unused))
cache_get3(uint64_t opid, uint64_t dd, uint64_t d2, uint64_t d3, uint64_t *res)
{
    return cache_get(dd | opid, d2, d3, res);
}
static inline int __attribute__ ( ( unused ) ) cache_get3 ( uint64_t opid , uint64_t dd , uint64_t d2 , uint64_t d3 , uint64_t * res ) { return cache_get ( dd | opid , d2 , d3 , res ) ; }
dd must be MTBDD, d2/d3 can be anything
dd must be MTBDD d2 / d3 can be anything