public class ParamWeightTerm extends ValueTerm
Modifier and Type | Field and Description |
---|---|
ParamWeight |
param |
double |
weight |
Constructor and Description |
---|
ParamWeightTerm() |
Modifier and Type | Method and Description |
---|---|
int |
compareTo(ATerm o) |
java.lang.String |
toString() |
basicFromString, clone, ground, isGround, valueClone, valueEquals, valueHash
crossClassCompare, gatherTopFunctions, getBoolean, getCollection, getDouble, getInt, getSparseVector, getString, getTerm, getVector, isFunctionFree, mdjbFirst, mdjbNext, testRecursive
public ParamWeight param
public double weight
public java.lang.String toString()
toString
in class java.lang.Object
public int compareTo(ATerm o)