Package net.sf.tweety.arg.adf.reasoner.verifier
-
Interface Summary Interface Description Verifier<S> -
Class Summary Class Description GrounderStableVerifier<S> Verifies if a given interpretation is stable by comparing it with the ground interpretation of its omega reduct.SatAdmissibleVerifier SatCompleteVerifier