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>, net.sf.tweety.commons.Interpretation<AbstractDialecticalFramework,Argument>

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

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)
Interpretation(Collection<Argument> undecided)
Interpretation(Map<Argument,Boolean> assignments)

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)	TODO define functionality
Set<Argument>	getSatisfied()
Set<Argument>	getUndecided()
Set<Argument>	getUnsatisfied()
int	hashCode()
boolean	isSatisfied(Argument a)
boolean	isUndecided(Argument a)
boolean	isUnsatisfied(Argument a)
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

Constructor Detail

Interpretation

public Interpretation(Collection<Argument> undecided)

Interpretation

public Interpretation(Iterable<Argument> undecided)

Interpretation

public Interpretation(Map<Argument,Boolean> 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:

a copy of the set of satisfied arguments

satisfied

public Stream<Argument> satisfied()

getUnsatisfied

public Set<Argument> getUnsatisfied()

Returns:

a copy of the set of unsatisfied arguments

unsatisfied

public Stream<Argument> unsatisfied()

getUndecided

public Set<Argument> getUndecided()

Returns:

a copy of the set of 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)

TODO define functionality

Parameters:

a - some argument

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.