|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Individual | |
---|---|
reasoner | |
test |
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. |
Uses of Individual in test |
---|
Fields in test declared as Individual | |
---|---|
(package private) static Individual |
Eval3.j1
|
(package private) static Individual |
Eval3.j2
|
(package private) static Individual |
Eval3.j3
|
(package private) static Individual |
Eval3.t1
|
(package private) static Individual |
Eval3.t10
|
(package private) static Individual |
Eval3.t11
|
(package private) static Individual |
Eval3.t12
|
(package private) static Individual |
Eval3.t13
|
(package private) static Individual |
Eval3.t14
|
(package private) static Individual |
Eval3.t15
|
(package private) static Individual |
Eval3.t16
|
(package private) static Individual |
Eval3.t17
|
(package private) static Individual |
Eval3.t18
|
(package private) static Individual |
Eval3.t19
|
(package private) static Individual |
Eval3.t2
|
(package private) static Individual |
Eval3.t20
|
(package private) static Individual |
Eval3.t21
|
(package private) static Individual |
Eval3.t22
|
(package private) static Individual |
Eval3.t23
|
(package private) static Individual |
Eval3.t24
|
(package private) static Individual |
Eval3.t25
|
(package private) static Individual |
Eval3.t26
|
(package private) static Individual |
Eval3.t3
|
(package private) static Individual |
Eval3.t4
|
(package private) static Individual |
Eval3.t5
|
(package private) static Individual |
Eval3.t6
|
(package private) static Individual |
Eval3.t7
|
(package private) static Individual |
Eval3.t8
|
(package private) static Individual |
Eval3.t9
|
(package private) static Individual |
Eval3.x
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |