Constructor and Description |
---|
Body() |
Modifier and Type | Method and Description |
---|---|
void |
addLiteral(Literal literal) |
Body |
getInstance(Variable variable,
Term term) |
ArrayList<Literal> |
getLiterals() |
boolean |
isEmpty() |
boolean |
isGround() |
String |
toPLString() |
String |
toString() |
public Body()
public void addLiteral(Literal literal)
public ArrayList<Literal> getLiterals()
public boolean isEmpty()
public boolean isGround()
public Body getInstance(Variable variable, Term term)
public String toPLString()
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann