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

Interface Summary

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

Class Summary

Class	Description
SatKBipolarStateProcessor
SatMaximizeInterpretationProcessor	Maximizes the given interpretation and afterwards restricts the search space from generating smaller ones.
SatPartialKBipolarInterpretationProcessor