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

• ../
• ApproxProgram.java
• Approximator.java
• DatalogProgram.java
• DisjunctiveProgram.java
• EqualityAxiomatiser.java
• ExistentialProgram.java
• ExistentialToDisjunctive.java
• GeneralProgram.java
• IncrementalProgram.java
• LowerDatalogProgram.java
• OverApproxBoth.java
• OverApproxDisj.java
• OverApproxExist.java
• Program.java
• UpperDatalogProgram.java
• UpperProgram.java