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

Class TwoValuedModelSatEncoding

java.lang.Object

net.sf.tweety.arg.adf.reasoner.encodings.TwoValuedModelSatEncoding

All Implemented Interfaces:

SatEncoding

public class TwoValuedModelSatEncoding
extends Object
implements SatEncoding

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
TwoValuedModelSatEncoding()

Method Summary

Modifier and Type	Method	Description
Collection<net.sf.tweety.logics.pl.syntax.Disjunction>	encode(SatEncodingContext context, Interpretation interpretation)	Constructs a SAT encoding based on the given context and an optional interpretation.

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.sf.tweety.arg.adf.reasoner.encodings.SatEncoding

encode

Constructor Detail

TwoValuedModelSatEncoding

public TwoValuedModelSatEncoding()

Method Detail

encode

public Collection<net.sf.tweety.logics.pl.syntax.Disjunction> encode(SatEncodingContext context,
                                                                     Interpretation interpretation)

Description copied from interface: SatEncoding

Constructs a SAT encoding based on the given context and an optional interpretation.

Specified by:

encode in interface SatEncoding

Returns:

a set of disjunctions