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

Class SatEncodingContext

java.lang.Object

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

public class SatEncodingContext
extends Object

Stores the shared context which is needed to interconnect the sat encodings, e.g. shared propositional variables.

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
SatEncodingContext(AbstractDialecticalFramework adf)

Method Summary

Modifier and Type	Method	Description
AbstractDialecticalFramework	getAbstractDialecticalFramework()
net.sf.tweety.logics.pl.syntax.Proposition	getFalseRepresentation(Argument argument)
net.sf.tweety.logics.pl.syntax.Proposition	getLinkRepresentation(Link link)
net.sf.tweety.logics.pl.syntax.Proposition	getLinkRepresentation(Argument from, Argument to)
net.sf.tweety.logics.pl.syntax.Proposition	getTrueRepresentation(Argument argument)
Interpretation	interpretationFromWitness(net.sf.tweety.commons.Interpretation<net.sf.tweety.logics.pl.syntax.PlBeliefSet,net.sf.tweety.logics.pl.syntax.PlFormula> witness)	Constructs an ADF interpretation from the given SAT witness.
void	setAdf(AbstractDialecticalFramework adf)

Methods inherited from class java.lang.Object

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

Constructor Detail

SatEncodingContext

public SatEncodingContext(AbstractDialecticalFramework adf)

Parameters:

adf -

Method Detail

setAdf

public void setAdf(AbstractDialecticalFramework adf)

Parameters:

adf - the adf to set

getFalseRepresentation

public net.sf.tweety.logics.pl.syntax.Proposition getFalseRepresentation(Argument argument)

getTrueRepresentation

public net.sf.tweety.logics.pl.syntax.Proposition getTrueRepresentation(Argument argument)

getLinkRepresentation

public net.sf.tweety.logics.pl.syntax.Proposition getLinkRepresentation(Argument from,
                                                                        Argument to)

getLinkRepresentation

public net.sf.tweety.logics.pl.syntax.Proposition getLinkRepresentation(Link link)

getAbstractDialecticalFramework

public AbstractDialecticalFramework getAbstractDialecticalFramework()

Returns:

the adf

interpretationFromWitness

public Interpretation interpretationFromWitness(net.sf.tweety.commons.Interpretation<net.sf.tweety.logics.pl.syntax.PlBeliefSet,net.sf.tweety.logics.pl.syntax.PlFormula> witness)

Constructs an ADF interpretation from the given SAT witness.

Parameters:

witness - the SAT witness

Returns:

the constructed ADF interpretation