symbolicState.h File Reference

#include <boost/foreach.hpp>
#include <math.h>
#include <stdarg.h>
#include <string>
#include <deque>
#include <vector>
#include <map>
#include <utility>
#include <ostream>

Include dependency graph for symbolicState.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	SymbolicState::OStreamMode
class	Predicate
	Any predicate specification. More...
class	SymbolicState
	Generic class for a symbolic state. More...
Defines
#define	forEach   BOOST_FOREACH
Functions
bool	double_equals (double d1, double d2)
std::ostream &	operator<< (std::ostream &os, const Predicate &p)
std::ostream &	operator<< (std::ostream &os, const SymbolicState &ss)

---

Define Documentation

#define forEach   BOOST_FOREACH

Definition at line 8 of file symbolicState.h.

---

Function Documentation

bool double_equals	(	double	d1,
		double	d2
	)		[inline]

Definition at line 27 of file symbolicState.h.

std::ostream& operator<<	(	std::ostream &	os,
		const Predicate &	p
	)

Definition at line 71 of file symbolicState.cpp.

std::ostream& operator<<	(	std::ostream &	os,
		const SymbolicState &	ss
	)

Definition at line 648 of file symbolicState.cpp.