oaapublicsolvables.java

SRI international 发布的OAA框架软件

/*
 * Created on Jan 8, 2004
 *
 * To change the template for this generated file go to
 * Window - Preferences - Java - Code Generation - Code and Comments
 */
package com.sri.oaa2.lib;

import com.sri.oaa2.icl.IclTerm;
import com.sri.oaa2.icl.IclTermCache;
import com.sri.oaa2.icl.IntTestTerms;

/**
 * @author agno
 *
 * To change the template for this generated type comment go to
 * Window - Preferences - Java - Code Generation - Code and Comments
 */
class OaaPublicSolvables implements IntTestTerms 
{

  LibOaa mLibOaa;

  // Needs a reference to an agent (defaults params)
  /**
   * OaaPublicSolvables
   */
  public OaaPublicSolvables(LibOaa inLibOaa) {
    mLibOaa = inLibOaa;
  }
  /**
   * Test
   */
  public final boolean Test(IclTerm inTerm) {
    if (LibOaa.is_standard_solvable(inTerm)) {
      IclTerm params = inTerm.getTerm(1);
      if (mLibOaa.iclGetParamValue(IclTermCache.getNoAnon("private(false)"), params) !=null)
        return true;
    }
    return false;
  }
}