Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
I
K
L
M
N
O
P
Q
R
S
T
U
V
X
Y
_