Clingo
Loading...
Searching...
No Matches
CppClingo::SymbolCollector Class Reference

Helper class to mark owned symbols. More...

#include <symbol.hh>

Public Member Functions

void mark (Symbol const &sym)
 Mark a symbol and its descendants.
 
void mark (String const &str)
 Mark a string.
 

Detailed Description

Helper class to mark owned symbols.


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