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

Class BipolarSatEncoding

java.lang.Object

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

All Implemented Interfaces:

SatEncoding

public class BipolarSatEncoding
extends Object
implements SatEncoding

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
BipolarSatEncoding()

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

BipolarSatEncoding

public BipolarSatEncoding()

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