PrePost Struct Reference

#include <state.h>

Inheritance diagram for PrePost:

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< Prevail >	cond_end
vector< Prevail >	cond_overall
vector< Prevail >	cond_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

vector<Prevail> PrePost::cond_end

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

vector<Prevail> PrePost::cond_overall

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

vector<Prevail> PrePost::cond_start

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

assignment_op PrePost::fop

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.

int PrePost::var

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

int PrePost::var_post

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

---

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

• search/state.h
• search/operator.cpp