Uses of Interface
org.tweetyproject.arg.adf.reasoner.sat.verifier.Verifier
Package
Description
-
Uses of Verifier in org.tweetyproject.arg.adf.reasoner.sat.execution
Modifier and TypeMethodDescriptionSemantics.createVerifier
(Supplier<SatSolverState> stateSupplier) Creates a verifier, which acts as a filter. -
Uses of Verifier in org.tweetyproject.arg.adf.reasoner.sat.verifier
Modifier and TypeClassDescriptionfinal class
TheCompleteVerifier
is a verifier class that checks whether a given interpretation is a complete interpretation within an abstract dialectical framework (ADF).final class
Verifies if a given interpretation is conflict-free and maximal, i.e.final class
ThePreferredVerifier
is a verifier class that checks whether a given interpretation is a preferred interpretation within an abstract dialectical framework (ADF).final class
Verifies if a given interpretation is stable by comparing it with the ground interpretation of its omega reduct.