Operator::PrePost Struct Reference

#include <operator.h>

List of all members.

Public Member Functions
	PrePost (Variable *v, int pr, int po)
	PrePost (Variable *v, vector< EffCond > ecs_start, vector< EffCond > ecs_overall, vector< EffCond > ecs_end, int pr, int po)
Public Attributes
vector< EffCond >	effect_conds_end
vector< EffCond >	effect_conds_overall
vector< EffCond >	effect_conds_start
bool	is_conditional_effect
int	post
int	pre
Variable *	var

---

Detailed Description

Definition at line 29 of file preprocess/operator.h.

---

Constructor & Destructor Documentation

Operator::PrePost::PrePost	(	Variable *	v,
		int	pr,
		int	po
	)		[inline]

Definition at line 36 of file preprocess/operator.h.

Operator::PrePost::PrePost	(	Variable *	v,
		vector< EffCond >	ecs_start,
		vector< EffCond >	ecs_overall,
		vector< EffCond >	ecs_end,
		int	pr,
		int	po
	)		[inline]

Definition at line 40 of file preprocess/operator.h.

---

Member Data Documentation

vector<EffCond> Operator::PrePost::effect_conds_end

Definition at line 35 of file preprocess/operator.h.

vector<EffCond> Operator::PrePost::effect_conds_overall

Definition at line 34 of file preprocess/operator.h.

vector<EffCond> Operator::PrePost::effect_conds_start

Definition at line 33 of file preprocess/operator.h.

bool Operator::PrePost::is_conditional_effect

Definition at line 32 of file preprocess/operator.h.

int Operator::PrePost::post

Definition at line 31 of file preprocess/operator.h.

int Operator::PrePost::pre

Definition at line 31 of file preprocess/operator.h.

Variable* Operator::PrePost::var

Definition at line 30 of file preprocess/operator.h.

---

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

• preprocess/operator.h