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

Class SatAdmissibleVerifier

java.lang.Object

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

All Implemented Interfaces:

Verifier<SatReasonerContext>

public class SatAdmissibleVerifier
extends java.lang.Object
implements Verifier<SatReasonerContext>

Author:

Mathias Hofer

Field Summary

Fields

Modifier and Type	Field	Description
private static SatEncoding	VERIFY_ADMISSIBLE_ENCODING

Constructor Summary

Constructors

Constructor	Description
SatAdmissibleVerifier()

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

VERIFY_ADMISSIBLE_ENCODING

private static final SatEncoding VERIFY_ADMISSIBLE_ENCODING

Constructor Detail

SatAdmissibleVerifier

public SatAdmissibleVerifier()

Method Detail

verify

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

Specified by:

verify in interface Verifier<SatReasonerContext>