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

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

Class	Description
CompleteVerifier
NaiveVerifier	Verifies if a given interpretation is conflict-free and maximal, i.e.
PreferredVerifier
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.