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, valueHashcrossClassCompare, gatherTopFunctions, getBoolean, getCollection, getDouble, getInt, getSparseVector, getString, getTerm, getVector, isFunctionFree, mdjbFirst, mdjbNext, testRecursivepublic ParamWeight param
public double weight
public java.lang.String toString()
toString in class java.lang.Objectpublic int compareTo(ATerm o)