src/uk/ac/ox/cs/pagoda/rules/clauses/DLClause.java


1
2
3
4
5
6
7
8
9
10
11
12

package uk.ac.ox.cs.pagoda.rules.clauses;

public class DLClause extends Clause {

//    private DLClause(Atom[] headAtoms, Atom[] bodyAtoms) {
//        super(headAtoms, bodyAtoms);
//    }
//
//    public static DLClause create(Atom[] headAtoms, Atom[] bodyAtoms) {
//        return s_interningManager.intern(new DLClause(headAtoms, bodyAtoms));
//    }
}