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

package org.tweetyproject.arg.adf.reasoner.sat.verifier

Class	Description
CompleteVerifier	The CompleteVerifier is a verifier class that checks whether a given interpretation is a complete interpretation within an abstract dialectical framework (ADF).
NaiveVerifier	Verifies if a given interpretation is conflict-free and maximal, i.e.
PreferredVerifier	The PreferredVerifier is a verifier class that checks whether a given interpretation is a preferred interpretation within an abstract dialectical framework (ADF).
StableVerifier	Verifies if a given interpretation is stable by comparing it with the ground interpretation of its omega reduct.
Verifier	Is used to verify a certain property of an Interpretation, e.g.