Uses of Interface
net.sf.tweety.arg.adf.reasoner.sat.processor.InterpretationProcessor

Packages that use InterpretationProcessor

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

Uses of InterpretationProcessor in net.sf.tweety.arg.adf.reasoner.sat

Methods in net.sf.tweety.arg.adf.reasoner.sat with parameters of type InterpretationProcessor

Modifier and Type	Method	Description
Pipeline.Builder	Pipeline.Builder.addCandidateProcessor(InterpretationProcessor candidateProcessor)
Pipeline.Builder	Pipeline.Builder.addModelProcessor(InterpretationProcessor modelProcessor)

Uses of InterpretationProcessor in net.sf.tweety.arg.adf.reasoner.sat.processor

Classes in net.sf.tweety.arg.adf.reasoner.sat.processor that implement InterpretationProcessor

Modifier and Type	Class	Description
class	MaximizeInterpretationProcessor	Maximizes the given interpretation and afterwards restricts the search space from generating smaller ones.