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

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

Author:

Mathias Hofer

Field Summary

Fields

Modifier and Type	Field	Description
private AbstractDialecticalFramework	adf
private java.util.Map<Argument,Proposition>	falses
private Cache<Link,Proposition>	links
private java.util.Map<Argument,Proposition>	trues

Constructor Summary

Constructors

Constructor	Description
SatEncodingContext(AbstractDialecticalFramework adf)

Method Summary

Modifier and Type	Method	Description
AbstractDialecticalFramework	getAbstractDialecticalFramework()
Proposition	getFalseRepresentation(Argument argument)
Proposition	getLinkRepresentation(Link link)
Proposition	getLinkRepresentation(Argument from, Argument to)
Proposition	getTrueRepresentation(Argument argument)
Interpretation	interpretationFromWitness(Interpretation<PlBeliefSet,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

Field Detail

falses

private java.util.Map<Argument,Proposition> falses

trues

private java.util.Map<Argument,Proposition> trues

links

private Cache<Link,Proposition> links

adf

private AbstractDialecticalFramework adf

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 Proposition getFalseRepresentation(Argument argument)

getTrueRepresentation

public Proposition getTrueRepresentation(Argument argument)

getLinkRepresentation

public Proposition getLinkRepresentation(Argument from,
                                         Argument to)

getLinkRepresentation

public Proposition getLinkRepresentation(Link link)

getAbstractDialecticalFramework

public AbstractDialecticalFramework getAbstractDialecticalFramework()

Returns:

the adf

interpretationFromWitness

public Interpretation interpretationFromWitness(Interpretation<PlBeliefSet,PlFormula> witness)

Constructs an ADF interpretation from the given SAT witness.

Parameters:

witness - the SAT witness

Returns:

the constructed ADF interpretation