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

Class EmptyInterpretation

java.lang.Object

net.sf.tweety.arg.adf.semantics.interpretation.EmptyInterpretation

All Implemented Interfaces:

Interpretation

public final class EmptyInterpretation
extends java.lang.Object
implements Interpretation

Author:

Mathias Hofer

Nested Class Summary

Nested classes/interfaces inherited from interface net.sf.tweety.arg.adf.semantics.interpretation.Interpretation

Interpretation.Builder

Constructor Summary

Constructors

Constructor	Description
EmptyInterpretation(AbstractDialecticalFramework adf)	An empty interpretation relative to the given ADF

Method Summary

Modifier and Type	Method	Description
java.util.Set<Argument>	arguments()	Returns the union of Interpretation.satisfied(), Interpretation.unsatisfied() and Interpretation.undecided().
boolean	equals(java.lang.Object obj)
int	hashCode()
boolean	isStrictSupersetOf(Interpretation subset)
boolean	isSubsetOf(Interpretation superset)
int	numDecided()	Returns the number of decided arguments, i.e.
java.util.Set<Argument>	satisfied()
boolean	satisfied(Argument arg)
java.lang.String	toString()
java.util.Set<Argument>	undecided()
boolean	undecided(Argument arg)
java.util.Set<Argument>	unsatisfied()
boolean	unsatisfied(Argument arg)

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface net.sf.tweety.arg.adf.semantics.interpretation.Interpretation

containsAll, isStrictSubsetOf, isSupersetOf, size

Constructor Detail

EmptyInterpretation

public EmptyInterpretation(AbstractDialecticalFramework adf)

An empty interpretation relative to the given ADF

Parameters:

adf - the contextual ADF

Method Detail

satisfied

public boolean satisfied(Argument arg)

Specified by:

satisfied in interface Interpretation

unsatisfied

public boolean unsatisfied(Argument arg)

Specified by:

unsatisfied in interface Interpretation

undecided

public boolean undecided(Argument arg)

Specified by:

undecided in interface Interpretation

arguments

public java.util.Set<Argument> arguments()

Description copied from interface: Interpretation

Returns the union of Interpretation.satisfied(), Interpretation.unsatisfied() and Interpretation.undecided(). Must not return additional arguments.

Specified by:

arguments in interface Interpretation

Returns:

all the assigned arguments

satisfied

public java.util.Set<Argument> satisfied()

Specified by:

satisfied in interface Interpretation

unsatisfied

public java.util.Set<Argument> unsatisfied()

Specified by:

unsatisfied in interface Interpretation

undecided

public java.util.Set<Argument> undecided()

Specified by:

undecided in interface Interpretation

isSubsetOf

public boolean isSubsetOf(Interpretation superset)

Specified by:

isSubsetOf in interface Interpretation

numDecided

public int numDecided()

Description copied from interface: Interpretation

Returns the number of decided arguments, i.e. satisfied or unsatisfied, in this interpretation.

Specified by:

numDecided in interface Interpretation

Returns:

the number of decided arguments

isStrictSupersetOf

public boolean isStrictSupersetOf(Interpretation subset)

Specified by:

isStrictSupersetOf in interface Interpretation

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object