Uses of Class
de.ls5.jlearn.oracles.PrefixClosureFilter.AppliedAction

Packages that use PrefixClosureFilter.AppliedAction

de.ls5.jlearn.oracles

Uses of PrefixClosureFilter.AppliedAction in de.ls5.jlearn.oracles

Methods in de.ls5.jlearn.oracles that return PrefixClosureFilter.AppliedAction

PrefixClosureFilter.AppliedAction	PrefixClosureFilter.getLastAppliedAction() For unit testing.
static PrefixClosureFilter.AppliedAction	PrefixClosureFilter.AppliedAction.valueOf(String name) Returns the enum constant of this type with the specified name.
static PrefixClosureFilter.AppliedAction[]	PrefixClosureFilter.AppliedAction.values() Returns an array containing the constants of this enum type, in the order they are declared.