Class CompleteVerifier

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

public final class CompleteVerifier extends Object implements Verifier
Author:
Mathias Hofer