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.

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]`