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