#if ! defined _pres_tree_h
#define _pres_tree_h 1

//
// Header to include if you need all the classes to build
// a Presburger formula:
// variables, constraints, nodes for logical operations & quantifiers
//

#include <omega/pres_var.h>
#include <omega/pres_cnstr.h>
#include <omega/pres_logic.h>
#include <omega/pres_quant.h>

#endif