|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of UniversalLine in reasoner |
---|
Fields in reasoner declared as UniversalLine | |
---|---|
(package private) static UniversalLine |
Eval3.J
|
(package private) static UniversalLine |
Eval3.M
|
(package private) static UniversalLine |
Eval3.T
|
private UniversalLine |
Individual.uLine
|
Methods in reasoner that return UniversalLine | |
---|---|
UniversalLine |
Individual.getULine()
|
UniversalLine |
UniversalLine.getWithoutLast()
return a new UniversalLine identical to the present except that the last Individual is missing |
Methods in reasoner with parameters of type UniversalLine | |
---|---|
void |
KnowledgeBase.addULine(UniversalLine ul)
|
private Individual |
Concept.getLastAlways(UniversalLine ul)
returns the last Individual, belonging to the given Universal Line, for which the always value has been evaluated |
private Individual |
Concept.getLastSometime(UniversalLine ul)
returns the last Individual, belonging to the given Universal Line, for which the sometime value has been evaluated |
void |
Individual.setULine(UniversalLine line)
|
Constructors in reasoner with parameters of type UniversalLine | |
---|---|
Individual(java.lang.String name,
UniversalLine line,
double time,
KnowledgeBase kb)
|
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |