#include "pbori_defs.h"
#include "CCacheManagement.h"
#include "BoolePolyRing.h"
Go to the source code of this file.
This file contains the user variant for the (internal) CCacheManagement, which can find the active ring.