public ArrayList Ask(int argNum1, string term1, int argNum2, string term2) { ArrayList result = new ArrayList(); java.util.ArrayList jres = _kb.askWithRestriction(argNum1, term1, argNum2, term2); if (jres == null) { return(result); } java.util.Iterator it = jres.iterator(); while (it.hasNext()) { com.articulate.sigma.Formula jform = (com.articulate.sigma.Formula)it.next(); Formula f = new Formula(jform); result.Add(f); } return(result); }
public Formula(com.articulate.sigma.Formula formula) { _formula = formula; }
public Formula(com.articulate.sigma.Formula formula) { _formula = formula; }