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

A

Action - Class in edu.hkust.afchecker.model

Author: Andrew
File history: Created on July 16, 2011
Description: Action Class.

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

ADAPTATION_RACE - Static variable in interface edu.hkust.afchecker.tool.FaultType

adaptation race fault

addAtom(Atom, boolean) - Method in class edu.hkust.afchecker.model.Clause

add an atom to the clause

addClause(Clause) - Method in class edu.hkust.afchecker.model.Predicate

add a clause to the predicate

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

dynamically adjust the probability of probabilistic constraints based on user's feedback

assign(int) - Method in class edu.hkust.afchecker.model.Atom

assign a value to the atomic proposition

Atom<T> - Class in edu.hkust.afchecker.model

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

Atom(short, String, short, short, T) - Constructor for class edu.hkust.afchecker.model.Atom

Constructor of an atom