org.topbraid.spin.inference
Interfaces 
SPINRuleComparator
Classes 
DefaultSPINRuleComparator
SPINConstructors
SPINExplanations
SPINInferences
SPINStatistics