diff options
Diffstat (limited to 'omegalib/omega_lib/include/omega/pres_tree.h')
| -rw-r--r-- | omegalib/omega_lib/include/omega/pres_tree.h | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/omegalib/omega_lib/include/omega/pres_tree.h b/omegalib/omega_lib/include/omega/pres_tree.h deleted file mode 100644 index ad78ad0..0000000 --- a/omegalib/omega_lib/include/omega/pres_tree.h +++ /dev/null @@ -1,15 +0,0 @@ -#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 |