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

Interface StateProcessor

All Known Implementing Classes:
KBipolarStateProcessor, RelativeKBipolarStateProcessor
public interface StateProcessor
Author:
Mathias Hofer

  • Method Summary

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