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.