clingo
|
#include <tests.hh>
Public Member Functions | |
Messages () | |
void | clear () |
~Messages () | |
Public Attributes | |
std::vector< std::string > | messages |
|
inline |
|
inline |
|
inline |
std::vector<std::string> Gringo::Test::Messages::messages |