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

Class SatCompleteVerifier

java.lang.Object

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

All Implemented Interfaces:

Verifier<SatReasonerContext>

public class SatCompleteVerifier
extends Object
implements Verifier<SatReasonerContext>

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
SatCompleteVerifier()

Method Summary

Modifier and Type	Method	Description
boolean	verify(SatReasonerContext context, Interpretation candidate, AbstractDialecticalFramework adf)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SatCompleteVerifier

public SatCompleteVerifier()

Method Detail

verify

public boolean verify(SatReasonerContext context,
                      Interpretation candidate,
                      AbstractDialecticalFramework adf)

Specified by:

verify in interface Verifier<SatReasonerContext>