Uses of Class
reasoner.Concept

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