Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
I
L
N
P
R
S
T
U
V
W