Class AdmissibleMaximizer

java.lang.Object
org.tweetyproject.arg.adf.reasoner.sat.processor.AdmissibleMaximizer
All Implemented Interfaces:
AutoCloseable, InterpretationProcessor

public abstract class AdmissibleMaximizer extends Object implements InterpretationProcessor
Maximizes a given interpretation, but only counts admissible interpretations as larger.
Author:
Mathias Hofer