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

Interface Verifier<S>

Type Parameters:

S - some class

All Known Implementing Classes:

GrounderStableVerifier, SatAdmissibleVerifier, SatCompleteVerifier

public interface Verifier<S>

Author:

Mathias Hofer

Method Summary

Modifier and Type	Method	Description
boolean	verify(S state, Interpretation candidate, AbstractDialecticalFramework adf)

Method Detail

verify

boolean verify(S state,
               Interpretation candidate,
               AbstractDialecticalFramework adf)