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