Example #1
0
  public static LinkedList<Plan> getPlans() {
    LinkedList<Plan> returnedPlans = new LinkedList<Plan>();
    TermConstant.initialize(5);

    Domain d = new foralltest();

    d.setProblemConstants(defineConstants());

    State s = new State(3, d.getAxioms());

    JSHOP2.initialize(d, s);

    TaskList tl;
    SolverThread thread;

    createState0(s);

    tl = new TaskList(1, true);
    tl.subtasks[0] = new TaskList(new TaskAtom(new Predicate(0, 0, TermList.NIL), false, false));

    thread = new SolverThread(tl, 1);
    thread.start();

    try {
      while (thread.isAlive()) Thread.sleep(500);
    } catch (InterruptedException e) {
    }

    returnedPlans.addAll(thread.getPlans());

    return returnedPlans;
  }
Example #2
0
 private static void createState0(State s) {
   s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(3), TermList.NIL)));
   s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(4), TermList.NIL)));
   s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(3), TermList.NIL)));
   s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(3), TermList.NIL)));
 }