logicalexpressioncall.java

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

package JSHOP2;

/** Each call term in a logical expression at compile time is represented as an
 *  instance 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 LogicalExpressionCall extends LogicalExpression
{
  /** The call term this object represents.
  */
  private TermCall term;

  /** To initialize this call logical expression.
   *
   *  @param termIn
   *          the call term this object represents.
  */
  public LogicalExpressionCall(TermCall termIn)
  {
    term = termIn;
  }

  /** This class does not need any initialization code, therefore, this
   *  function simply returns an empty <code>String</code>.
  */
  public String getInitCode()
  {
    return "";
  }
  
  public LogicalExpression getNNF(boolean negated) {
	  if (negated) {
		  return new LogicalExpressionNegation(this);
	  } else {
		  return this;
	  }
  }

  /** This class does not need to propagate the variable count, therefore, this
   *  function does nothing.
  */
  protected void propagateVarCount(int varCount)
  {
  }

  /** This function produces the Java code to create a
   *  <code>PreconditionCall</code> object that represents this call logical
   *  expression at run time.
  */
  public String toCode()
  {
    return "new PreconditionCall(" + term.toCode() + ", unifier)";
  }
}