/** * Just a wrapper of VariableGenerator.generateNewVariable(). */ public synchronized Variable generateNewVariable() { return variableGenerator.generateNewVariable(); }
private ImmutableList<Optional<Variable>> getArgumentReplacement(DataNode dn) { Set<Variable> vars = new HashSet<>(); List<Optional<Variable>> replacements = new ArrayList<>(); for (VariableOrGroundTerm term: (ImmutableList<VariableOrGroundTerm>) dn.getProjectionAtom().getArguments()) { if (term instanceof GroundTerm) { replacements.add(Optional.of(variableGenerator.generateNewVariable())); } else if (term instanceof Variable) { Variable var = (Variable) term; if (vars.contains(var)) { replacements.add(Optional.of(variableGenerator.generateNewVariableFromVar(var))); } else { replacements.add(Optional.empty()); vars.add(var); } } } return ImmutableList.copyOf(replacements); }
Variable newVariable = projectedVariableGenerator.generateNewVariable(); newArgument = newVariable; bindingBuilder.put(newVariable, castIntoGroundTerm(term)); Variable newVariable = projectedVariableGenerator.generateNewVariable(); newArgument = newVariable; bindingBuilder.put(newVariable, nonVariableTerm);
return topLevel ? Optional.empty() : Optional.of(variableGenerator.generateNewVariable());
Variable newVariable = projectedVariableGenerator.generateNewVariable(); newArgument = newVariable; bindingBuilder.put(newVariable, castIntoGroundTerm(term)); Variable newVariable = projectedVariableGenerator.generateNewVariable(); newArgument = newVariable; bindingBuilder.put(newVariable, nonVariableTerm);
@Override public Variable generateNewVariable() { return variableGenerator.generateNewVariable(); }
@Override public Variable generateNewVariable() { return variableGenerator.generateNewVariable(); }
private DataAtom<RelationPredicate> computeNewRightAtom(RelationPredicate predicate, ImmutableList<? extends VariableOrGroundTerm> rightArguments, ImmutableList<Integer> conflictingRightArgumentIndexes, VariableGenerator variableGenerator) { ImmutableList<VariableOrGroundTerm> newArguments = IntStream.range(0, rightArguments.size()) .boxed() .map(i -> conflictingRightArgumentIndexes.contains(i) ? variableGenerator.generateNewVariable() : rightArguments.get(i)) .collect(ImmutableCollectors.toList()); return atomFactory.getDataAtom(predicate, newArguments); }
private DataAtom computeNewRightAtom(AtomPredicate predicate, ImmutableList<? extends VariableOrGroundTerm> rightArguments, ImmutableList<Integer> conflictingRightArgumentIndexes, VariableGenerator variableGenerator) { ImmutableList<VariableOrGroundTerm> newArguments = IntStream.range(0, rightArguments.size()) .boxed() .map(i -> conflictingRightArgumentIndexes.contains(i) ? variableGenerator.generateNewVariable() : rightArguments.get(i)) .collect(ImmutableCollectors.toList()); return ATOM_FACTORY.getDataAtom(predicate, newArguments); }
Variable provenanceVariable = variableGenerator.generateNewVariable();
.map(e -> Tables.immutableCell(e.getKey(), e.getValue(), variableGenerator.generateNewVariable())) .collect(ImmutableCollectors.toTable());