Searched refs:groundedVars (Results 1 – 1 of 1) sorted by relevance
329 final SimpleArrayList<Var> groundedVars; field in Geost620 groundedVars = new SimpleArrayList<Var>(); in Geost()1664 lastLevelLastVar.update(groundedVars.size()); in queueVariable()1666 groundedVars.add(v); in queueVariable()1732 for (int i = groundedVars.size() - 1; i >= removeLimit; i--) { in removeLevelLate()1734 Var v = groundedVars.remove(i); in removeLevelLate()