Classes | Public Member Functions | Protected Attributes
FullPlanTrace Class Reference

A full plan trace is a list of FullPlanSteps. More...

#include <monitoring.h>

List of all members.

Classes

class  FullPlanStep
 A detailed (inefficient) plan step used in monitoring. More...

Public Member Functions

FullPlanTrace applyOperator (const Operator *op) const
 return a new FullPlanTrace that has one more step, where op is applied.
bool canLetTimePass () const
 can the last state let_time_pass, i.e. are there running operators.
void dumpLastState () const
 FullPlanTrace (const TimeStampedState &s)
 initializing constructor
double getLastTimestamp () const
 the timestamp of the last state.
bool isApplicable (const Operator *op) const
 is op applicable to the last state in plan.
double lastTimestamp () const
FullPlanTrace letTimePass () const
 return a new FullPlanTrace where the last operator did let_time_pass.
void outputPlan (ostream &os) const
 print plan in output format into os
bool satisfiesGoal () const

Protected Attributes

std::deque< FullPlanStepplan
 A plan is a list of FullPlanStep where each steps state equals the next steps predecessor.

Detailed Description

A full plan trace is a list of FullPlanSteps.

Definition at line 15 of file monitoring.h.


Constructor & Destructor Documentation

initializing constructor

Definition at line 312 of file monitoring.cpp.


Member Function Documentation

return a new FullPlanTrace that has one more step, where op is applied.

Returns:
the correct result if isApplicable(op) is true, the result is undefined otherwise.

Definition at line 327 of file monitoring.cpp.

can the last state let_time_pass, i.e. are there running operators.

Definition at line 339 of file monitoring.cpp.

Definition at line 392 of file monitoring.cpp.

the timestamp of the last state.

Definition at line 401 of file monitoring.cpp.

bool FullPlanTrace::isApplicable ( const Operator op) const

is op applicable to the last state in plan.

Definition at line 319 of file monitoring.cpp.

double FullPlanTrace::lastTimestamp ( ) const
Returns:
the timestamp of the last state in the trace

Definition at line 366 of file monitoring.cpp.

return a new FullPlanTrace where the last operator did let_time_pass.

Returns:
the correct result, if canLetTimePass is true, the result is undefined otherwise.

Definition at line 347 of file monitoring.cpp.

void FullPlanTrace::outputPlan ( ostream &  os) const

print plan in output format into os

Definition at line 373 of file monitoring.cpp.

Returns:
true, if the last state satisfies g_goal.

Definition at line 358 of file monitoring.cpp.


Member Data Documentation

std::deque<FullPlanStep> FullPlanTrace::plan [protected]

A plan is a list of FullPlanStep where each steps state equals the next steps predecessor.

Definition at line 67 of file monitoring.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