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

T

Time - Class in edu.hkust.afchecker.data
Author: Andrew
File history: Created on July 22, 2011.
Time(int, int) - Constructor for class edu.hkust.afchecker.data.Time
constructor
TIME - Static variable in interface edu.hkust.afchecker.model.ContextType
time in hh:mm
timeEqual(Time, Time) - Static method in class edu.hkust.afchecker.data.Time
check whether two time points are equal
toString() - Method in class edu.hkust.afchecker.model.Atom
 
toString() - Method in class edu.hkust.afchecker.model.Clause
 
toString() - Method in class edu.hkust.afchecker.tool.FaultReport
 
TRUE - Static variable in class edu.hkust.afchecker.model.BoolValue
 

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