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, unmarshall
equals, getDependencies, getGUIProperty, getIcon, hashCode, hasOrdering, higherBetter, monotonicity, toString
public java.lang.Long getID()
public java.lang.String getName()
public java.lang.Long getDefaultValue()
Property
public 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