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)