Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / GMLMIP-0.1 / satisfyingstack.h @ 7c4d2eb4

History | View | Annotate | Download (249 Bytes)

1
#ifndef SATISFYINGSTACK_H
2
#define SATISFYINGSTACK_H
3

    
4
#include <vector>
5
#include "./formulas/satisfyingassignment.h"
6

    
7
using namespace std;
8

    
9
//GLOBAL VARIABLE STACK FOR SATISFYING ASSIGNMENTS
10
extern vector<SatisfyingAssignment> sat_ass_stack;
11

    
12
#endif