Class StableVerifier

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

public final class StableVerifier extends Object implements Verifier
Verifies if a given interpretation is stable by comparing it with the ground interpretation of its omega reduct.
Author:
Mathias Hofer