Package de.learnlib.driver.reflect
Class Unobserved
- java.lang.Object
-
- de.learnlib.driver.reflect.MethodOutput
-
- de.learnlib.driver.reflect.Unobserved
-
public final class Unobserved extends MethodOutput
An artificial output symbol for a (non-executed) input after an exception has occurred.
-
-
Field Summary
Fields Modifier and Type Field Description static Unobserved
INSTANCE
-
-
-
Field Detail
-
INSTANCE
public static final Unobserved INSTANCE
-
-