Constructor and Description |
---|
Program() |
Modifier and Type | Method and Description |
---|---|
void |
addClause(Clause clause) |
ArrayList<Clause> |
getClauses() |
boolean |
isGround() |
String |
toPLString() |
String |
toString() |
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann