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