Uses of Interface
org.tweetyproject.arg.adf.reasoner.sat.processor.InterpretationProcessor
-
Packages that use InterpretationProcessor Package Description org.tweetyproject.arg.adf.reasoner.sat org.tweetyproject.arg.adf.reasoner.sat.processor -
-
Uses of InterpretationProcessor in org.tweetyproject.arg.adf.reasoner.sat
Methods in org.tweetyproject.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 org.tweetyproject.arg.adf.reasoner.sat.processor
Classes in org.tweetyproject.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.
-