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 java.lang.Object
implements Verifier<SatReasonerContext>

Author:

Mathias Hofer

Field Summary

Fields

Modifier and Type	Field	Description
private static SatEncoding	CONFLICT_FREE_ENCODING
private static SatEncoding	FIX_PARTIAL_ENCODING
private static SatEncoding	LARGER_INTERPRETATION_ENCODING

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

Field Detail

CONFLICT_FREE_ENCODING

private static final SatEncoding CONFLICT_FREE_ENCODING

FIX_PARTIAL_ENCODING

private static final SatEncoding FIX_PARTIAL_ENCODING

LARGER_INTERPRETATION_ENCODING

private static final SatEncoding LARGER_INTERPRETATION_ENCODING

Constructor Detail

SatCompleteVerifier

public SatCompleteVerifier()

Method Detail

verify

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

Specified by:

verify in interface Verifier<SatReasonerContext>