stdlib.java

来自「SHOP2 一个人工智能里面关于任务分解和任务规划的系统。JSHOP2是其jav」· Java 代码 · 共 433 行

package JSHOP2;

/** Each code call of the form <code>(call / &#46;&#46;&#46;)</code> is
 *  implemented by an object of this class.
 *
 *  @author Okhtay Ilghami
 *  @author <a href="http://www.cs.umd.edu/~okhtay">http://www.cs.umd.edu/~okhtay</a>
 *  @version 1.0.3
*/
class Div implements Calculate
{
  /** This function executes the code call and returns the result by dividing
   *  the first argument by the second one, the result of that division by the
   *  third argument, and so on.
  */
  public Term call(List l)
  {
    double res = ((TermNumber)l.getHead()).getNumber();
    l = l.getRest();

    while (l != null)
    {
      res /= ((TermNumber)l.getHead()).getNumber();
      l = l.getRest();
    }

    return new TermNumber(res);
  }
}

/** Each code call of the form <code>(call = &#46;&#46;&#46;)</code> is
 *  implemented by an object of this class.
 *
 *  @author Okhtay Ilghami
 *  @author <a href="http://www.cs.umd.edu/~okhtay">http://www.cs.umd.edu/~okhtay</a>
 *  @version 1.0.3
*/
class Equal implements Calculate
{
  /** This function executes the code call and returns <code>NIL</code> if not
   *  all of its (possibly several) arguments are equal, and something other
   *  than <code>NIL</code> otherwise.
  */
  public Term call(List l)
  {
    Term t1;
    Term t2;

    t1 = l.getHead();
    l = l.getRest();

    while (l != null)
    {
      t2 = l.getHead();
      if (!t1.equals(t2))
        return TermList.NIL;
      l = l.getRest();
      t1 = t2;
    }

    return new TermNumber(1.0);
  }
}

/** Each code call of the form <code>(call &#60; &#46;&#46;&#46;)</code> is
 *  implemented by an object of this class
 *
 *  @author Okhtay Ilghami
 *  @author <a href="http://www.cs.umd.edu/~okhtay">http://www.cs.umd.edu/~okhtay</a>
 *  @version 1.0.3
*/
class Less implements Calculate
{
  /** This function executes the code call and returns something other than
   *  <code>NIL</code> if and only if each argument in its argument list is
   *  less than the next argument.
  */
  public Term call(List l)
  {
    TermNumber t1;
    TermNumber t2;

    t1 = (TermNumber)l.getHead();
    l = l.getRest();

    while (l != null)
    {
      t2 = (TermNumber)l.getHead();
      if (t1.getNumber() >= t2.getNumber())
        return TermList.NIL;
      l = l.getRest();
      t1 = t2;
    }

    return new TermNumber(1.0);
  }
}

/** Each code call of the form <code>(call &#60;= &#46;&#46;&#46;)</code> is
 *  implemented by an object of this class
 *
 *  @author Okhtay Ilghami
 *  @author <a href="http://www.cs.umd.edu/~okhtay">http://www.cs.umd.edu/~okhtay</a>
 *  @version 1.0.3
*/
class LessEq implements Calculate
{
  /** This function executes the code call and returns something other than
   *  <code>NIL</code> if and only if each argument in its argument list is
   *  less than or equal to the next argument.
  */
  public Term call(List l)
  {
    TermNumber t1;
    TermNumber t2;

    t1 = (TermNumber)l.getHead();
    l = l.getRest();

    while (l != null)
    {
      t2 = (TermNumber)l.getHead();
      if (t1.getNumber() > t2.getNumber())
        return TermList.NIL;
      l = l.getRest();
      t1 = t2;
    }

    return new TermNumber(1.0);
  }
}

/** Each code call of the form <code>(call Member &#46;&#46;&#46;)</code> is
 *  implemented by an object of this class
 *
 *  @author Okhtay Ilghami
 *  @author <a href="http://www.cs.umd.edu/~okhtay">http://www.cs.umd.edu/~okhtay</a>
 *  @version 1.0.3
*/
class Member implements Calculate
{
  /** This function executes the code call and returns <code>NIL</code> if its
   *  first argument is not a member of its second argument, and something
   *  other than <code>NIL</code> otherwise.
  */
  public Term call(List l)
  {
    Term t = l.getHead();
    l = ((TermList)l.getRest().getHead()).getList();

    while (l != null)
    {
      if (t.equals(l.getHead()))
        return new TermNumber(1.0);

      l = l.getRest();
    }

    return TermList.NIL;
  }
}

/** Each code call of the form <code>(call - &#46;&#46;&#46;)</code> is
 *  implemented by an object of this class.
 *
 *  @author Okhtay Ilghami
 *  @author <a href="http://www.cs.umd.edu/~okhtay">http://www.cs.umd.edu/~okhtay</a>
 *  @version 1.0.3
*/
class Minus implements Calculate
{
  /** This function executes the code call and returns the result by
   *  subtracting the second argument from the first one, the third argument
   *  from the result of that subtraction, and so on.
  */
  public Term call(List l)
  {
    double res = ((TermNumber)l.getHead()).getNumber();
    l = l.getRest();

    while (l != null)
    {
      res -= ((TermNumber)l.getHead()).getNumber();
      l = l.getRest();
    }

    return new TermNumber(res);
  }
}

/** Each code call of the form <code>(call &#62; &#46;&#46;&#46;)</code> is
 *  implemented by an object of this class
 *
 *  @author Okhtay Ilghami
 *  @author <a href="http://www.cs.umd.edu/~okhtay">http://www.cs.umd.edu/~okhtay</a>
 *  @version 1.0.3
*/
class More implements Calculate
{
  /** This function executes the code call and returns something other than
   *  <code>NIL</code> if and only if each argument in its argument list is
   *  more than the next argument.
  */
  public Term call(List l)
  {
    TermNumber t1;
    TermNumber t2;

    t1 = (TermNumber)l.getHead();
    l = l.getRest();

    while (l != null)
    {
      t2 = (TermNumber)l.getHead();
      if (t1.getNumber() <= t2.getNumber())
        return TermList.NIL;
      l = l.getRest();
      t1 = t2;
    }

    return new TermNumber(1.0);
  }
}

/** Each code call of the form <code>(call &#62;= &#46;&#46;&#46;)</code> is
 *  implemented by an object of this class
 *
 *  @author Okhtay Ilghami
 *  @author <a href="http://www.cs.umd.edu/~okhtay">http://www.cs.umd.edu/~okhtay</a>
 *  @version 1.0.3
*/
class MoreEq implements Calculate
{
  /** This function executes the code call and returns something other than
   *  <code>NIL</code> if and only if each argument in its argument list is
   *  more than or equal to the next argument.
  */
  public Term call(List l)
  {
    TermNumber t1;
    TermNumber t2;

    t1 = (TermNumber)l.getHead();
    l = l.getRest();

    while (l != null)
    {
      t2 = (TermNumber)l.getHead();
      if (t1.getNumber() < t2.getNumber())
        return TermList.NIL;
      l = l.getRest();
      t1 = t2;
    }

    return new TermNumber(1.0);
  }
}

/** Each code call of the form <code>(call * &#46;&#46;&#46;)</code> is
 *  implemented by an object of this class.
 *
 *  @author Okhtay Ilghami
 *  @author <a href="http://www.cs.umd.edu/~okhtay">http://www.cs.umd.edu/~okhtay</a>
 *  @version 1.0.3
*/
class Mult implements Calculate
{
  /** This function executes the code call and returns the product of all its
   *  arguments.
  */
  public Term call(List l)
  {
    double res = 1;

    while (l != null)
    {
      res *= ((TermNumber)l.getHead()).getNumber();
      l = l.getRest();
    }

    return new TermNumber(res);
  }
}

/** Each code call of the form <code>(call &#33;= &#46;&#46;&#46;)</code> is
 *  implemented by an object of this class.
 *
 *  @author Okhtay Ilghami
 *  @author <a href="http://www.cs.umd.edu/~okhtay">http://www.cs.umd.edu/~okhtay</a>
 *  @version 1.0.3
*/
class NotEq implements Calculate
{
  /** This function executes the code call and returns something other than
   *  <code>NIL</code> if and only if each argument in its argument list is
   *  not equal to the next argument.
  */
  public Term call(List l)
  {
    Term t1;
    Term t2;

    t1 = l.getHead();
    l = l.getRest();

    while (l != null)
    {
      t2 = l.getHead();
      if (t1.equals(t2))
        return TermList.NIL;
      l = l.getRest();
      t1 = t2;
    }

    return new TermNumber(1.0);
  }
}

/** Each code call of the form <code>(call + &#46;&#46;&#46;)</code> is
 *  implemented by an object of this class.
 *
 *  @author Okhtay Ilghami
 *  @author <a href="http://www.cs.umd.edu/~okhtay">http://www.cs.umd.edu/~okhtay</a>
 *  @version 1.0.3
*/
class Plus implements Calculate
{
  /** This function executes the code call and returns the sum of all its
   *  arguments.
  */
  public Term call(List l)
  {
    double sum = 0;

    while (l != null)
    {
      sum += ((TermNumber)l.getHead()).getNumber();
      l = l.getRest();
    }

    return new TermNumber(sum);
  }
}

/** Each code call of the form <code>(call ^ &#46;&#46;&#46;)</code> is
 *  implemented by an object of this class.
 *
 *  @author Okhtay Ilghami
 *  @author <a href="http://www.cs.umd.edu/~okhtay">http://www.cs.umd.edu/~okhtay</a>
 *  @version 1.0.3
*/
class Power implements Calculate
{
  /** This function executes the code call and returns the result by raising
   *  the first argument to the power of the second one, the result of that to
   *  the power of the third argument, and so on.
  */
  public Term call(List l)
  {
    double res = ((TermNumber)l.getHead()).getNumber();
    l = l.getRest();

    while (l != null)
    {
      res = Math.pow(res, ((TermNumber)l.getHead()).getNumber());
      l = l.getRest();
    }

    return new TermNumber(res);
  }
}

/** This class bundles all the code calls that are implemented in the standard
 *  library of JSHOP2 in one class. As opposed to user-defined code calls that
 *  will be mapped at compile-time to an object of the corresponding class,
 *  all the stnadard code calls are mapped (at compile time) to the
 *  <code>static</code> members of this class.
 *
 *  @author Okhtay Ilghami
 *  @author <a href="http://www.cs.umd.edu/~okhtay">http://www.cs.umd.edu/~okhtay</a>
 *  @version 1.0.3
*/
public class StdLib
{
  /** For code call of the form <code>(call / &#46;&#46;&#46;)</code>.
  */
  public static Div div = new Div();

  /** For code call of the form <code>(call = &#46;&#46;&#46;)</code>.
  */
  public static Equal equal = new Equal();

  /** For code call of the form <code>(call &#60; &#46;&#46;&#46;)</code>.
  */
  public static Less less = new Less();

  /** For code call of the form <code>(call &#60;= &#46;&#46;&#46;)</code>.
  */
  public static LessEq lessEq = new LessEq();

  /** For code call of the form <code>(call Member &#46;&#46;&#46;)</code>.
  */
  public static Member member = new Member();

  /** For code call of the form <code>(call - &#46;&#46;&#46;)</code>.
  */
  public static Minus minus = new Minus();

  /** For code call of the form <code>(call &#62; &#46;&#46;&#46;)</code>.
  */
  public static More more = new More();

  /** For code call of the form <code>(call &#62;= &#46;&#46;&#46;)</code>.
  */
  public static MoreEq moreEq = new MoreEq();

  /** For code call of the form <code>(call * &#46;&#46;&#46;)</code>.
  */
  public static Mult mult = new Mult();

  /** For code call of the form <code>(call &#33;= &#46;&#46;&#46;)</code>.
  */
  public static NotEq notEq = new NotEq();

  /** For code call of the form <code>(call + &#46;&#46;&#46;)</code>.
  */
  public static Plus plus = new Plus();

  /** For code call of the form <code>(call ^ &#46;&#46;&#46;)</code>.
  */
  public static Power power = new Power();
}