A B C D E F G I K L M N O P Q R S T U V X Y _

A

a - Variable in class reasoner.Trapezoid
 
add(Individual, Double) - Method in class reasoner.Concept
Add an Individual to this Concept, with a given membership value
add(Individual, Double) - Method in class reasoner.Role
Adds a [Individual, value] couple to this Role
add(Double, Individual) - Method in class reasoner.ULineEvent
Adds an Individual and it's time in this ULineEvent
addConcept(Concept) - Method in class reasoner.KnowledgeBase
Adds a Concept to this KB
addConcreteConcept(ConcreteConcept) - Method in class reasoner.KnowledgeBase
Adds a ConcreteConcept to this KB
addIndividual(Individual) - Method in class reasoner.KnowledgeBase
Adds an Individual to this KB
addQuantifier(Quantifier) - Method in class reasoner.KnowledgeBase
Adds a Quantifier to this KB
addRole(Role) - Method in class reasoner.KnowledgeBase
Adds a Role to this KB
addULineEv(ULineEvent) - Method in class reasoner.KnowledgeBase
Adds an ULineEvent to this KB
always(Individual) - Method in class reasoner.Concept
Returns the membership value of the given Individual on the logical expression [alwaysA(ind)], where A is this Concept, using the 'inf' semantics.
alwaysMap - Variable in class reasoner.Concept
the always map

A B C D E F G I K L M N O P Q R S T U V X Y _