Uses of Class
reasoner.Individual

Packages that use Individual
reasoner   
 

Uses of Individual in reasoner
 

Subclasses of Individual in reasoner
 class DynamicInd
          This abstract class represents the Dynamic Individuals.
 class EventInd
          This class represents Event Individuals as subclass of DynamicInd
 class StaticInd
          This class represents the Static Individuals.
 class ULineInd
          This class represents Universal Line Individuals as subclass of DynamicInd
 

Fields in reasoner with type parameters of type Individual
private  java.util.Map<Individual,java.lang.Double> Concept.alwaysMap
          the always map
protected  java.util.Map<Individual,java.lang.Double> Concept.events
          the map of EventInd and values
private  java.util.HashMap<java.lang.String,Individual> KnowledgeBase.individuals
          The Individual map
private  java.util.Map<Individual,java.lang.Double> Role.r
          The map between Individuals and membership values
private  java.util.Map<Individual,java.lang.Double> Concept.sometimeMap
          the sometime map
protected  java.util.Map<Individual,java.lang.Double> Concept.staticMap
          the map of StaticInd and values
private  java.util.TreeMap<java.lang.Double,Individual> ULineEvent.timeMap
          the time map
protected  java.util.Map<Individual,java.lang.Double> Concept.uLineMap
          the map of ULineInd and values
 

Methods in reasoner that return Individual
 Individual ULineEvent.firstMax(Concept a)
          Returns the Individual corrisponding on the first maximum value on the Concept a
 Individual ULineEvent.getFirst()
          Gets the first Individual in this ULineEvent, ordered by time, or null if this ULineEvent is empty.
 Individual ULineEvent.getIndividual(java.lang.Double time)
          Gets Individual with a given time
 Individual ULineEvent.getLast()
          Gets the last Individual in this ULineEvent, ordered by time, or null if this ULineEvent is empty.
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.
 Individual ULineEvent.getNext(Individual ind)
          Gets next Individual, after given Individual, in this ULineEvent, ordered by time, or null if next Individual does not exist.
 Individual ULineEvent.getPrevious(Individual ind)
          Returns previous Individual, in time ordering, before given Individual or null if such previous Individual does not exist.
 Individual ULineEvent.lastMax(Concept a)
          Returns the Individual corrisponding on the last maximum value on the Concept a
 

Methods in reasoner that return types with arguments of type Individual
 java.util.Map<Individual,java.lang.Double> Concept.getAlwaysMap()
           
 java.util.Map<Individual,java.lang.Double> Concept.getEvents()
           
 java.util.Set<Individual> Concept.getEvKeys()
           
 java.util.HashMap<java.lang.String,Individual> KnowledgeBase.getIndividuals()
           
 java.util.Set<Individual> Role.getInds()
          Gets this Role set of Individuals
 java.util.Map<Individual,java.lang.Double> Role.getR()
           
 java.util.Map<Individual,java.lang.Double> Concept.getSometimeMap()
           
 java.util.Map<Individual,java.lang.Double> Concept.getStaticMap()
           
 java.util.TreeMap<java.lang.Double,Individual> ULineEvent.getTimeMap()
           
 java.util.Map<Individual,java.lang.Double> Concept.getULineMap()
           
 java.util.Set<Individual> Concept.getUlKeys()
           
 

Methods in reasoner with parameters of type Individual
 void ULineEvent.add(java.lang.Double time, Individual i)
          Adds an Individual and it's time in this ULineEvent
 Role Role.add(Individual s, java.lang.Double d)
          Adds a [Individual, value] couple to this Role
 Concept Concept.add(Individual i, java.lang.Double d)
          Add an Individual to this Concept, with a given membership value
 void KnowledgeBase.addIndividual(Individual i)
          Adds an Individual to this KB
 double Concept.always(Individual ind)
          Returns the membership value of the given Individual on the logical expression [alwaysA(ind)], where A is this Concept, using the 'inf' semantics.
 int Individual.compareTo(Individual i)
          Compares by name this Individual with a given one
 boolean Role.containsInd(Individual key)
          Tests the given Individual existence in this Role
 boolean Concept.containsKey(Individual key)
          Tests on existence of a given Individual, as EventInd or ULineInd or StaticInd, in this Concept
 double Role.get(Individual ind)
          Gets membership value for a given Individual
 double Concept.get(Individual key)
          Gives the membership value of the given Individual, 0.0 if it does not exist
 Individual ULineEvent.getNext(Individual ind)
          Gets next Individual, after given Individual, in this ULineEvent, ordered by time, or null if next Individual does not exist.
 Concept Concept.getNextConcept(Individual ind)
          Returns a new Concept being NextConcept for this Concept, for Individuals preceeding the given Individual.
 Individual ULineEvent.getPrevious(Individual ind)
          Returns previous Individual, in time ordering, before given Individual or null if such previous Individual does not exist.
 double Concept.sometime(Individual ind)
          Returns the membership value of the given Individual on the logical expression [sometimeA(ind)], where A is this Concept, using the 'sup' semantics.
 double Concept.until(Concept b, Individual ind)
          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.
 double Concept.until(Concept b, Individual ind, double lastUntil)
          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.
 

Method parameters in reasoner with type arguments of type Individual
 void Concept.setAlwaysMap(java.util.Map<Individual,java.lang.Double> alwaysMap)
           
 void Concept.setEvents(java.util.Map<Individual,java.lang.Double> ev)
           
 void KnowledgeBase.setIndividuals(java.util.HashMap<java.lang.String,Individual> individuals)
           
 void Role.setR(java.util.Map<Individual,java.lang.Double> r)
           
 void Concept.setSometimeMap(java.util.Map<Individual,java.lang.Double> sometimeMap)
           
 void Concept.setStaticMap(java.util.Map<Individual,java.lang.Double> staticMap)
           
 void ULineEvent.setTimeMap(java.util.TreeMap<java.lang.Double,Individual> timeMap)
           
 void Concept.setULineMap(java.util.Map<Individual,java.lang.Double> lineMap)
           
 

Constructor parameters in reasoner with type arguments of type Individual
Concept(java.util.Map<Individual,java.lang.Double> ev, java.lang.String name, KnowledgeBase kb)
          Constructs a Concept from the given map of EventInds and values and with a given name and in a given knowledge base
Distance(java.util.TreeMap<Individual,java.lang.Double> r, KnowledgeBase kb)
          Constructs a new Distance with a given Role map
Dynamic(java.util.Map<Individual,java.lang.Double> m, java.lang.String name, KnowledgeBase kb)
          Constructor by EventInd map, name and KnowledgeBase
Event(java.util.Map<Individual,java.lang.Double> m, java.lang.String name, KnowledgeBase kb)
          Constructor by EventInd map, name and KnowledgeBase
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
Role(java.util.TreeMap<Individual,java.lang.Double> r, KnowledgeBase kb)
          Constructs this Role by map and KnowledgeBase
Static(java.util.Map<Individual,java.lang.Double> m, java.lang.String name, KnowledgeBase kb)
          Constructor by StaticInd map, name and KnowledgeBase
ULine(java.util.Map<Individual,java.lang.Double> m, java.lang.String name, KnowledgeBase kb)
          Constructor by ULineInd map, name and KnowledgeBase.