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

• ../
• ApproxProgram.java
• DatalogProgram.java
• DisjunctiveProgram.java
• EqualityAxiomatiser.java
• ExistConstantApproximator.java
• ExistentialProgram.java
• ExistentialToDisjunctive.java
• GeneralProgram.java
• IncrementalProgram.java
• LowerDatalogProgram.java
• Program.java
• UpperDatalogProgram.java
• UpperProgram.java
• approximators
• clauses