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
L
N
P
R
S
T
U
V
W
D
DEAD_PREDICATE
- Static variable in interface edu.hkust.afchecker.tool.
FaultType
dead rule predicate fault
DEAD_STATE
- Static variable in interface edu.hkust.afchecker.tool.
FaultType
dead state fault
DeterministicConstraint
- Class in
edu.hkust.afchecker.inferenceEngine
Author:
Andrew
File history:
Created on July 22, 2011.
DeterministicConstraint(Atom, Atom)
- Constructor for class edu.hkust.afchecker.inferenceEngine.
DeterministicConstraint
constructor
DeterministicConstraintInferenceEngine
- Class in
edu.hkust.afchecker.inferenceEngine
Author:
Andrew
File history:
Created on July 22, 2011.
DeterministicConstraintInferenceEngine(ArrayList<Atom>)
- Constructor for class edu.hkust.afchecker.inferenceEngine.
DeterministicConstraintInferenceEngine
constructor
disableCombination(boolean, boolean)
- Method in class edu.hkust.afchecker.inferenceEngine.
DeterministicConstraint
check whether latom = a && ratom = b is impossible
dist(GPSCoordinate, GPSCoordinate)
- Static method in class edu.hkust.afchecker.data.
GPSCoordinate
compute the distance between two GPS coodinates ignoring the altitudes
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
L
N
P
R
S
T
U
V
W