Examples of javaff.data.strips.Operator

javaff.data.strips.Operator

    buildTypeSets();
    Set groundActions = new HashSet();
    Iterator ait = actions.iterator();
    while (ait.hasNext())
    {
      Operator o = (Operator) ait.next();
      Set s = o.ground(this);
      groundActions.addAll(s);
    }


    //static-ify the functions
    Iterator gait = groundActions.iterator();

View Full Code Here

      boolean isStatic = true;
      PredicateSymbol ps = (PredicateSymbol) pit.next();
      Iterator oit = actions.iterator();
      while (oit.hasNext() && isStatic)
      {
        Operator o = (Operator) oit.next();
        isStatic = !o.effects(ps);
      }
      ps.setStatic(isStatic);
    }


    Iterator fit = funcSymbols.iterator();
    while (fit.hasNext())
    {
      boolean isStatic = true;
      FunctionSymbol fs = (FunctionSymbol) fit.next();
      Iterator oit = actions.iterator();
      while (oit.hasNext() && isStatic)
      {
        Operator o = (Operator) oit.next();
        isStatic = !o.effects(fs);
      }
      fs.setStatic(isStatic);
    }
  }

View Full Code Here


    it = p.actions.iterator();
    while (it.hasNext())
    {
      pstream.println();
      Operator o = (Operator) it.next();
      o.PDDLPrint(pstream, 1);
    }
    
    
    pstream.println(")");
  }

View Full Code Here

TOP

Related Classes of javaff.data.strips.Operator

javaff.data.Action

javaff.data.PDDLPrinter

javaff.data.UngroundProblem

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.