Uses of Class
reasoner.UniversalLine

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)