org.topbraid.spin.inference

Interfaces

• SPINInferencesOptimizer
• SPINRuleComparator

Classes

• DefaultSPINRuleComparator
• SPINConstructors
• SPINExplanations
• SPINInferences