Package graphplan.domain

Examples of graphplan.domain.Proposition


    return levelOff;
  }
 
  public void setIndexForPropositions(PropositionLevel propositionLevel){
    for (Iterator<Proposition> it = propositionLevel.iterator(); it.hasNext();) {
      Proposition p = it.next();
      if(!this.propositions.contains(p)){
        p.setIndex(propositionLevel.getIndex());
        this.propositions.add(p);
      } else p.setIndex(this.propositions.ceiling(p).getIndex());
    }
  }
View Full Code Here


    }
    return andNot;
  }

  private Proposition popGoal(List<Proposition> subGoals){
    Proposition p = subGoals.get(0);
    return p;
  }
View Full Code Here

   * Helper method for instantiating multiple propositions, mainly used for testing.
   * @param propositionSignatures
   * @return
   */
  public Proposition []getPropositions(String []propositionSignatures) {
    Proposition propositions[] = new Proposition[propositionSignatures.length];
   
    for (int i = 0; i < propositionSignatures.length; i++) {
      propositions[i] = getProposition(propositionSignatures[i]);
    }
   
View Full Code Here

TOP

Related Classes of graphplan.domain.Proposition

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.