private ImmutableList<ImmutableTerm> convertTerms(Function functionalTermToClone) { ImmutableList.Builder<ImmutableTerm> builder = ImmutableList.builder(); for (Term term : functionalTermToClone.getTerms()) { builder.add(convertIntoImmutableTerm(term)); } return builder.build(); }
private ImmutableList<ImmutableTerm> convertTerms(Function functionalTermToClone) { ImmutableList.Builder<ImmutableTerm> builder = ImmutableList.builder(); for (Term term : functionalTermToClone.getTerms()) { builder.add(immutabilityTools.convertIntoImmutableTerm(term)); } return builder.build(); }
private static ImmutableList<ImmutableTerm> convertTerms(Function functionalTermToClone) { ImmutableList.Builder<ImmutableTerm> builder = ImmutableList.builder(); for (Term term : functionalTermToClone.getTerms()) { builder.add(ImmutabilityTools.convertIntoImmutableTerm(term)); } return builder.build(); }
static ImmutableSubstitution<ImmutableTerm> convertMutableSubstitution(Substitution substitution) { ImmutableMap.Builder<Variable, ImmutableTerm> substitutionMapBuilder = ImmutableMap.builder(); for (Map.Entry<Variable, Term> entry : substitution.getMap().entrySet()) { ImmutableTerm immutableValue = ImmutabilityTools.convertIntoImmutableTerm(entry.getValue()); substitutionMapBuilder.put(entry.getKey(), immutableValue); } return new ImmutableSubstitutionImpl<>(substitutionMapBuilder.build()); }
ImmutableSubstitution<ImmutableTerm> convertMutableSubstitution(Substitution substitution) { ImmutableMap<Variable, ImmutableTerm> map = substitution.getMap().entrySet().stream() .collect(ImmutableCollectors.toMap( Map.Entry::getKey, e -> immutabilityTools.convertIntoImmutableTerm(e.getValue()))); return substitutionFactory.getSubstitution(map); }
immutabilityTools.convertIntoImmutableTerm(headArguments.get(i)), extractDataAtoms(rule.getBody()).collect(ImmutableCollectors.toList()), alreadyKnownCastTypes));
ImmutableTerm nonVariableTerm = immutabilityTools.convertIntoImmutableTerm(term); Variable newVariable = projectedVariableGenerator.generateNewVariable(); newArgument = newVariable;
ImmutableTerm nonVariableTerm = convertIntoImmutableTerm(term); Variable newVariable = projectedVariableGenerator.generateNewVariable(); newArgument = newVariable;
ImmutableTerm immutableTerm = immutabilityTools.convertIntoImmutableTerm(term);
immutabilityTools.convertIntoImmutableTerm(evaluatedTerm)), normalizer, termFactory);
ImmutabilityTools.convertIntoImmutableTerm(evaluatedTerm)));