Uses of Interface
net.sf.tweety.arg.adf.reasoner.verifier.Verifier

Packages that use Verifier

Package	Description
net.sf.tweety.arg.adf.reasoner
net.sf.tweety.arg.adf.reasoner.processor
net.sf.tweety.arg.adf.reasoner.verifier

Uses of Verifier in net.sf.tweety.arg.adf.reasoner

Methods in net.sf.tweety.arg.adf.reasoner with parameters of type Verifier

Modifier and Type	Method	Description
Pipeline.Builder<S>	Pipeline.Builder.addVerifier(Verifier<S> verifier)

Uses of Verifier in net.sf.tweety.arg.adf.reasoner.processor

Constructors in net.sf.tweety.arg.adf.reasoner.processor with parameters of type Verifier

Constructor	Description
SatMaximizeInterpretationProcessor(Verifier<SatReasonerContext> verifier)

Uses of Verifier in net.sf.tweety.arg.adf.reasoner.verifier

Classes in net.sf.tweety.arg.adf.reasoner.verifier that implement Verifier

Modifier and Type	Class	Description
class	GrounderStableVerifier<S>	Verifies if a given interpretation is stable by comparing it with the ground interpretation of its omega reduct.
class	SatAdmissibleVerifier
class	SatCompleteVerifier