From 7e0ecc07285209e65f9d4d022065d06a4997fc86 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Wed, 13 May 2015 11:57:06 +0100 Subject: Implementing Limited Skolemisation, in particular SkolemTermsDispenser. --- src/uk/ac/ox/cs/pagoda/rules/ExistentialProgram.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/uk/ac/ox/cs/pagoda/rules/ExistentialProgram.java') diff --git a/src/uk/ac/ox/cs/pagoda/rules/ExistentialProgram.java b/src/uk/ac/ox/cs/pagoda/rules/ExistentialProgram.java index 64d018f..e825917 100644 --- a/src/uk/ac/ox/cs/pagoda/rules/ExistentialProgram.java +++ b/src/uk/ac/ox/cs/pagoda/rules/ExistentialProgram.java @@ -1,5 +1,7 @@ package uk.ac.ox.cs.pagoda.rules; +import uk.ac.ox.cs.pagoda.rules.approximators.OverApproxDisj; + public class ExistentialProgram extends UpperProgram { // @Override @@ -12,7 +14,7 @@ public class ExistentialProgram extends UpperProgram { @Override protected void initApproximator() { - m_approx = new OverApproxDisj(); + m_approx = new OverApproxDisj(); } } -- cgit v1.2.3