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