ClauseMeta Struct Reference

Collaboration diagram for ClauseMeta:

Public Attributes
int32_t	productionEpoch
int32_t	sharedEpoch
uint64_t	sources

---

The documentation for this struct was generated from the following file:

• /github/workspace/src/sharing/GlobalStrategies/MallobSharing.hpp