Package net.sf.tweety.arg.adf.semantics

Class Interpretation

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation<AbstractDialecticalFramework,Argument>

net.sf.tweety.arg.adf.semantics.Interpretation

All Implemented Interfaces:

Comparable<Interpretation>, Iterable<Argument>, net.sf.tweety.commons.Interpretation<AbstractDialecticalFramework,Argument>

public class Interpretation
extends net.sf.tweety.commons.AbstractInterpretation<AbstractDialecticalFramework,Argument>
implements Comparable<Interpretation>, Iterable<Argument>

This class represents an immutable three-valued interpretation of an Abstract Dialectical Framework (ADF).

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
Interpretation(Iterable<Argument> undecided)	Creates a new empty interpretation, hence where all arguments are undecided.
Interpretation(Map<Argument,Boolean> assignments)	Creates an interpretation based on the given mapping.

Method Summary

Modifier and Type	Method	Description
Stream<Argument>	arguments()
int	compareTo(Interpretation that)
boolean	contains(Argument a)
boolean	equals(Object obj)
Boolean	get(Argument a)
Set<Argument>	getSatisfied()
Set<Argument>	getUndecided()
Set<Argument>	getUnsatisfied()
int	hashCode()
boolean	isSatisfied(Argument a)
boolean	isUndecided(Argument a)
boolean	isUnsatisfied(Argument a)
Iterator<Argument>	iterator()
Stream<Argument>	satisfied()
boolean	satisfies(AbstractDialecticalFramework beliefBase)
boolean	satisfies(Argument formula)
int	size()
String	toString()
Stream<Argument>	undecided()
Stream<Argument>	unsatisfied()

Methods inherited from class net.sf.tweety.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

Interpretation

public Interpretation(Iterable<Argument> undecided)

Creates a new empty interpretation, hence where all arguments are undecided.

Parameters:

undecided -

Interpretation

public Interpretation(Map<Argument,Boolean> assignments)

Creates an interpretation based on the given mapping.

An argument becomes:

• satisfied iff it is mapped to true
• unsatisfied iff it is mapped to false
• undecided iff it is mapped to null

Parameters:

assignments -

Method Detail

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

compareTo

public int compareTo(Interpretation that)

Specified by:

compareTo in interface Comparable<Interpretation>

satisfies

public boolean satisfies(Argument formula)
                  throws IllegalArgumentException

Specified by:

satisfies in interface net.sf.tweety.commons.Interpretation<AbstractDialecticalFramework,Argument>

Throws:

IllegalArgumentException

satisfies

public boolean satisfies(AbstractDialecticalFramework beliefBase)
                  throws IllegalArgumentException

Specified by:

satisfies in interface net.sf.tweety.commons.Interpretation<AbstractDialecticalFramework,Argument>

Throws:

IllegalArgumentException

arguments

public Stream<Argument> arguments()

Returns:

an unmodifiable set of all the arguments labeled by this interpretation

getSatisfied

public Set<Argument> getSatisfied()

Returns:

an unmodifiable view of the satisfied arguments

satisfied

public Stream<Argument> satisfied()

getUnsatisfied

public Set<Argument> getUnsatisfied()

Returns:

an unmodifiable view of the unsatisfied arguments

unsatisfied

public Stream<Argument> unsatisfied()

getUndecided

public Set<Argument> getUndecided()

Returns:

an unmodifiable view of the undecided arguments

undecided

public Stream<Argument> undecided()

size

public int size()

isSatisfied

public boolean isSatisfied(Argument a)

isUnsatisfied

public boolean isUnsatisfied(Argument a)

isUndecided

public boolean isUndecided(Argument a)

contains

public boolean contains(Argument a)

get

public Boolean get(Argument a)

Parameters:

a - the argument for which we want to know its value

Returns:

true, false or null if this argument is labeled as satisfied, unsatisfied or undecided.

Throws:

IllegalArgumentException - if the interpretation does not contain the given argument.

iterator

public Iterator<Argument> iterator()

Specified by:

iterator in interface Iterable<Argument>