Uses of Class
reasoner.Quantifier

Packages that use Quantifier
monitor   
reasoner   
test   
 

Uses of Quantifier in monitor
 

Fields in monitor declared as Quantifier
private static Quantifier Monitor.q
           
private static Quantifier Monitor.tq
           
 

Uses of Quantifier in reasoner
 

Fields in reasoner declared as Quantifier
private  Quantifier RoleQuery.q
          The Quantifier
private  Quantifier OpQuery.q
          The Quantifier
private  Quantifier RoleQuery.tempq
          The temporal Quantifier
 

Fields in reasoner with type parameters of type Quantifier
private  java.util.HashMap<java.lang.String,Quantifier> KnowledgeBase.quantifiers
          The Quantifier map
 

Methods in reasoner that return Quantifier
 Quantifier Quantifier.diff(Quantifier t)
          Difference between this Quantifier and a second one.
 Quantifier RoleQuery.getQ()
           
 Quantifier OpQuery.getQ()
           
 Quantifier RoleQuery.getTempq()
           
 Quantifier Quantifier.intersection(FuzzySet f)
           
 Quantifier Quantifier.prod(Quantifier t)
          Product between this Quantifier and a second one.
 Quantifier Quantifier.ratio(Quantifier t)
          Ratio between this Quantifier and a second one.
 Quantifier Quantifier.sum(Quantifier t)
          Sum between this Quantifier and a second one.
 Quantifier Quantifier.union(FuzzySet f)
           
 

Methods in reasoner that return types with arguments of type Quantifier
 java.util.HashMap<java.lang.String,Quantifier> KnowledgeBase.getQuantifiers()
           
 

Methods in reasoner with parameters of type Quantifier
 void KnowledgeBase.addQuantifier(Quantifier q)
          Adds a Quantifier to this KB
 Quantifier Quantifier.diff(Quantifier t)
          Difference between this Quantifier and a second one.
 Quantifier Quantifier.prod(Quantifier t)
          Product between this Quantifier and a second one.
 Quantifier Quantifier.ratio(Quantifier t)
          Ratio between this Quantifier and a second one.
 void RoleQuery.setQ(Quantifier q)
           
 void OpQuery.setQ(Quantifier q)
           
 void RoleQuery.setTempq(Quantifier tempq)
           
 double Concept.subsumed(Quantifier q, Concept c)
          Returns the quantified subsumption value for this Concept in a given second one, given the quantifier.
 Quantifier Quantifier.sum(Quantifier t)
          Sum between this Quantifier and a second one.
 

Method parameters in reasoner with type arguments of type Quantifier
 void KnowledgeBase.setQuantifiers(java.util.HashMap<java.lang.String,Quantifier> quantifiers)
           
 

Constructors in reasoner with parameters of type Quantifier
OpQuery(Quantifier q, ConcreteConcept tc1, java.lang.String operator, ConcreteConcept tc2, KnowledgeBase kb)
          Constructor by Quantifier, two ConcreteConcepts, binary operator and KnowledgeBase
RoleQuery(Quantifier tempq, Quantifier q, Role r, ConcreteConcept tc, KnowledgeBase kb)
          Constructor for this RoleQuery
RoleQuery(Quantifier q, Role r, ConcreteConcept tc, KnowledgeBase kb)
          Constructor for this RoleQuery, with null temporal quantifier
 

Constructor parameters in reasoner with type arguments of type Quantifier
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 Quantifier in test
 

Fields in test declared as Quantifier
(package private) static Quantifier Eval3.q