Class SerialisationState

java.lang.Object

org.tweetyproject.arg.dung.serialisability.semantics.SerialisationState

All Implemented Interfaces:

Node

public class SerialisationState
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 & Computation (2022)"

Constructor Summary

Constructors

Constructor	Description
SerialisationState(DungTheory theory, Extension<DungTheory> extension)	Initializes a serialisation state for the given theory and extension with terminal set to false
SerialisationState(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

SerialisationState

public SerialisationState(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

SerialisationState

public SerialisationState(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