From 939e7aa65abe18f57a129fee590f46b7cd32f688 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Fri, 5 Jun 2015 16:37:55 +0100 Subject: Violations processor (Python script). --- .../pagoda/rules/approximators/LimitedSkolemisationApproximator.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/rules/approximators') diff --git a/src/uk/ac/ox/cs/pagoda/rules/approximators/LimitedSkolemisationApproximator.java b/src/uk/ac/ox/cs/pagoda/rules/approximators/LimitedSkolemisationApproximator.java index da67264..dfe1e59 100644 --- a/src/uk/ac/ox/cs/pagoda/rules/approximators/LimitedSkolemisationApproximator.java +++ b/src/uk/ac/ox/cs/pagoda/rules/approximators/LimitedSkolemisationApproximator.java @@ -8,8 +8,8 @@ import uk.ac.ox.cs.pagoda.util.tuples.Tuple; import uk.ac.ox.cs.pagoda.util.tuples.TupleBuilder; import java.util.ArrayList; -import java.util.Arrays; import java.util.Collection; +import java.util.Collections; /** * Approximates existential rules through a limited form of Skolemisation. @@ -45,7 +45,7 @@ public class LimitedSkolemisationApproximator implements TupleDependentApproxima case 1: return overApprox(clause, originalClause, violationTuples); case 0: - return Arrays.asList(clause); + return Collections.singletonList(clause); default: throw new IllegalArgumentException( "Expected clause with head length < 1, but it is " + clause.getHeadLength()); -- cgit v1.2.3