Class NaiveVerifier

java.lang.Object
org.tweetyproject.arg.adf.reasoner.sat.verifier.NaiveVerifier
All Implemented Interfaces:
AutoCloseable, Verifier

public final class NaiveVerifier extends Object implements Verifier
Verifies if a given interpretation is conflict-free and maximal, i.e. no further undecided arguments in the interpretation can be decided.
Author:
Mathias