/** * Returns the rule from the datalog object based on the index number. * * @param index the rule index. * @return a conjunctive query object. */ public CQIE getRule(int index) { return datalog.getRules().get(index); } }
/** * Transforms the given <code>DatalogProgram</code> into a string */ public static String encode(DatalogProgram input) { List<CQIE> list = input.getRules(); Iterator<CQIE> it =list.iterator(); StringBuilder sb = new StringBuilder(); while(it.hasNext()){ CQIE q = it.next(); if(sb.length()>0){ sb.append("\n"); } sb.append(q); } return sb.toString(); }
public static boolean isBoolean(DatalogProgram query) { for (CQIE rule : query.getRules()) { if (!isBoolean(rule)) return false; } return true; }