Frog
|
#include "frog/ckyparser.h"
#include <iostream>
#include <vector>
#include <string>
#include "ticcutils/PrettyPrint.h"
#include "ticcutils/LogStream.h"
Macros | |
#define | LOG *TiCC::Log(ckyLog) |
#define | DBG *TiCC::Dbg(ckyLog) |
Functions | |
ostream & | operator<< (ostream &os, const Constraint *c) |
ostream & | operator<< (ostream &os, const Constraint &c) |
#define DBG *TiCC::Dbg(ckyLog) |
#define LOG *TiCC::Log(ckyLog) |
ostream& operator<< | ( | ostream & | os, |
const Constraint & | c | ||
) |
output a Constraint (debug only)
ostream& operator<< | ( | ostream & | os, |
const Constraint * | c | ||
) |
output a Constraint (debug only)