Classes | Typedefs | Enumerations
partial_order_lifter.h File Reference
#include "state.h"
#include "operator.h"
#include "scheduler.h"
#include <list>
Include dependency graph for partial_order_lifter.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  PartialOrderLifter::doubleEquComp
struct  InstantPlanStep
class  PartialOrderLifter

Typedefs

typedef std::vector
< InstantPlanStep
InstantPlan
typedef std::pair< int, int > Ordering

Enumerations

enum  ActionType { start_action = 0, end_action = 1, dummy_start_action = 2, dummy_end_action = 3 }

Typedef Documentation

typedef std::vector<InstantPlanStep> InstantPlan

Definition at line 126 of file partial_order_lifter.h.

typedef std::pair<int, int> Ordering

Definition at line 136 of file partial_order_lifter.h.


Enumeration Type Documentation

enum ActionType
Enumerator:
start_action 
end_action 
dummy_start_action 
dummy_end_action 

Definition at line 9 of file partial_order_lifter.h.



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