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

U

UNDETERMINISM - Static variable in interface edu.hkust.afchecker.tool.FaultType

undeterministic adaptation fault

UNKNOWN - Static variable in class edu.hkust.afchecker.model.BoolValue

UNRECHABILITY - Static variable in interface edu.hkust.afchecker.tool.FaultType

unreachability fault