Interface StateProcessor

All Known Implementing Classes:
KBipolarStateProcessor, RestrictedKBipolarStateProcessor

public interface StateProcessor
Author:
Mathias Hofer
  • Method Summary

    Modifier and Type
    Method
    Description
    void
    process(Consumer<Clause> consumer)
     
  • Method Details

    • process

      void process(Consumer<Clause> consumer)
      Parameters:
      consumer - consumer