Uses of Interface
org.topbraid.spin.inference.SPINInferencesOptimizer

Packages that use SPINInferencesOptimizer

Package	Description
org.topbraid.spin.inference	Support for inferencing using spin:rule and spin:constructor.

Uses of SPINInferencesOptimizer in org.topbraid.spin.inference

Methods in org.topbraid.spin.inference with parameters of type SPINInferencesOptimizer

Modifier and Type	Method and Description
static void	SPINInferences.addOptimizer(SPINInferencesOptimizer optimizer)
static void	SPINInferences.removeOptimizer(SPINInferencesOptimizer optimizer)