Example #1
0
        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);
        }
Example #2
0
 public Formula(com.articulate.sigma.Formula formula)
 {
     _formula = formula;
 }
Example #3
0
 public Formula(com.articulate.sigma.Formula formula)
 {
     _formula = formula;
 }