Public Member Functions | Private Attributes
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:


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Mon Oct 6 2014 07:52:06