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

Class SingleValuedInterpretation

java.lang.Object

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

All Implemented Interfaces:

Interpretation

public final class SingleValuedInterpretation
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
SingleValuedInterpretation(Argument argument, boolean value, AbstractDialecticalFramework adf)

Method Summary

Modifier and Type	Method	Description
java.util.Set<Argument>	arguments()	Returns the union of Interpretation.satisfied(), Interpretation.unsatisfied() and Interpretation.undecided().
int	numDecided()	Returns the number of decided arguments, i.e.
java.util.Set<Argument>	satisfied()
boolean	satisfied(Argument arg)
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

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

containsAll, isStrictSubsetOf, isStrictSupersetOf, isSubsetOf, isSupersetOf, size

Constructor Detail

SingleValuedInterpretation

public SingleValuedInterpretation(Argument argument,
                                  boolean value,
                                  AbstractDialecticalFramework adf)

Parameters:

argument - the argument with the value

value - the value of the argument

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

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

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

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