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

Interface CandidateGenerator

All Superinterfaces:
AutoCloseable
All Known Implementing Classes:
AbstractCandidateGenerator, ConflictFreeGenerator, GroundGenerator, ModelGenerator
public interface CandidateGenerator extends AutoCloseable
Author:
Mathias Hofer

  • 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.

  • Method Details

    • generate

      Interpretation generate()
      Does not return the same candidate on two calls on the same instance.
      Returns:
      the generated interpretation

    • update

      void update(Consumer<SatSolverState> updateFunction)
      Updates the internal state of the generator with the provided function.
      Parameters:
      updateFunction - the function to apply on its internal state.

    • close

      void close()
      Specified by:
      close in interface AutoCloseable