State Class Reference

#include <state.h>

List of all members.

Public Member Functions
void	dump () const
double	operator[] (Variable *var) const
	State ()
	State (istream &in, const vector< Variable * > &variables)
Private Attributes
map< Variable *, double >	values

---

Detailed Description

Definition at line 11 of file preprocess/state.h.

---

Constructor & Destructor Documentation

State::State

(

)

[inline]

Definition at line 14 of file preprocess/state.h.

State::State	(	istream &	in,
		const vector< Variable * > &	variables
	)

Definition at line 6 of file preprocess/state.cpp.

---

Member Function Documentation

void State::dump

(

)

const

Definition at line 20 of file preprocess/state.cpp.

double State::operator[]

(

Variable *

var

)

const

Definition at line 16 of file preprocess/state.cpp.

---

Member Data Documentation

map<Variable *, double> State::values [private]

Definition at line 12 of file preprocess/state.h.

---

The documentation for this class was generated from the following files:

• preprocess/state.h
• preprocess/state.cpp