A B C D E F G I J K L M N O P Q R S T U V X Y _

U

ulCreated - Static variable in class monitor.Monitor
 
ULine - Class in reasoner
This class represents Concept containing ULineInd only.
ULine(String, KnowledgeBase) - Constructor for class reasoner.ULine
Constructor by name and KnowledgeBase
ULine(Map<Individual, Double>, String, KnowledgeBase) - Constructor for class reasoner.ULine
Constructor by ULineInd map, name and KnowledgeBase.
uLineEvent - Variable in class reasoner.DynamicInd
 
ULineEvent - Class in reasoner
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.
ULineEvent(String, KnowledgeBase) - Constructor for class reasoner.ULineEvent
Constructor by name and KnowledgeBase
uLineEvents - Variable in class reasoner.KnowledgeBase
The ULineEvent map
ULineInd - Class in reasoner
This class represents Universal Line Individuals as subclass of DynamicInd
ULineInd(String, ULineEvent, KnowledgeBase) - Constructor for class reasoner.ULineInd
Constructs a new ULineInd by name, ULineEvent and Knowledge Base.
ULineInd(String, ULineEvent, double, KnowledgeBase) - Constructor for class reasoner.ULineInd
Constructs a new ULineInd by name, ULineEvent, time and Knowledge Base
uLineMap - Variable in class reasoner.Concept
the map of ULineInd and values
union(FuzzySet) - Method in class reasoner.ConcreteConcept
FuzzySet union between this ConcreteConcept and a generic FuzzySet
union(FuzzySet) - Method in class reasoner.Quantifier
 
union(FuzzySet) - Method in class reasoner.Trapezoid
Union with a FuzzySet
until(Concept, Individual, double) - Method in class reasoner.Concept
Returns the evaluation of the logical expression [A until B(ind)], where A is this Concept, B is a given other Concept, ind is the Individual for which expression has to be evaluated; lastUntil is the given expression value for the last (previous) Individual with respect to ind.
until(Concept, Individual) - Method in class reasoner.Concept
Return the evaluation of the logical expression [A until B(ind)], where A is this Concept, B is a given Concept, ind is the Individual for which expression has to be evaluted.
util - package util
 

A B C D E F G I J K L M N O P Q R S T U V X Y _