metaSMT git
|
Insert comments into the instance file. More...
Classes | |
class | metaSMT::IgnoreComments< Context > |
Ignore comment commands. More... | |
Namespaces | |
namespace | metaSMT::features |
Functions | |
template<typename Context > | |
void | metaSMT::comment (Context &ctx, std::string const &message) |
write a comment |
Insert comments into the instance file.
DirectSolver_Context< SMT2 > ctx; assertion(ctx, equal(True, False); comment(ctx, "now call solve"); solve(ctx);
void metaSMT::comment | ( | Context & | ctx, |
std::string const & | message | ||
) |
write a comment
ctx | The context to work on |
message | The comment |
Assertion | at compile time if Context does not support comments |
Definition at line 68 of file Comment.hpp.