public class RunningTime extends PropertyLong
| Constructor and Description |
|---|
RunningTime() |
| Modifier and Type | Method and Description |
|---|---|
int |
compare(java.lang.Object o1,
java.lang.Object o2) |
java.lang.Long |
getDefaultValue()
We want to have a default value for a property s.t., we can reason on it
|
java.lang.Long |
getID() |
java.util.Set<Constructs> |
getMeaningfulTypeConstructs() |
java.lang.String |
getName() |
clone, getValueDouble, marshall, unmarshallequals, getDependencies, getGUIProperty, getIcon, hashCode, hasOrdering, higherBetter, monotonicity, toStringpublic java.lang.Long getID()
public java.lang.String getName()
public java.lang.Long getDefaultValue()
Propertypublic java.util.Set<Constructs> getMeaningfulTypeConstructs()
getMeaningfulTypeConstructs in interface Property<java.lang.Long>getMeaningfulTypeConstructs in class HighLevelProperty<java.lang.Long>public int compare(java.lang.Object o1,
java.lang.Object o2)
compare in interface Property<java.lang.Long>compare in class HighLevelProperty<java.lang.Long>o1 - a value for a propertyo2 - another value for a property