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

Interface CandidateGenerator

All Known Implementing Classes:
ConflictFreeGenerator, GroundGenerator, ModelGenerator
public interface CandidateGenerator
Author:
Mathias Hofer

  • Method Summary

    Modifier and Type
    Method
    Description
    Interpretation
    generate​(SatSolverState state)
    Does not return the same candidate on two calls on the same instance.
    void
    prepare​(Consumer<Clause> consumer)
    Performs initializations on the state.

  • Method Details

    • prepare

      void prepare​(Consumer<Clause> consumer)
      Performs initializations on the state.
      Parameters:
      consumer - consumer

    • generate

      Interpretation generate​(SatSolverState state)
      Does not return the same candidate on two calls on the same instance.
      Parameters:
      state - the initialized state
      Returns:
      the generated interpretation