PUBLIC

VLNonLinearPlanC::VLNonLinearPlanC(void) VLNonLinearPlanC::VLNonLinearPlanC(const VLNonLinearPlanC &) VLNonLinearPlanC::VLNonLinearPlanC(VLNLPlannerBodyC &) VLNonLinearPlanC::VLNonLinearPlanC(VLNonLinearPlan &) VLNonLinearPlanC::IsValid(void) const VLNonLinearPlanC::Copy(void) const VLNonLinearPlanC::Init(const VLMinTermC &,const VLMinTermC &) VLNonLinearPlanC::InsStep(const VLStepC &,const VLMinTermC &) VLNonLinearPlanC::InsStep(const VLStepC &) VLNonLinearPlanC::InsCausalLink(StepNodeT,StepNodeT,VLMinTermC &) VLNonLinearPlanC::InsOrderLink(StepNodeT,StepNodeT) VLNonLinearPlanC::IsUsefullNewStep(const VLStepC &,const StepNodeT &) const VLNonLinearPlanC::IsComplete(void) const VLNonLinearPlanC::GetLinear(void) const VLNonLinearPlanC::Dump(void) const VLNonLinearPlanC::Score(void) const VLNonLinearPlanC::StartNode(void) const VLNonLinearPlanC::GoalNode(void) const VLNonLinearPlanC::Planner(void) VLNonLinearPlanC::PreConds(void) VLNonLinearPlanC::PostConds(void) VLNonLinearPlanC::PlanID(void) const VLNonLinearPlanC::NodeObjH(BGraphTypesC::NodeHandleT) VLNonLinearPlanC::IsValid(const StepNodeT &) const VLNonLinearPlanC::DoDBCheck(void) VLNonLinearPlanC::Steps(void) const RCHandleC::IsValid(void) const RCHandleC::IsValidObject(void) const RCHandleC::operator=(const RCHandleC &) RCHandleC::operator==(const RCHandleC &) const RCHandleC::operator!=(const RCHandleC &) const RCHandleC::Hash(void) const RCHandleC::IsConst(void) const RCHandleC::IsNotConst(void) const RCHandleC::SetConst(void) const RCHandleC::Invalidate(void) RCHandleC::Body(void) RCHandleC::Body(void) const

VLNonLinearPlanC
non-linear plan handle
include	"amma/Logic2/NonLinearPlan.hh"
User Level:	Default
Library:	VLPlanNL
Example:	exIndex.cc
Section:	Logic.Planning
In Scope:	std

Parent Classes:

public RCHandleC<class Bod>
public VLNLPTypes

VLNonLinearPlanC()

Default constructor.

ind	Index of types of intererest.

VLNonLinearPlanC(const VLNonLinearPlanC & oth)

Copy constructor.

ind	Index of types of intererest.

VLNonLinearPlanC(VLNLPlannerBodyC & aPlanner)

Constructor.

ind	Index of types of intererest.

VLNonLinearPlanC(VLNonLinearPlan & bod)

Body constructor.

ind	Index of types of intererest.

BooleanT IsValid() const

Is valid handle ?

ind	Index of types of intererest.

VLNonLinearPlanC Copy() const

Copy operator.

ind	Index of types of intererest.

BooleanT Init(const VLMinTermC & Start,const VLMinTermC & Goal)

Initalise plan.

ind	Index of types of intererest.

StepNodeT InsStep(const VLStepC & Step,const VLMinTermC & Goal)

Insert a step into the plan

ind	Index of types of intererest.

StepNodeT InsStep(const VLStepC & Step)

Insert a step into the plan.

ind	Index of types of intererest.

inline StepNodeT InsStep(DPModelStepC &Step) { VLBindLst Tmp; return InsStep(Step,Tmp); } Insert a step into the plan.

CausalLinkT InsCausalLink(StepNodeT From,StepNodeT To,VLMinTermC & Cond)

Insert a causal link into the plan. Used to resolve open goals.

ind	Index of types of intererest.

OrderLinkT InsOrderLink(StepNodeT From,StepNodeT To)

Insert an order link into the plan. Used to resolve threats.

ind	Index of types of intererest.

BooleanT IsUsefullNewStep(const VLStepC & mt,const StepNodeT & sn) const

Test if is usefull to add postcondition to this plan.

ind	Index of types of intererest.

Use to filter out the addition of useless steps.

BooleanT IsComplete() const

Is plan complete.

ind	Index of types of intererest.

VLPlanLinearStepC GetLinear() const

Get a linear version of the plan.

ind	Index of types of intererest.

void Dump() const

Dump current plan to stdout.

ind	Index of types of intererest.

IntT Score(void) const

Give the plan a score for A* search.

ind	Index of types of intererest.

const StepNodeT & StartNode() const

Const access to start node.

ind	Index of types of intererest.

const StepNodeT & GoalNode() const

Const access to goal node.

ind	Index of types of intererest.

VLNLPlannerBodyC & Planner()

Get planner.

ind	Index of types of intererest.

VLBNPListIndexC<StepNodeT> & PreConds()

Access PreConditions.

ind	Index of types of intererest.

VLBNPListIndexC<StepNodeT> & PostConds()

Access PostConditions.

ind	Index of types of intererest.

IntT PlanID() const

Get a unique ID for the plan.

ind	Index of types of intererest.

StepNodeT NodeObjH(BGraphTypesC::NodeHandleT H)

Convert a node handle to a ptr.

ind	Index of types of intererest.

BooleanT IsValid(const StepNodeT & Oth) const

Check the handle is valid. (For debuging. )

ind	Index of types of intererest.

void DoDBCheck()

Debuging checks.

ind	Index of types of intererest.

IntT Steps() const

Get the number of steps in the current plan.

ind	Index of types of intererest.

BooleanT IsValid() const

Check its a valid handle.

BooleanT IsValidObject() const

Check its a valid handle, and that the object is pointed to is also valid.

RCHandleC<VLNonLinearPlan> & operator=(const RCHandleC<VLNonLinearPlan> & oth)

Assignment.

BooleanT operator==(const RCHandleC<VLNonLinearPlan> & oth) const

Comparison operator.

BooleanT operator!=(const RCHandleC<VLNonLinearPlan> & oth) const

Comparison operator.

UIntT Hash() const

Hash function.x

BooleanT IsConst() const

Is object constant ?

BooleanT IsNotConst() const

Is object not constant ?

void SetConst(void) const

Lock the object.
This is const as a convience though it actual modified the object, often object you wish to ensure are constant already have const set. protected:

void Invalidate()

Turn this into an invalid handle.

VLNonLinearPlan & Body()

Direct access to body.

const VLNonLinearPlan & Body() const

Constant access to body.