// stdafx.h : include file for standard system include files,
// or project specific include files that are used frequently, but
// are changed infrequently
//

#pragma once
//#include "targetver.h"

#define WIN32_LEAN_AND_MEAN             // Exclude rarely-used stuff from Windows headers
#define NOMINMAX   //undef min and max
// Windows Header Files:
#include <windows.h>

// C RunTime Header Files
//#include <stdlib.h>
//#include <malloc.h>
//#include <memory.h>
//#include <tchar.h>

#include <iostream>
#include <cmath>
#include <cassert>
#include <algorithm>
#include <functional>
#include <exception>
#include <sstream>
#include <vector>
#include <list>
#include <set>
#include <map>
#include <hash_set>
#include <hash_map>
#include <boost/numeric/conversion/bounds.hpp>
#include <boost/iterator/transform_iterator.hpp>
#include <boost/iterator/filter_iterator.hpp>
#include <boost/tuple/tuple.hpp>

#include "Utils/Utils.h"
#include "Exp/IExp.h"
#include "Exp/IEffect.h"
#include "Exp/ITerm.h"
#include "Exp/ILogicalExp.h"
#include "Exp/INumericExp.h"
#include "Exp/ITemporalExp.h"