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

Method Summary

Modifier and Type

Method

Description

void

close()

Interpretation

process(Interpretation interpretation)

static InterpretationProcessor

restricted(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)

static InterpretationProcessor

unrestricted(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)

void

updateState(SatSolverState state, Interpretation maximal)

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details
- restricted
  
  public static InterpretationProcessor restricted(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
  
  Parameters:
  
  stateSupplier - stateSupplier
  
  adf - adf
  
  mapping - mapping
  
  prefix - prefix
  
  Returns:
  
  InterpretationProcessor restricted
- unrestricted
  
  public static InterpretationProcessor unrestricted(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
  
  Parameters:
  
  stateSupplier - stateSupplier
  
  adf - adf
  
  mapping - mapping
  
  Returns:
  
  InterpretationProcessor unrestricted
- process
  
  public Interpretation process(Interpretation interpretation)
  
  Specified by:
  
  process in interface InterpretationProcessor
  
  Parameters:
  
  interpretation - interpretation
  
  Returns:
  
  Interpretation process
- updateState
  
  public void updateState(SatSolverState state, Interpretation maximal)
  
  Specified by:
  
  updateState in interface InterpretationProcessor
  
  Parameters:
  
  state - state
  
  maximal - processed
- close
  
  public void close()
  
  Specified by:
  
  close in interface AutoCloseable
  
  Specified by:
  
  close in interface InterpretationProcessor