Package net.sf.tweety.arg.adf.reasoner.sat.verifier

Interface Summary

Interface	Description
Verifier	Is used to verify a certain property of an Interpretation, e.g.

Class Summary

Class	Description
AdmissibleVerifier
CompleteVerifier
GrounderStableVerifier	Verifies if a given interpretation is stable by comparing it with the ground interpretation of its omega reduct.