Package javaff.data.strips

Examples of javaff.data.strips.PredicateSymbol


  {
    Iterator pit = predSymbols.iterator();
    while (pit.hasNext())
    {
      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())
    {
View Full Code Here


  private void makeStaticPropositionMap()
  {
    Iterator pit = predSymbols.iterator();
    while (pit.hasNext())
    {
      PredicateSymbol ps = (PredicateSymbol) pit.next();
      if (ps.isStatic())
      {
        staticPropositionMap.put(ps, new HashSet());
      }
    }
View Full Code Here

  }

 
   public void makeInstants()
  {
     PredicateSymbol ps = new PredicateSymbol("i"+name);
     Predicate j = new Predicate(ps);
     j.addParameters(params);
     dummyJoin = j;

     PredicateSymbol ps2 = new PredicateSymbol("g"+name);
     Predicate g = new Predicate(ps2);
     g.addParameters(params);
     dummyGoal = g;
    
     startAction = new UngroundInstantAction();
View Full Code Here

TOP

Related Classes of javaff.data.strips.PredicateSymbol

Copyright © 2018 www.massapicom. All rights reserved.
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.