PartialOrderLifter Class Reference

#include <partial_order_lifter.h>

List of all members.

Classes
struct	doubleEquComp
Public Member Functions
Plan	lift ()
	PartialOrderLifter (const Plan &_plan, const PlanTrace &_trace)
Private Member Functions
void	buildInstantPlan ()
void	buildPartialOrder ()
void	buildTrace ()
Plan	createAndSolveSTN ()
void	dumpInstantPlan ()
void	dumpOrdering ()
void	findAllEffectCondVars (const ScheduledOperator &new_op, set< int > &effect_cond_vars, ActionType type)
void	findPreconditions (const ScheduledOperator &new_op, vector< Prevail > &preconditions, ActionType type)
void	findTriggeringEffects (const TimeStampedState *stateBeforeHappening, const TimeStampedState *stateAfterHappening, vector< PrePost > &las)
void	findTriggeringEffectsForInitialState (const TimeStampedState *tsstate, vector< PrePost > &effects)
int	getIndexOfPlanStep (const ScheduledOperator &op, double timestamp)
void	sortPlan (Plan &plan)
Private Attributes
InstantPlan	instant_plan
std::set< Ordering >	partial_order
Plan	plan
const PlanTrace	trace

---

Detailed Description

Definition at line 138 of file partial_order_lifter.h.

---

Constructor & Destructor Documentation

PartialOrderLifter::PartialOrderLifter	(	const Plan &	_plan,
		const PlanTrace &	_trace
	)		[inline]

Definition at line 176 of file partial_order_lifter.h.

---

Member Function Documentation

void PartialOrderLifter::buildInstantPlan

(

)

[private]

Definition at line 411 of file partial_order_lifter.cpp.

void PartialOrderLifter::buildPartialOrder

(

)

[private]

Definition at line 175 of file partial_order_lifter.cpp.

void PartialOrderLifter::buildTrace

(

)

[private]

Plan PartialOrderLifter::createAndSolveSTN

(

)

[private]

Definition at line 71 of file partial_order_lifter.cpp.

void PartialOrderLifter::dumpInstantPlan

(

)

[private]

Definition at line 306 of file partial_order_lifter.cpp.

void PartialOrderLifter::dumpOrdering

(

)

[private]

Definition at line 315 of file partial_order_lifter.cpp.

void PartialOrderLifter::findAllEffectCondVars	(	const ScheduledOperator &	new_op,
		set< int > &	effect_cond_vars,
		ActionType	type
	)		[private]

Definition at line 349 of file partial_order_lifter.cpp.

void PartialOrderLifter::findPreconditions	(	const ScheduledOperator &	new_op,
		vector< Prevail > &	preconditions,
		ActionType	type
	)		[private]

Definition at line 374 of file partial_order_lifter.cpp.

void PartialOrderLifter::findTriggeringEffects	(	const TimeStampedState *	stateBeforeHappening,
		const TimeStampedState *	stateAfterHappening,
		vector< PrePost > &	las
	)		[private]

Definition at line 329 of file partial_order_lifter.cpp.

void PartialOrderLifter::findTriggeringEffectsForInitialState	(	const TimeStampedState *	tsstate,
		vector< PrePost > &	effects
	)		[private]

int PartialOrderLifter::getIndexOfPlanStep	(	const ScheduledOperator &	op,
		double	timestamp
	)		[private]

Definition at line 398 of file partial_order_lifter.cpp.

Plan PartialOrderLifter::lift

(

)

Definition at line 164 of file partial_order_lifter.cpp.

void PartialOrderLifter::sortPlan

(

Plan &

plan

)

[private]

Definition at line 57 of file partial_order_lifter.cpp.

---

Member Data Documentation

InstantPlan PartialOrderLifter::instant_plan [private]

Definition at line 151 of file partial_order_lifter.h.

std::set<Ordering> PartialOrderLifter::partial_order [private]

Definition at line 152 of file partial_order_lifter.h.

Plan PartialOrderLifter::plan [private]

Definition at line 148 of file partial_order_lifter.h.

const PlanTrace PartialOrderLifter::trace [private]

Definition at line 149 of file partial_order_lifter.h.

---

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

• partial_order_lifter.h
• partial_order_lifter.cpp