Uses of Interface
org.tweetyproject.arg.adf.reasoner.sat.verifier.Verifier
-
Packages that use Verifier Package Description org.tweetyproject.arg.adf.reasoner.sat org.tweetyproject.arg.adf.reasoner.sat.processor org.tweetyproject.arg.adf.reasoner.sat.verifier -
-
Uses of Verifier in org.tweetyproject.arg.adf.reasoner.sat
Methods in org.tweetyproject.arg.adf.reasoner.sat with parameters of type Verifier Modifier and Type Method Description Pipeline.Builder
Pipeline.Builder. setVerifier(Verifier verifier)
-
Uses of Verifier in org.tweetyproject.arg.adf.reasoner.sat.processor
Constructors in org.tweetyproject.arg.adf.reasoner.sat.processor with parameters of type Verifier Constructor Description MaximizeInterpretationProcessor(Verifier verifier)
-
Uses of Verifier in org.tweetyproject.arg.adf.reasoner.sat.verifier
Classes in org.tweetyproject.arg.adf.reasoner.sat.verifier that implement Verifier Modifier and Type Class Description class
AdmissibleVerifier
class
CompleteVerifier
class
GrounderStableVerifier
Verifies if a given interpretation is stable by comparing it with the ground interpretation of its omega reduct.
-