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

Class SetInterpretation

java.lang.Object

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

All Implemented Interfaces:

Interpretation

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

This implementation is backed by three sets which allows satisfied(Argument), unsatisfied(Argument) and undecided(Argument) to return in constant time.

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
SetInterpretation(java.util.Set<Argument> satisfied, java.util.Set<Argument> unsatisfied, java.util.Set<Argument> undecided)

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()
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, isStrictSupersetOf, isSubsetOf, isSupersetOf, numDecided, size

Constructor Detail

SetInterpretation

public SetInterpretation(java.util.Set<Argument> satisfied,
                         java.util.Set<Argument> unsatisfied,
                         java.util.Set<Argument> undecided)

Parameters:

satisfied - the satisfied arguments

unsatisfied - the unsatisfied arguments

undecided - the undecided arguments

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

satisfied

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

Specified by:

satisfied 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

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

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