|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Concept | |
---|---|
monitor | |
reasoner | |
test |
Uses of Concept in monitor |
---|
Fields in monitor declared as Concept | |
---|---|
private static Concept |
Monitor.c
|
private static Concept |
Monitor.c2
|
Uses of Concept in reasoner |
---|
Subclasses of Concept in reasoner | |
---|---|
class |
Dynamic
This class represents Concept containing DynamicInd. |
class |
Event
This class represents Concept containing EventInd only. |
class |
Static
This class represents Concept containing StaticInd only. |
class |
ULine
This class represents Concept containing ULineInd only. |
class |
ULineEvent
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. |
Fields in reasoner declared as Concept | |
---|---|
private Concept |
RoleQuery.c
The Concept |
private Concept |
OpQuery.c1
The first Concept |
private Concept |
OpQuery.c2
The second Concept |
private Concept |
OpQuery.d
|
Fields in reasoner with type parameters of type Concept | |
---|---|
private java.util.HashMap<java.lang.String,Concept> |
KnowledgeBase.concepts
The Concept map |
Methods in reasoner that return Concept | |
---|---|
Concept |
Concept.add(Individual i,
java.lang.Double d)
Add an Individual to this Concept, with a given membership value |
Concept |
RoleQuery.getC()
|
Concept |
OpQuery.getC1()
|
Concept |
OpQuery.getC2()
|
Concept |
OpQuery.getD()
|
Concept |
Concept.getNextConcept(Individual ind)
Returns a new Concept being NextConcept for this Concept, for Individuals preceeding the given Individual. |
Concept |
Concept.intersection(Concept c)
The intersection between this Concept and a given second one |
Concept |
ConcreteConcept.toConcept()
Converts this ConcreteConcept in a Concept |
Concept |
RoleQuery.trap2Concept(ConcreteConcept t)
Converts a ConcreteConcept in a correspondent Concept |
private Concept |
OpQuery.trap2Concept(ConcreteConcept tc)
Converts a ConcreteConcept in a Concept |
Methods in reasoner that return types with arguments of type Concept | |
---|---|
java.util.HashMap<java.lang.String,Concept> |
KnowledgeBase.getConcepts()
|
Methods in reasoner with parameters of type Concept | |
---|---|
void |
KnowledgeBase.addConcept(Concept c)
Adds a Concept to this KB |
int |
ULineEvent.compareTo(Concept i)
|
double |
ULineInd.eval(Concept c)
Evaluates the membership value for this Individual in the given Concept |
double |
StaticInd.eval(Concept c)
Evaluates the membership value for this StaticInd in the given Concept |
abstract double |
Individual.eval(Concept c)
Evaluates the membership value for this Individual in the given Concept |
double |
EventInd.eval(Concept c)
Evaluates the membership value for this EventInd in the given Concept |
abstract double |
DynamicInd.eval(Concept c)
Evaluates the membership value for this DynamicInd in the given Concept |
double |
Quantifier.eval(Role r,
Concept c)
Evaluates expression (Q)R.C = Q(R_intersection_C / R), with Q this relative Quantifier, R a Role and C a Concept. |
Individual |
ULineEvent.firstMax(Concept a)
Returns the Individual corrisponding on the first maximum value on the Concept a |
double |
ULineEvent.get(double time,
Concept c)
Returns the concept membership value for the individual belonging this ULineEvent, corresponding to given time. |
Role |
Role.intersection(Concept c)
Intersection between this Role and a Concept |
Concept |
Concept.intersection(Concept c)
The intersection between this Concept and a given second one |
Individual |
ULineEvent.lastMax(Concept a)
Returns the Individual corrisponding on the last maximum value on the Concept a |
double |
ULineEvent.max(Concept a)
Gets the maximum value gained by this ULineEvent on a given Concept |
void |
RoleQuery.setC(Concept c)
|
void |
OpQuery.setC1(Concept c1)
|
void |
OpQuery.setC2(Concept c2)
|
void |
OpQuery.setD(Concept d)
|
double |
Concept.subsumed(Concept c)
Gives the subsumption value for this Concept in a given second one |
double |
Concept.subsumed(Quantifier q,
Concept c)
Returns the quantified subsumption value for this Concept in a given second one, given the quantifier. |
java.util.TreeSet<java.lang.Double> |
Role.totalLambda(Concept c)
Gets the union set of alpha-values belonging to this Role and to a Concept |
java.util.TreeSet<java.lang.Double> |
Concept.totalLambda(Concept c)
Gets the union set of alpha-values belonging to this Concept and to a given other Concept, for the EventInds only |
java.util.TreeSet<java.lang.Double> |
Concept.totalUlLambda(Concept c)
gets the total set of alpha-values belonging to this Concept and to a given other concept, for the ULine Individuals only |
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 Concept | |
---|---|
void |
KnowledgeBase.setConcepts(java.util.HashMap<java.lang.String,Concept> concepts)
|
Constructor parameters in reasoner with type arguments of type Concept | |
---|---|
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 |
Uses of Concept in test |
---|
Fields in test declared as Concept | |
---|---|
(package private) static Concept |
Eval3.a
|
(package private) static Concept |
Eval3.b
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |