Package net.sf.tweety.arg.adf.reasoner.sat.processor

Interface Summary

Interface	Description
InterpretationProcessor	Performs further processing on interpretations, e.g.
StateProcessor

Class Summary

Class	Description
KBipolarStateProcessor
MaximizeInterpretationProcessor	Maximizes the given interpretation and afterwards restricts the search space from generating smaller ones.
RelativeKBipolarStateProcessor	Decides if an ADF becomes k-bipolar relative to some truth assignments.