public TptpCollection(Formula formula)
{
_formula = formula;
}
public ClauseCollection(Formula formula)
{
_formula = formula;
_it = _formula.Intern.getClauses().iterator();
}
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 ClauseCollection(Formula formula)
{
_formula = formula;
_it = _formula.Intern.getClauses().iterator();
}