Clingo
|
Interface for classes owning references to symbols. More...
#include <symbol.hh>
Public Member Functions | |
virtual | ~SymbolOwner ()=default |
Destroy the symbol owner. | |
virtual void | mark (SymbolCollector &gc) const =0 |
Function called to mark all owned symbols. | |
Interface for classes owning references to symbols.