mistral.h

/*
 * mistral.h
 *
 *  Created on: Dec 4, 2012
 *      Author: isil
 */


#include <string>
using namespace std;

#include <vector>
#include <map>
#include <set>
using namespace std;


class Leaf;
class SatValue;
class VariableTerm;
class Term;
class AccessPath;
class CNode;
/*
 * MISTRAL is the the constraint solver for Compass.
 */



void register_output_callback(void (*write_fn)(string));

void display(string s);