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:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines

Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Tue Jan 22 2013 12:25:04