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
I
indexOfAtom(Atom)
- Method in class edu.hkust.afchecker.tool.
StateMachine
get the index of a certain atom
infer()
- Method in class edu.hkust.afchecker.inferenceEngine.
DeterministicConstraintInferenceEngine
the deterministic constraint inference method
infer()
- Method in class edu.hkust.afchecker.inferenceEngine.
ProbabilisticConstraintInferenceEngine
inference method based on association rule learning
isCombinationPossible(boolean, boolean)
- Method in class edu.hkust.afchecker.inferenceEngine.
DeterministicConstraint
check whether latom = a && ratom = b is possible
isSatisfied()
- Method in class edu.hkust.afchecker.model.
Clause
check whether the clause is satisfied.
isSatisfied(ArrayList<Atom>, int[])
- Method in class edu.hkust.afchecker.model.
Predicate
check whether the predicate is satisfied.
isSatisfied(ArrayList<Atom>, int[])
- Method in class edu.hkust.afchecker.model.
Rule
Check whether the rule's predicate is satisfied
isSatisfied(ArrayList<Atom>, boolean[])
- Method in class edu.hkust.afchecker.model.
Rule
Check whether the rule's predicate is satisfied
isValidBoolValue(int)
- Static method in class edu.hkust.afchecker.model.
BoolValue
check whether i is a valid BoolValue in our system
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