edu.udo.cs.ie.cowbots.planer
Class HigherPlanner

Package class diagram package HigherPlanner
java.lang.Object
  extended by 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
           
 
Constructor Summary
HigherPlanner()
           
 
Method Summary
private  java.lang.String buildPlan(java.util.Set<ELPLiteral> literals)
           
private  boolean containesFenceCloseWP(ELP elp)
           
private  boolean containesFenceOpenWP(ELP elp)
           
 java.lang.String generate(TransitionSystem ts, java.lang.String[] tasks)
           
private  KProgram initBel(TransitionSystem ts)
           
private  KProgram initNormalTaskAlloc(java.lang.String saveName, TransitionSystem ts)
           
private  boolean switchmissing(ELP elp)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

dlv

DLV dlv

myself

java.lang.String myself

elp

ELP elp

tasks

java.lang.String[] tasks
Constructor Detail

HigherPlanner

public HigherPlanner()
Method Detail

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)