Constructor and Description |
---|
Term() |
Modifier and Type | Method and Description |
---|---|
abstract Object |
clone() |
abstract boolean |
equals(Object obj) |
abstract Term |
getInstance(Variable variable,
Term term) |
abstract int |
hashCode() |
abstract boolean |
isGround() |
abstract String |
toPLString() |
abstract String |
toString() |
public Term()
public abstract boolean isGround()
public abstract Term getInstance(Variable variable, Term term)
variable
- Substitution variable.term
- A term.public abstract String toPLString()
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann