From c3480bb733b8bca976718a3dc2f09a21cb4b1b45 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Tue, 4 Aug 2015 18:30:46 +0100 Subject: Rules parsing. --- .../cs/pagoda/rules/approximators/LimitedSkolemisationApproximator.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (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 7d29c74..a140225 100644 --- a/src/uk/ac/ox/cs/pagoda/rules/approximators/LimitedSkolemisationApproximator.java +++ b/src/uk/ac/ox/cs/pagoda/rules/approximators/LimitedSkolemisationApproximator.java @@ -9,7 +9,7 @@ import java.util.ArrayList; import java.util.Collection; import java.util.Collections; -/** +/*** * Approximates existential rules through a limited form of Skolemisation. *

* Given a rule and a ground substitution, -- cgit v1.2.3