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