Examples of pddl4j.exp.AtomicFormula

              for (Exp and : andExp) {
                propositionImpls.addAll(getPropositionFromDomainExp(and, false));
              }
              break;
          case ATOMIC_FORMULA:
              AtomicFormula p = (AtomicFormula) exp;
        PropositionImpl proposition = new PropositionImpl(new LiteralImpl(!negated, p.getPredicate()));
        
        Iterator pddlTerms = p.iterator();
        
        List<Term> terms = new ArrayList<Term>();
        while(pddlTerms.hasNext()){
          pddl4j.exp.term.Term var = (pddl4j.exp.term.Term) pddlTerms.next();
          VarTerm term = new VarTerm(var.getImage().replace("?", "").toUpperCase());

              for (Exp and : andExp) {
                propositionImpls.addAll(getPropositionFromProblemExp(and, false));
              }
              break;
          case ATOMIC_FORMULA:
              AtomicFormula p = (AtomicFormula) exp;
        PropositionImpl proposition = new PropositionImpl(new LiteralImpl(!negated, p.getPredicate()));
        
        Iterator constants = p.iterator();
        
        List<Term> terms = new ArrayList<Term>();
        while(constants.hasNext()){
          Constant con = (Constant) constants.next();
          Atom term = new Atom(con.getImage());

Related Classes of pddl4j.exp.AtomicFormula

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.