ics.TripleApl.VarPlan Class Reference

Inheritance diagram for ics.TripleApl.VarPlan:

ics.TripleApl.Plan List of all members.

Public Member Functions

 VarPlan (String s)
Plan copy ()
void doSubst (SubstList sub)
boolean equals (Plan plan)
boolean equals (Object obj)
boolean plansMatch (BeliefBase beliefBase, Plan otherPlan, SubstList theta, VarPlanList planSubst)
void simplify ()
void simplify (BeliefBase bb)
String toString ()
String getVarName ()
PlanOption isExecutable (Agent agent)
Plan executePlan (SubstList theta, SequencePlan scope, Agent agent, AMS ams)

Private Attributes

String name

Detailed Description

Class VarPlan. The idea behind this classs is to use it in heads and bodies of rules for the variable which represents a sequence of one or more goals.
Methods like copy, doSubst, Simplify have no effect in this class.

Version:
2.0, july 2003
Since:
1.0, August 2002
Author:
Meindert Kroese


Constructor & Destructor Documentation

ics.TripleApl.VarPlan.VarPlan String  s  ) 
 

Constructor of a variable goal with name s.

Parameters:
s the name of the variable goal.


Member Function Documentation

Plan ics.TripleApl.VarPlan.copy  )  [virtual]
 

A method to make a copy of a goal.

Returns:
Plan, a copy of the goal.

Implements ics.TripleApl.Plan.

void ics.TripleApl.VarPlan.doSubst SubstList  sub  )  [virtual]
 

All variables in the Plan which also occur in the SubstList are replaced with their value.

Parameters:
sub the list of variables and their substitution.

Implements ics.TripleApl.Plan.

boolean ics.TripleApl.VarPlan.equals Object  obj  ) 
 

boolean ics.TripleApl.VarPlan.equals Plan  plan  )  [virtual]
 

Method compares Plans on equality of type and content.

Returns:
true on equality.

Implements ics.TripleApl.Plan.

Plan ics.TripleApl.VarPlan.executePlan SubstList  theta,
SequencePlan  scope,
Agent  agent,
AMS  ams
[virtual]
 

Exceptions:
IllegalStateException because this should never be called

Implements ics.TripleApl.Plan.

String ics.TripleApl.VarPlan.getVarName  ) 
 

Method to get the name of the variable goal.

Returns:
String, the name of the variable goal.

PlanOption ics.TripleApl.VarPlan.isExecutable Agent  agent  )  [virtual]
 

This should never be called, because VarPlans should have been substituted or removed before ending up in the PlanBase!

Returns:
null

Implements ics.TripleApl.Plan.

boolean ics.TripleApl.VarPlan.plansMatch BeliefBase  beliefBase,
Plan  otherPlan,
SubstList  theta,
VarPlanList  planSubst
[virtual]
 

Returns:
false, because this should never be called

Implements ics.TripleApl.Plan.

void ics.TripleApl.VarPlan.simplify BeliefBase  bb  )  [virtual]
 

The goal is simplified as far as possible. This means that Wffs in the goal are calculated (arithmatic and boolean) as far as possible. Wffs are first unified against the beliefbase.

Parameters:
bb the beliefbase.
Deprecated:
the BeliefBase is not used anywhere. Use simplify() instead

Implements ics.TripleApl.Plan.

void ics.TripleApl.VarPlan.simplify  )  [virtual]
 

The goal is simplified as far as possible. This means that Wffs in the goal are calculated (arithmatic and boolean) as far as possible.

Implements ics.TripleApl.Plan.

String ics.TripleApl.VarPlan.toString  )  [virtual]
 

Method to get a printable version of a Goal.

Returns:
String, a printable version of a Goal.

Implements ics.TripleApl.Plan.


Member Data Documentation

String ics.TripleApl.VarPlan.name [private]
 


The documentation for this class was generated from the following file:
Generated on Mon Dec 12 15:07:25 2005 for 3APL by  doxygen 1.4.5