Interface StateProcessor

All Known Implementing Classes:
KBipolarStateProcessor, RestrictedKBipolarStateProcessor
public interface StateProcessor
The StateProcessor interface defines a contract for processing a set of states and translating them into logical clauses for further operations such as SAT solving or reasoning.
Author:
Mathias Hofer

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    process(Consumer<Clause> consumer)
    Processes the current set of states and translates them into Clause objects.

  • Method Details

    • process

      void process(Consumer<Clause> consumer)
      Processes the current set of states and translates them into Clause objects.

      The implementation of this method should process the relevant states and pass the resulting clauses to the provided Consumer for further handling. The exact nature of the processing depends on the implementation and the specific domain.

      Parameters:
      consumer - a Consumer that accepts the generated Clause objects