|
|||||||||
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.UniversalLine
public class UniversalLine
Field Summary | |
---|---|
private java.lang.String |
name
|
private java.util.TreeMap<java.lang.Double,Individual> |
timeMap
|
Fields inherited from class reasoner.Concept |
---|
formatter, kb, m, NOW, SELF, uLineMap |
Constructor Summary | |
---|---|
UniversalLine(java.lang.String name,
KnowledgeBase kb)
|
Method Summary | |
---|---|
void |
add(java.lang.Double time,
Individual i)
|
int |
compareTo(java.lang.Object i)
|
double |
eval(Concept a)
gets the maximum value gained by this UniversalLine on a given Concept |
Individual |
firstMax(Concept a)
return the individual corrisponding on the first maximum value on the concept a |
double |
get(double time,
Concept c)
return the concept value of the individual belonging this UniversalLine, corresponding to the given time |
Individual |
getFirst()
|
Individual |
getIndividual(java.lang.Double time)
|
Individual |
getLast()
|
Individual |
getLast(Individual ind)
return last Individual, in time ordering, before given Individual or null if such Individual does not exist |
java.lang.String |
getName()
give the Concept name |
Individual |
getNext(Individual ind)
return next Individual, in time ordering, after given Individual or null if such Individual does not exist |
Individual |
getMySelf()
|
java.util.TreeMap<java.lang.Double,Individual> |
getTimeMap()
|
java.util.TreeSet<java.lang.Double> |
getTimeSet()
|
UniversalLine |
getWithoutLast()
return a new UniversalLine identical to the present except that the last Individual is missing |
Individual |
lastMax(Concept a)
|
void |
print()
print a String representation for this Concept, with all Event Individuals and values |
void |
setName(java.lang.String name)
set the Concept name |
void |
setProxy()
|
void |
setTime(java.lang.Double d,
Individual i)
|
void |
setTimeMap(java.util.TreeMap<java.lang.Double,Individual> timeMap)
|
java.lang.String |
toString()
|
Methods inherited from class reasoner.Concept |
---|
add, always, card, card, containsIndivName, containsKey, containsUlKey, get, getA1, getAlwaysMap, getKb, getKeys, getLambda, getMap, getNextConcept, getNOW, getR, getSELF, getSometimeMap, getTempKeys, getTemporalLambda, getULineMap, interpole, intersection, printUlines, setA1, setAlwaysMap, setKb, setMap, setNOW, setR, setSELF, setSometimeMap, 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,Individual> timeMap
Constructor Detail |
---|
public UniversalLine(java.lang.String name, KnowledgeBase kb)
r
- name
- Method Detail |
---|
public double eval(Concept a)
a
-
public Individual getFirst()
public Individual getLast()
public Individual getNext(Individual ind)
ind
- the given Individual
public double get(double time, Concept c)
time
- c
-
public Individual getLast(Individual ind)
ind
- the given Individual
public UniversalLine getWithoutLast()
public Individual firstMax(Concept a)
a
- the Concept
public Individual lastMax(Concept a)
public void print()
Concept
print
in class Concept
public java.lang.String toString()
toString
in class Concept
public void setProxy()
public void add(java.lang.Double time, Individual i)
public java.util.TreeSet<java.lang.Double> getTimeSet()
public java.lang.String getName()
Concept
getName
in class Concept
public void setName(java.lang.String name)
Concept
setName
in class Concept
name
- the name to setpublic java.util.TreeMap<java.lang.Double,Individual> getTimeMap()
public void setTimeMap(java.util.TreeMap<java.lang.Double,Individual> timeMap)
timeMap
- the timeMap to setpublic void setTime(java.lang.Double d, Individual i)
public Individual getIndividual(java.lang.Double time)
public int compareTo(java.lang.Object i)
compareTo
in interface java.lang.Comparable
public Individual getMySelf()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |