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

V

Verifier - Class in edu.hkust.afchecker.tool
Author: Andrew
File history: Created on July 22, 2011.
Verifier(StateMachine) - Constructor for class edu.hkust.afchecker.tool.Verifier
State machine is used to construct the model checker
verify(boolean, boolean, boolean, boolean, boolean) - Method in class edu.hkust.afchecker.tool.Verifier
The entry method of AFChecker.
violate(boolean, boolean) - Method in class edu.hkust.afchecker.inferenceEngine.ProbabilisticConstraint
check whether a binary boolean assignment violate this probabilistic constraint

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