Classes | Public Member Functions | Private Member Functions | Private Attributes
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< Orderingpartial_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

Definition at line 411 of file partial_order_lifter.cpp.

Definition at line 175 of file partial_order_lifter.cpp.

void PartialOrderLifter::buildTrace ( ) [private]

Definition at line 71 of file partial_order_lifter.cpp.

Definition at line 306 of file partial_order_lifter.cpp.

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.

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

Definition at line 151 of file partial_order_lifter.h.

Definition at line 152 of file partial_order_lifter.h.

Definition at line 148 of file partial_order_lifter.h.

Definition at line 149 of file partial_order_lifter.h.


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


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