Clingo
|
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. | |
Helper class to mark owned symbols.