Uses of Class
de.learnlib.datastructure.pta.config.DefaultProcessingOrders

Packages that use DefaultProcessingOrders

Package	Description
de.learnlib.datastructure.pta.config

Uses of DefaultProcessingOrders in de.learnlib.datastructure.pta.config

Methods in de.learnlib.datastructure.pta.config that return DefaultProcessingOrders

Modifier and Type	Method	Description
static DefaultProcessingOrders	DefaultProcessingOrders.valueOf(String name)	Returns the enum constant of this type with the specified name.
static DefaultProcessingOrders[]	DefaultProcessingOrders.values()	Returns an array containing the constants of this enum type, in the order they are declared.