List of unifies() Examples

Examples of unifies()

graphplan.domain.Unifier.unifies()
Tries to unify proposition1 and proposition2, returning whether or not the two can be unified, and storing the unification in this object. @param proposition1 @param proposition2 @return
jason.asSemantics.Unifier.unifies()

Examples of graphplan.domain.Unifier.unifies()

    return emptyIterator;
  }
  
  public boolean unifies(Proposition proposition) {
    Unifier un = new UnifierImpl();
    return un.unifies(this, proposition);
  }


  public boolean apply(Unifier unifier) {
    //Since this implementation relies on a Jason binding, we have to force our unifier
    //to be Jason's

View Full Code Here

Examples of jason.asSemantics.Unifier.unifies()

        OperatorImpl template = (OperatorImpl) this.operatorTemplates.get(signature.getPredicateIndicator().toString());
        //And start copying it
        Structure templateSignature = new Structure(template);
        Unifier un = new Unifier();
        //The signature should unify with the template
        if(!un.unifies(signature, templateSignature)) {
          //This should not happen in a properly described domain
          throw new OperatorFactoryException("Failed to unify "+templateSignature+" with operator "+templateSignature+" instantiating "+operatorSignature);
        }
        templateSignature.apply(un);
        PropositionFactory propositionFactory = PropositionFactory.getInstance();

View Full Code Here

Examples of jason.asSemantics.Unifier.unifies()

          for(Term term : termInstances) {
            struct.addTerm(term);
          }
          
          Unifier unifier = new Unifier();
          if(unifier.unifies(copy, struct)) {
            copy.apply(unifier);
          } else {
            System.err.println("Big mess!");
          }

View Full Code Here

TOP

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.