|
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.