metaSMT 2
Classes | Namespaces | Functions
Comments API
API

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

Detailed Description

Insert comments into the instance file.

  DirectSolver_Context< SMT2 > ctx;
  
  assertion(ctx, equal(True, False);
  comment(ctx, "now call solve");
  
  solve(ctx);

Function Documentation

template<typename Context >
void metaSMT::comment ( Context &  ctx,
std::string const &  message 
)

write a comment

Parameters:
ctxThe context to work on
messageThe comment
Returns:
void
Exceptions:
Assertionat compile time if Context does not support comments

Definition at line 68 of file Comment.hpp.

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines