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

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

Modifier and Type	Field	Description
private java.util.Queue<Verifier<S>>	Pipeline.Builder.verifier
private java.util.Queue<Verifier<S>>	Pipeline.verifiers

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)

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

Modifier and Type	Method	Description
private boolean	Pipeline.PipelineIterator.verify(java.util.Queue<Verifier<S>> verifiers, Interpretation candidate)

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

Fields in net.sf.tweety.arg.adf.reasoner.processor declared as Verifier

Modifier and Type	Field	Description
private Verifier<SatReasonerContext>	SatMaximizeInterpretationProcessor.verifier

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