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