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

C

Clause - Class in edu.hkust.afchecker.model
Author: Andrew
File history: Created on July 16, 2011.
Clause() - Constructor for class edu.hkust.afchecker.model.Clause
constructor, initialize the clause
clone() - Method in class edu.hkust.afchecker.inferenceEngine.ProbabilisticConstraintGraph
 
Constraint - Class in edu.hkust.afchecker.inferenceEngine
Author: Andrew
File history: Created on July 22, 2011.
Constraint() - Constructor for class edu.hkust.afchecker.inferenceEngine.Constraint
 
constructGraph(ArrayList<Atom>, ArrayList<ProbabilisticConstraint>) - Static method in class edu.hkust.afchecker.inferenceEngine.ProbabilisticConstraintGraph
construct the probabilistic constraint graph from a collection of constraints
ContextOperator - Interface in edu.hkust.afchecker.model
Author: Andrew
File history: Created on June 16, 2011.
ContextType - Interface in edu.hkust.afchecker.model
Author: Andrew
File history: Created on June 16, 2011.
convertToMinuteOffset() - Method in class edu.hkust.afchecker.data.Time
convert the time to minutes (with respect to 00:00, the precision level is 1 minute)

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