Package jason.asSyntax

Examples of jason.asSyntax.Term

78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
   
    MutexCondition mutexCond = new MutexCondition();
   
    Iterator itE1 = p1.getTerms().iterator();
    while(itE1.hasNext()){
      Term t = (Term) itE1.next();
      mutexCond.addOp1Parameter(op1.getTerms().indexOf(t));
//      System.out.println(op1.getTerms().indexOf(t));
    }

    Iterator itE2 = p2.getTerms().iterator();
    while(itE2.hasNext()){
      Term t = (Term) itE2.next();
      mutexCond.addOp2Parameter(op2.getTerms().indexOf(t));
      //System.out.println(op2.getTerms().indexOf(t));
    }

    conditionOp.add(mutexCond);
View Full Code Here
301
302
303
304
305
306
307
308
309
310
311
        instances.add(getOperator(operator.getSignature()));
      } else {
        int size = operator.getTerms().size();
        //Otherwise, we have to come up with all possible combinations
        //of parameters
        Term termInstances[] = null;
       
        for(TermInstanceIterator it = new TermInstanceIterator(terms, size);
          it.hasNext(); ){
          termInstances = it.next();
         
View Full Code Here
121
122
123
124
125
126
127
128
129
130
131
  public Proposition makeGround() {
    PropositionImpl ground = (PropositionImpl) this.clone();
    for(Term term : ground.getTerms()) {
      if(term.isVar() && !term.isGround()) {
        Term t = new Atom(term.toString().toLowerCase());
        jason.asSemantics.Unifier un = new jason.asSemantics.Unifier();
        if(un.unifies(t, term)) {
          term.apply(un);
        }
      }
View Full Code Here
TOP

Related Classes of jason.asSyntax.Term

  • graphplan.domain.jason.PropositionImpl
  • graphplan.flyweight.OperatorFactory
  • graphplan.graph.memo.mutexes.StaticMutexesTable
    • 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.