List of unwind() Examples

Examples of unwind()

net.sf.kpex.util.Trail.unwind()
Used to undo bindings after unification, if we intend to leave no side effects.

Examples of net.sf.kpex.util.Trail.unwind()

        // bug: occNb not accurate when adding artif. '[]' head
        V.unify(new PseudoVar(s), trail);
      }
    }
    Clause NewC = (Clause) numberVars();
    trail.unwind(0);
    return NewC;
  }


  /**
   * Extracts the body of a clause

View Full Code Here

Examples of net.sf.kpex.util.Trail.unwind()

   */
  synchronized public boolean matches(Term that)
  {
    Trail trail = new Trail();
    boolean ok = unify(that, trail);
    trail.unwind(0);
    return ok;
  }


  /**
   * Returns a copy of the result if the unification of this and that. Side

View Full Code Here

Examples of net.sf.kpex.util.Trail.unwind()

    // if(ok) that=that.copy();
    if (ok)
    {
      that = copy();
    }
    trail.unwind(0);
    return ok ? that : null;
  }


  /**
   * Replaces variables with uppercase constants named `V1', 'V2', etc. to be

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.