|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object jq.qde.space.value.MagnitudeLandmark jq.qde.space.value.TimeLandmark
Field Summary | |
static java.lang.String |
TIME_PREFIX
|
Constructor Summary | |
TimeLandmark(int time,
TimeVariable var)
|
Method Summary | |
int |
getTime()
|
void |
print(java.io.PrintStream out)
|
java.lang.String |
toAbbreviation()
|
Methods inherited from class jq.qde.space.value.MagnitudeLandmark |
getInfiniteSign, getInitialValues, getName, getVariable, isInfinite, isInterval, isPoint, isUnknown, isZero, printSpecification, toSpecification, toString |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface jq.qde.space.value.QualitativeMagnitude |
getInfiniteSign, getInitialValues, getVariable, isInfinite, isInterval, isPoint, isUnknown, isZero, printSpecification |
Methods inherited from interface jq.util.Abbrevable |
toSpecification |
Field Detail |
public static final java.lang.String TIME_PREFIX
Constructor Detail |
public TimeLandmark(int time, TimeVariable var)
Method Detail |
public void print(java.io.PrintStream out)
public int getTime()
public java.lang.String toAbbreviation()
toAbbreviation
in interface Abbrevable
toAbbreviation
in class MagnitudeLandmark
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |