net.sf.tweety.agents.dialogues

Class ExecutableExtension

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation

net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation

net.sf.tweety.arg.dung.semantics.Extension

net.sf.tweety.agents.dialogues.ExecutableExtension

All Implemented Interfaces:

java.lang.Comparable<Extension>, java.lang.Iterable<Argument>, java.util.Collection<Argument>, Executable, Interpretation

public class ExecutableExtension
extends Extension
implements Executable

This class packs an extension into an executable object.

Author:

Matthias Thimm

Field Summary

Fields inherited from interface net.sf.tweety.agents.Executable

NO_OPERATION

Constructor Summary

Constructors

Constructor and Description
ExecutableExtension() Creates a new empty extension.
ExecutableExtension(java.util.Collection<? extends Argument> arguments) Creates a new extension for the given arguments.

Method Summary

Modifier and Type	Method and Description
boolean	isNoOperation() Indicates whether this operation can be regarded as no operation at all.

Methods inherited from class net.sf.tweety.arg.dung.semantics.Extension

add, addAll, clear, compareTo, contains, containsAll, equals, getArgumentsOfStatus, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray, toString

Methods inherited from class net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation

isAcceptable, isAdmissable, isConflictFree, satisfies, satisfies

Methods inherited from class net.sf.tweety.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

ExecutableExtension

public ExecutableExtension()

Creates a new empty extension.

ExecutableExtension

public ExecutableExtension(java.util.Collection<? extends Argument> arguments)

Creates a new extension for the given arguments.

Parameters:

arguments - a collection of arguments.

Method Detail

isNoOperation

public boolean isNoOperation()

Description copied from interface: Executable

Indicates whether this operation can be regarded as no operation at all.

Specified by:

isNoOperation in interface Executable

Returns:

"true" if this operation is a noop.