Public Member Functions | Public Attributes
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< EffCondeffect_conds_end
vector< EffCondeffect_conds_overall
vector< EffCondeffect_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

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

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

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

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

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

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

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


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


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