Uses of Class
reasoner.ULineEvent

Packages that use ULineEvent
reasoner   
 

Uses of ULineEvent in reasoner
 

Fields in reasoner declared as ULineEvent
protected  ULineEvent DynamicInd.uLineEvent
           
 

Fields in reasoner with type parameters of type ULineEvent
private  java.util.HashMap<java.lang.String,ULineEvent> KnowledgeBase.uLineEvents
          The ULineEvent map
 

Methods in reasoner that return ULineEvent
 ULineEvent DynamicInd.getULineEvent()
           
 ULineEvent ULineEvent.getWithoutLast()
          Returns a new ULineEvent identical to the present one, except for the last Individual that is missing
 

Methods in reasoner that return types with arguments of type ULineEvent
 java.util.HashMap<java.lang.String,ULineEvent> KnowledgeBase.getULineEvents()
           
 

Methods in reasoner with parameters of type ULineEvent
 void KnowledgeBase.addULineEv(ULineEvent ul)
          Adds an ULineEvent to this KB
private  Individual Concept.getLastAlways(ULineEvent ul)
          Returns the last Individual, belonging to the given ULineEvent, for which the always value has been evaluated.
private  Individual Concept.getLastSometime(ULineEvent ul)
          Returns the last Individual, belonging to the given ULineEvent, for which the sometime value has been evaluated.
 void DynamicInd.setULineEvent(ULineEvent line)
           
 

Method parameters in reasoner with type arguments of type ULineEvent
 void KnowledgeBase.setULineEvents(java.util.HashMap<java.lang.String,ULineEvent> uLineEvents)
           
 

Constructors in reasoner with parameters of type ULineEvent
DynamicInd(java.lang.String name, ULineEvent line, double time, KnowledgeBase kb)
          Constructs a new DynamicInd, by name, ULineEvent, time and KnowledgeBase
EventInd(java.lang.String name, ULineEvent line, double time, KnowledgeBase kb)
          Constructs a new EventInd by name, ULineEvent, time and Knowledge Base
EventInd(java.lang.String name, ULineEvent line, KnowledgeBase kb)
          Constructs a new EventInd by name, ULineEvent and Knowledge Base.
ULineInd(java.lang.String name, ULineEvent line, double time, KnowledgeBase kb)
          Constructs a new ULineInd by name, ULineEvent, time and Knowledge Base
ULineInd(java.lang.String name, ULineEvent line, KnowledgeBase kb)
          Constructs a new ULineInd by name, ULineEvent and Knowledge Base.
 

Constructor parameters in reasoner with type arguments of type ULineEvent
KnowledgeBase(java.util.HashMap<java.lang.String,Concept> concepts, java.util.HashMap<java.lang.String,ConcreteConcept> concrConcepts, java.util.HashMap<java.lang.String,Individual> individuals, java.util.HashMap<java.lang.String,ULineEvent> uLineEvents, java.util.HashMap<java.lang.String,Role> roles, java.util.HashMap<java.lang.String,Quantifier> quantifiers)
          Constructor for a new Knowledge Base from given HashMaps of elements
KnowledgeBase(java.util.HashMap<java.lang.String,Concept> concepts, java.util.HashMap<java.lang.String,ConcreteConcept> concrConcepts, java.util.HashMap<java.lang.String,Individual> individuals, java.util.HashMap<java.lang.String,ULineEvent> uLineEvents, java.util.HashMap<java.lang.String,Role> roles, java.util.HashMap<java.lang.String,Quantifier> quantifiers, Query query)
          Constructor for a new Knowledge Base from given HashMaps of elements