Clingo
Loading...
Searching...
No Matches
CppClingo::SymbolOwner Class Referenceabstract

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.
 

Detailed Description

Interface for classes owning references to symbols.


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