blob: ad78ad07230693c8ddbc3f34f41bca9381dcf3bf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#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
|
