/src/uk/ac/ox/cs/pagoda/rules/approximators/

• ../
• Approximator.java
• LimitedSkolemisationApproximator.java
• OverApproxBoth.java
• OverApproxDisj.java
• OverApproxExist.java
• SkolemTermsManager.java
• TupleDependentApproximator.java