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

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