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

A B C D E F G I L N P R S T U V W