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)
-
Uses of Verifier in org.tweetyproject.arg.adf.reasoner.sat.verifier
Modifier and TypeClassDescriptionclass
class
class
Verifies if a given interpretation is stable by comparing it with the ground interpretation of its omega reduct.class
Verifies if a given interpretation is conflict-free and maximal, i.e.