|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectreasoner.Concept
reasoner.Dynamic
reasoner.Event
reasoner.UlEvent
public class UlEvent
this class represents the concept of individuals being the events corresponding to a given ULine, together, for sake of simplicity, with the given ULine
Field Summary | |
---|---|
private java.lang.String |
name
the UlEvent name |
private java.util.TreeMap<java.lang.Double,reasoner.Individual> |
timeMap
the time map |
Fields inherited from class reasoner.Concept |
---|
events, formatter, kb, NOW, SELF, staticMap, uLineMap |
Constructor Summary | |
---|---|
UlEvent(java.lang.String name,
reasoner.KnowledgeBase kb)
|
Method Summary | |
---|---|
void |
add(java.lang.Double time,
reasoner.Individual i)
|
int |
compareTo(java.lang.Object i)
|
reasoner.Individual |
firstMax(reasoner.Concept a)
return the individual corrisponding on the first maximum value on the concept a |
double |
get(double time,
reasoner.Concept c)
return the concept value of the individual belonging this UlEvent, corresponding to the given time |
reasoner.Individual |
getFirst()
|
reasoner.Individual |
getIndividual(java.lang.Double time)
|
reasoner.Individual |
getLast()
|
reasoner.Individual |
getLast(reasoner.Individual ind)
return last Individual, in time ordering, before given Individual or null if such Individual does not exist |
reasoner.ULineInd |
getMyULine()
|
java.lang.String |
getName()
gives the Concept name |
reasoner.Individual |
getNext(reasoner.Individual ind)
return next Individual, in time ordering, after given Individual or null if such Individual does not exist |
java.util.TreeMap<java.lang.Double,reasoner.Individual> |
getTimeMap()
|
java.util.TreeSet<java.lang.Double> |
getTimeSet()
|
UlEvent |
getWithoutLast()
return a new UlEvent identical to the present except that the last Individual is missing |
reasoner.Individual |
lastMax(reasoner.Concept a)
|
double |
max(reasoner.Concept a)
gets the maximum value gained by this UlEvent on a given Concept |
void |
print()
prints a String representation for this Concept, with all Event Individuals and values |
void |
setName(java.lang.String name)
sets the Concept name |
void |
setProxy()
|
void |
setTime(java.lang.Double d,
reasoner.Individual i)
|
void |
setTimeMap(java.util.TreeMap<java.lang.Double,reasoner.Individual> timeMap)
|
java.lang.String |
toString()
|
Methods inherited from class reasoner.Concept |
---|
add, always, card, card, containsIndivName, containsKey, containsUlKey, get, getAlwaysMap, getEvents, getKb, getKeys, getLambda, getNextConcept, getNOW, getSELF, getSometimeMap, getStaticMap, getTempKeys, getTemporalLambda, getULineMap, interpole, intersection, printUlines, setAlwaysMap, setEvents, setKb, setNOW, setSELF, setSometimeMap, setStaticMap, setULineMap, sometime, subsumed, subsumed, totalLambda, totalTempLambda, until, until |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
private java.lang.String name
private java.util.TreeMap<java.lang.Double,reasoner.Individual> timeMap
Constructor Detail |
---|
public UlEvent(java.lang.String name, reasoner.KnowledgeBase kb)
r
- name
- Method Detail |
---|
public double max(reasoner.Concept a)
a
-
public reasoner.Individual getFirst()
public reasoner.Individual getLast()
public reasoner.Individual getNext(reasoner.Individual ind)
ind
- the given Individual
public double get(double time, reasoner.Concept c)
time
- c
-
public reasoner.Individual getLast(reasoner.Individual ind)
ind
- the given Individual
public UlEvent getWithoutLast()
public reasoner.Individual firstMax(reasoner.Concept a)
a
- the Concept
public reasoner.Individual lastMax(reasoner.Concept a)
public void print()
reasoner.Concept
print
in class reasoner.Concept
public java.lang.String toString()
toString
in class reasoner.Concept
public void setProxy()
public void add(java.lang.Double time, reasoner.Individual i)
public java.util.TreeSet<java.lang.Double> getTimeSet()
public java.lang.String getName()
reasoner.Concept
getName
in class reasoner.Concept
public void setName(java.lang.String name)
reasoner.Concept
setName
in class reasoner.Concept
name
- the name to setpublic java.util.TreeMap<java.lang.Double,reasoner.Individual> getTimeMap()
public void setTimeMap(java.util.TreeMap<java.lang.Double,reasoner.Individual> timeMap)
timeMap
- the timeMap to setpublic void setTime(java.lang.Double d, reasoner.Individual i)
public reasoner.Individual getIndividual(java.lang.Double time)
public int compareTo(java.lang.Object i)
compareTo
in interface java.lang.Comparable
public reasoner.ULineInd getMyULine()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |