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

P

parse(String) - Static method in class edu.hkust.afchecker.util.EnvironmentDataParser

The method helps parse a xml file of environment data.

parse(String) - Static method in class edu.hkust.afchecker.util.StateMachineParser

The method helps parse a state machine xml file

Predicate - Class in edu.hkust.afchecker.model

Author: Andrew
File history: Created on July.

Predicate() - Constructor for class edu.hkust.afchecker.model.Predicate

constructor, initialize the predicate

ProbabilisticConstraint - Class in edu.hkust.afchecker.inferenceEngine

Author: Andrew
File history: Created on July 22, 2011.

ProbabilisticConstraint() - Constructor for class edu.hkust.afchecker.inferenceEngine.ProbabilisticConstraint

ProbabilisticConstraintGraph - Class in edu.hkust.afchecker.inferenceEngine

Author: Andrew
File history: Created on July 22, 2011.

ProbabilisticConstraintGraph() - Constructor for class edu.hkust.afchecker.inferenceEngine.ProbabilisticConstraintGraph

ProbabilisticConstraintInferenceEngine - Class in edu.hkust.afchecker.inferenceEngine

Author: Andrew
File history: Created on July 22, 2011.

ProbabilisticConstraintInferenceEngine(ArrayList<Atom>, ArrayList<int[]>) - Constructor for class edu.hkust.afchecker.inferenceEngine.ProbabilisticConstraintInferenceEngine

constructor

probabilityOfFault(ArrayList<Atom>, int[]) - Method in class edu.hkust.afchecker.inferenceEngine.ProbabilisticConstraintGraph

compute the probability of a fault report

project(ArrayList<Atom>, ArrayList<EnvironmentData>) - Static method in class edu.hkust.afchecker.inferenceEngine.EnvironmentDataProjector

project the environment data to the space of atoms.