|
||||||||||
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.ULineEvent
public class ULineEvent
This class represents the Concept of individuals being the events corresponding to the same ULine; it contains, for sake of simplicity, the corresponding ULine too.
Field Summary | |
---|---|
private java.util.TreeMap<java.lang.Double,Individual> |
timeMap
the time map |
Fields inherited from class reasoner.Concept |
---|
events, formatter, kb, NOW, SELF, staticMap, uLineMap |
Constructor Summary | |
---|---|
ULineEvent(java.lang.String name,
KnowledgeBase kb)
Constructor by name and KnowledgeBase |
Method Summary | |
---|---|
void |
add(java.lang.Double time,
Individual i)
Adds an Individual and it's time in this ULineEvent |
int |
compareTo(Concept i)
|
Individual |
firstMax(Concept a)
Returns the Individual corrisponding on the first maximum value on the Concept a |
double |
get(double time,
Concept c)
Returns the concept membership value for the individual belonging this ULineEvent, corresponding to given time. |
Individual |
getFirst()
Gets the first Individual in this ULineEvent, ordered by time, or null if this ULineEvent is empty. |
Individual |
getIndividual(java.lang.Double time)
Gets Individual with a given time |
Individual |
getLast()
Gets the last Individual in this ULineEvent, ordered by time, or null if this ULineEvent is empty. |
ULineInd |
getMyULine()
Returns ULineInd corresponding to this ULineEvent |
Individual |
getNext(Individual ind)
Gets next Individual, after given Individual, in this ULineEvent, ordered by time, or null if next Individual does not exist. |
Individual |
getPrevious(Individual ind)
Returns previous Individual, in time ordering, before given Individual or null if such previous Individual does not exist. |
java.util.TreeMap<java.lang.Double,Individual> |
getTimeMap()
|
java.util.TreeSet<java.lang.Double> |
getTimeSet()
|
ULineEvent |
getWithoutLast()
Returns a new ULineEvent identical to the present one, except for the last Individual that is missing |
Individual |
lastMax(Concept a)
Returns the Individual corrisponding on the last maximum value on the Concept a |
double |
max(Concept a)
Gets the maximum value gained by this ULineEvent on a given Concept |
void |
print()
Prints on the standard output a String representation for this Concept, with all EventInds and values. |
void |
setTimeMap(java.util.TreeMap<java.lang.Double,Individual> timeMap)
|
private void |
setULine()
Creates a new ULine for this ULineEvent |
java.lang.String |
toString()
|
Methods inherited from class reasoner.Concept |
---|
add, always, card, containsIndivName, containsKey, get, getAlwaysMap, getEvents, getEvKeys, getKb, getLambda, getName, getNextConcept, getNOW, getSELF, getSometimeMap, getStaticMap, getULineMap, getUlKeys, getUlLambda, interpole, intersection, printUlines, setAlwaysMap, setEvents, setKb, setName, setNOW, setSELF, setSometimeMap, setStaticMap, setULineMap, sometime, subsumed, subsumed, totalLambda, totalUlLambda, until, until |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
private java.util.TreeMap<java.lang.Double,Individual> timeMap
Constructor Detail |
---|
public ULineEvent(java.lang.String name, KnowledgeBase kb)
name
- the namekb
- the KnowledgeBaseMethod Detail |
---|
public double max(Concept a)
a
- the Concept
public Individual getFirst()
public Individual getLast()
public Individual getNext(Individual ind)
ind
- the given Individual
public double get(double time, Concept c)
time
- the timec
- the Concept
public Individual getPrevious(Individual ind)
ind
- the given Individual
public ULineEvent getWithoutLast()
public Individual firstMax(Concept a)
a
- the Concept
public Individual lastMax(Concept a)
a
- the Concept
public void print()
Concept
print
in class Concept
public java.lang.String toString()
toString
in class Concept
private void setULine()
public void add(java.lang.Double time, Individual i)
time
- the timei
- the Individualpublic java.util.TreeSet<java.lang.Double> getTimeSet()
public java.util.TreeMap<java.lang.Double,Individual> getTimeMap()
public void setTimeMap(java.util.TreeMap<java.lang.Double,Individual> timeMap)
timeMap
- the timeMap to setpublic Individual getIndividual(java.lang.Double time)
time
- the time
public int compareTo(Concept i)
compareTo
in interface java.lang.Comparable<Concept>
public ULineInd getMyULine()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |