diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-07-03 19:09:31 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-07-03 19:09:31 +0100 |
| commit | 39b60d4225f5efa4e0287a2c6ce69d90391c69db (patch) | |
| tree | 18c5b05726f39baa4d3ca8b228e24ad1f0182f2a /src/uk/ac/ox/cs/pagoda/rules/clauses/DLClause.java | |
| parent | 133dab6e21f263df2baca913d3d0b7a4fd152d08 (diff) | |
| download | ACQuA-39b60d4225f5efa4e0287a2c6ce69d90391c69db.tar.gz ACQuA-39b60d4225f5efa4e0287a2c6ce69d90391c69db.zip | |
Many little changes.
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/rules/clauses/DLClause.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/rules/clauses/DLClause.java | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/rules/clauses/DLClause.java b/src/uk/ac/ox/cs/pagoda/rules/clauses/DLClause.java new file mode 100644 index 0000000..7394be0 --- /dev/null +++ b/src/uk/ac/ox/cs/pagoda/rules/clauses/DLClause.java | |||
| @@ -0,0 +1,12 @@ | |||
| 1 | package uk.ac.ox.cs.pagoda.rules.clauses; | ||
| 2 | |||
| 3 | public class DLClause extends Clause { | ||
| 4 | |||
| 5 | // private DLClause(Atom[] headAtoms, Atom[] bodyAtoms) { | ||
| 6 | // super(headAtoms, bodyAtoms); | ||
| 7 | // } | ||
| 8 | // | ||
| 9 | // public static DLClause create(Atom[] headAtoms, Atom[] bodyAtoms) { | ||
| 10 | // return s_interningManager.intern(new DLClause(headAtoms, bodyAtoms)); | ||
| 11 | // } | ||
| 12 | } | ||