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