AbstractCandidateGenerator

java.lang.Object

org.tweetyproject.arg.adf.reasoner.sat.generator.AbstractCandidateGenerator

All Implemented Interfaces:: AutoCloseable, CandidateGenerator

Direct Known Subclasses:: ConflictFreeGenerator, GroundGenerator, ModelGenerator

public abstract class AbstractCandidateGenerator extends Object implements CandidateGenerator

Author:: Sebastian

Constructor Summary

Constructors

Constructor

Description

AbstractCandidateGenerator(Supplier<SatSolverState> stateSupplier)
Method Summary

Modifier and Type

Method

Description

void

close()

Interpretation

generate()

Does not return the same candidate on two calls on the same instance.

void

update(Consumer<SatSolverState> updateFunction)

Updates the internal state of the generator with the provided function.

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

Constructor Details
- AbstractCandidateGenerator
  
  public AbstractCandidateGenerator(Supplier<SatSolverState> stateSupplier)
  
  Parameters:
  
  stateSupplier - stateSupplier
Method Details
- generate
  
  public Interpretation generate()
  
  Description copied from interface: CandidateGenerator
  
  Does not return the same candidate on two calls on the same instance.
  
  Specified by:
  
  generate in interface CandidateGenerator
  
  Returns:
  
  the generated interpretation
- update
  
  public void update(Consumer<SatSolverState> updateFunction)
  
  Description copied from interface: CandidateGenerator
  
  Updates the internal state of the generator with the provided function.
  
  Specified by:
  
  update in interface CandidateGenerator
  
  Parameters:
  
  updateFunction - the function to apply on its internal state.
- close
  
  public void close()
  
  Specified by:
  
  close in interface AutoCloseable
  
  Specified by:
  
  close in interface CandidateGenerator