Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
Atom |
getAtom() |
Literal |
getInstance(Variable variable,
Term term) |
int |
hashCode() |
boolean |
isGround() |
boolean |
isPositive() |
String |
toPLString() |
String |
toString() |
public boolean isPositive()
public boolean isGround()
public Literal 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