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

E

earlierThan(Time, Time) - Static method in class edu.hkust.afchecker.data.Time
check the temporal relationship between two time points
edu.hkust.afchecker.data - package edu.hkust.afchecker.data
 
edu.hkust.afchecker.inferenceEngine - package edu.hkust.afchecker.inferenceEngine
 
edu.hkust.afchecker.model - package edu.hkust.afchecker.model
 
edu.hkust.afchecker.tool - package edu.hkust.afchecker.tool
 
edu.hkust.afchecker.util - package edu.hkust.afchecker.util
 
enableCombination(boolean, boolean) - Method in class edu.hkust.afchecker.inferenceEngine.DeterministicConstraint
check whether latom = a && ratom = b is possible
EnvironmentData - Class in edu.hkust.afchecker.data
Author: Andrew
File history: Created on July 22, 2011.
EnvironmentData() - Constructor for class edu.hkust.afchecker.data.EnvironmentData
 
EnvironmentDataParser - Class in edu.hkust.afchecker.util
Author: Andrew
File history: Created on July 22, 2011.
EnvironmentDataParser() - Constructor for class edu.hkust.afchecker.util.EnvironmentDataParser
 
EnvironmentDataProjector - Class in edu.hkust.afchecker.inferenceEngine
Author: Andrew
File history: Created on July 22, 2011.
EnvironmentDataProjector() - Constructor for class edu.hkust.afchecker.inferenceEngine.EnvironmentDataProjector
 
EQUAL - Static variable in interface edu.hkust.afchecker.model.ContextOperator
the "=" operator
evaluate(EnvironmentData) - Method in class edu.hkust.afchecker.model.Atom
evaluate the atom against a piece of environment data

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