Package org.tweetyproject.arg.dung.serialisability.semantics

Class SerialisationNode

java.lang.Object

org.tweetyproject.arg.dung.serialisability.semantics.SerialisationNode

All Implemented Interfaces:

Node

public class SerialisationNode
extends Object
implements Node

Representation of a 'state' in the serialisation process, consisting of the current DungTheory and a (partial) Extension.

Author:

Lars Bengel

See Also:

• "Matthias Thimm. Revisiting initial sets in abstract argumentation. Argument and Computation 13 (2022) 325–360"

Constructor Summary

Constructors

Constructor	Description
SerialisationNode(DungTheory theory, Extension<DungTheory> extension)	Initializes a serialisation state for the given theory and extension with terminal set to false
SerialisationNode(DungTheory theory, Extension<DungTheory> extension, boolean terminal)	Initializes a new serialisation state for the given theory and extension and terminal value

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
Extension<DungTheory>	getExtension()	Return the extension corresponding to this state
DungTheory	getTheory()	Return the AF corresponding to this state
int	hashCode()
boolean	isTerminal()	Return whether this state is considered terminal
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

SerialisationNode

public SerialisationNode(DungTheory theory,
 Extension<DungTheory> extension,
 boolean terminal)

Initializes a new serialisation state for the given theory and extension and terminal value

Parameters:

theory - a dung theory

extension - an extension

terminal - if the corresponding extension is valid

SerialisationNode

public SerialisationNode(DungTheory theory,
 Extension<DungTheory> extension)

Initializes a serialisation state for the given theory and extension with terminal set to false

Parameters:

theory - a dung theory

extension - an extension

Method Details

getTheory

public DungTheory getTheory()

Return the AF corresponding to this state

Returns:

the theory

getExtension

public Extension<DungTheory> getExtension()

Return the extension corresponding to this state

Returns:

the associated serialisation sequence

isTerminal

public boolean isTerminal()

Return whether this state is considered terminal

Returns:

true, if the set of arguments of this node is an extension

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object