Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
I
L
N
P
R
S
T
U
V
W