Public Member Functions | Public Attributes
PrePost Struct Reference

#include <state.h>

Inheritance diagram for PrePost:
Inheritance graph
[legend]

List of all members.

Public Member Functions

bool does_fire (const TimeStampedState &state) const
void dump () const
bool is_applicable (const TimeStampedState &state) const
 PrePost ()
 PrePost (std::istream &in)
 PrePost (int v, double pr, int vpo, double po, const std::vector< Prevail > &co_start, const std::vector< Prevail > &co_oa, const std::vector< Prevail > &co_end, assignment_op fo=assign)
 PrePost (int v, double p)
virtual ~PrePost ()

Public Attributes

vector< Prevailcond_end
vector< Prevailcond_overall
vector< Prevailcond_start
assignment_op fop
double post
double pre
int var
int var_post

Detailed Description

Definition at line 43 of file search/state.h.


Constructor & Destructor Documentation

PrePost::PrePost ( ) [inline]

Definition at line 54 of file search/state.h.

PrePost::PrePost ( std::istream &  in)
PrePost::PrePost ( int  v,
double  pr,
int  vpo,
double  po,
const std::vector< Prevail > &  co_start,
const std::vector< Prevail > &  co_oa,
const std::vector< Prevail > &  co_end,
assignment_op  fo = assign 
) [inline]

Definition at line 58 of file search/state.h.

PrePost::PrePost ( int  v,
double  p 
) [inline]

Definition at line 65 of file search/state.h.

virtual PrePost::~PrePost ( ) [inline, virtual]

Definition at line 66 of file search/state.h.


Member Function Documentation

bool PrePost::does_fire ( const TimeStampedState state) const [inline]

Definition at line 70 of file search/state.h.

void PrePost::dump ( ) const

Definition at line 168 of file search/operator.cpp.

bool PrePost::is_applicable ( const TimeStampedState state) const

Definition at line 76 of file search/operator.cpp.


Member Data Documentation

Definition at line 51 of file search/state.h.

Definition at line 50 of file search/state.h.

Definition at line 49 of file search/state.h.

Definition at line 52 of file search/state.h.

double PrePost::post

Definition at line 48 of file search/state.h.

double PrePost::pre

Definition at line 46 of file search/state.h.

Definition at line 45 of file search/state.h.

Definition at line 47 of file search/state.h.


The documentation for this struct was generated from the following files:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines


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