edu.udo.cs.ie.cowbots.planer
Class HigherPlanner
java.lang.Object
edu.udo.cs.ie.cowbots.planer.HigherPlanner
public class HigherPlanner
- extends java.lang.Object
Field Summary |
(package private) DLV |
dlv
|
(package private) ELP |
elp
|
(package private) java.lang.String |
myself
|
(package private) java.lang.String[] |
tasks
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
dlv
DLV dlv
myself
java.lang.String myself
elp
ELP elp
tasks
java.lang.String[] tasks
HigherPlanner
public HigherPlanner()
generate
public java.lang.String generate(TransitionSystem ts,
java.lang.String[] tasks)
switchmissing
private boolean switchmissing(ELP elp)
containesFenceOpenWP
private boolean containesFenceOpenWP(ELP elp)
containesFenceCloseWP
private boolean containesFenceCloseWP(ELP elp)
buildPlan
private java.lang.String buildPlan(java.util.Set<ELPLiteral> literals)
initBel
private KProgram initBel(TransitionSystem ts)
initNormalTaskAlloc
private KProgram initNormalTaskAlloc(java.lang.String saveName,
TransitionSystem ts)