@Override public Set<ATermAppl> getUndistVars() { return _query.getUndistVars(); }
@Override public Set<ATermAppl> getUndistVars() { return _query.getUndistVars(); }
@Override public Set<ATermAppl> getUndistVars() { return _query.getUndistVars(); }
private Query setupCores(final Query query) final Iterator<ATermAppl> undistVarIterator = query.getUndistVars().iterator(); if (!undistVarIterator.hasNext()) return query; if (query.getUndistVars().contains(a2)) if (query.getUndistVars().contains(a2)) atoms.add((QueryAtom) a); final CoreNewImpl c = (CoreNewImpl) QueryAtomFactory.Core(atoms, query.getUndistVars(), _kb);
private Query setupCores(final Query query) final Iterator<ATermAppl> undistVarIterator = query.getUndistVars().iterator(); if (!undistVarIterator.hasNext()) return query; if (query.getUndistVars().contains(a2)) if (query.getUndistVars().contains(a2)) atoms.add((QueryAtom) a); final CoreNewImpl c = (CoreNewImpl) QueryAtomFactory.Core(atoms, query.getUndistVars(), _kb);
private Query setupCores(final Query query) final Iterator<ATermAppl> undistVarIterator = query.getUndistVars().iterator(); if (!undistVarIterator.hasNext()) return query; if (query.getUndistVars().contains(a2)) if (query.getUndistVars().contains(a2)) atoms.add((QueryAtom) a); final CoreNewImpl c = (CoreNewImpl) QueryAtomFactory.Core(atoms, query.getUndistVars(), _kb);
final Set<ATermAppl> undistVars = q.getUndistVars();
final Set<ATermAppl> undistVars = q.getUndistVars();
final Set<ATermAppl> undistVars = q.getUndistVars();
final ATermAppl testVar = query.getUndistVars().iterator().next(); final ATermAppl testClass = query.rollUpTo(testVar, Collections.<ATermAppl> emptySet(), false);
final ATermAppl testVar = query.getUndistVars().iterator().next(); final ATermAppl testClass = query.rollUpTo(testVar, Collections.<ATermAppl> emptySet(), false);
final ATermAppl testVar = query.getUndistVars().iterator().next(); final ATermAppl testClass = query.rollUpTo(testVar, Collections.<ATermAppl> emptySet(), false);
protected Query query(final ATermAppl[] vars, final QueryAtom[] atoms) { final Query q = new QueryImpl(_kb, true); for (final ATermAppl var : vars) q.addResultVar(var); for (final QueryAtom atom : atoms) q.add(atom); for (final ATermAppl var : q.getUndistVars()) q.addDistVar(var, VarType.INDIVIDUAL); return q; }
newQuery.add(atom.apply(binding)); for (final ATermAppl var : newQuery.getUndistVars()) newQuery.addDistVar(var, VarType.INDIVIDUAL); for (final QueryAtom atom : atoms) newQuery.add(atom.apply(binding)); for (final ATermAppl var : newQuery.getUndistVars())
newQuery.add(atom.apply(binding)); for (final ATermAppl var : newQuery.getUndistVars()) newQuery.addDistVar(var, VarType.INDIVIDUAL); for (final QueryAtom atom : atoms) newQuery.add(atom.apply(binding)); for (final ATermAppl var : newQuery.getUndistVars())
newQuery.add(atom.apply(binding)); for (final ATermAppl var : newQuery.getUndistVars()) newQuery.addDistVar(var, VarType.INDIVIDUAL); for (final QueryAtom atom : atoms) newQuery.add(atom.apply(binding)); for (final ATermAppl var : newQuery.getUndistVars())