ExecutableExtension (Tweety (Dialogue Systems Library) 1.15 API)

java.lang.Object
- net.sf.tweety.commons.AbstractInterpretation<net.sf.tweety.arg.dung.syntax.DungTheory,net.sf.tweety.arg.dung.syntax.Argument>
- - net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation
  - - net.sf.tweety.arg.dung.semantics.Extension
    - - net.sf.tweety.agents.dialogues.ExecutableExtension

All Implemented Interfaces:

Comparable<net.sf.tweety.arg.dung.semantics.Extension>, Iterable<net.sf.tweety.arg.dung.syntax.Argument>, Collection<net.sf.tweety.arg.dung.syntax.Argument>, net.sf.tweety.agents.Executable, net.sf.tweety.commons.Interpretation<net.sf.tweety.arg.dung.syntax.DungTheory,net.sf.tweety.arg.dung.syntax.Argument>
```
public class ExecutableExtension
extends net.sf.tweety.arg.dung.semantics.Extension
implements net.sf.tweety.agents.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	Description
`ExecutableExtension()`	Creates a new empty extension.
`ExecutableExtension(Collection<? extends net.sf.tweety.arg.dung.syntax.Argument> arguments)`	Creates a new extension for the given arguments.

Method Summary

Modifier and Type Method Description

boolean isNoOperation()
- 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, toArray
- Methods inherited from interface java.lang.Iterable
  forEach

- Constructor Detail
  - ExecutableExtension
```
public ExecutableExtension()
```
    Creates a new empty extension.
  - ExecutableExtension
```
public ExecutableExtension(Collection<? extends net.sf.tweety.arg.dung.syntax.Argument> arguments)
```
    Creates a new extension for the given arguments.
    
    Parameters:
    
    arguments - a collection of arguments.
- Method Detail
  - isNoOperation
```
public boolean isNoOperation()
```
    Specified by:
    
    isNoOperation in interface net.sf.tweety.agents.Executable