ExecutableDungTheory (Tweety (Dialogue Systems Library) 1.15 API)

java.lang.Object
- net.sf.tweety.commons.BeliefSet<net.sf.tweety.arg.dung.syntax.Argument,net.sf.tweety.arg.dung.syntax.DungSignature>
- - net.sf.tweety.arg.dung.syntax.DungTheory
  - - net.sf.tweety.agents.dialogues.ExecutableDungTheory

All Implemented Interfaces:

Comparable<net.sf.tweety.arg.dung.syntax.DungTheory>, 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.BeliefBase, net.sf.tweety.graphs.Graph<net.sf.tweety.arg.dung.syntax.Argument>
```
public class ExecutableDungTheory
extends net.sf.tweety.arg.dung.syntax.DungTheory
implements net.sf.tweety.agents.Executable
```
This class packs a Dung theory into an executable object.

Author:

Matthias Thimm

Field Summary
- Fields inherited from class net.sf.tweety.commons.BeliefSet
  EQUALS_USES_SIGNATURE, signature
- Fields inherited from interface net.sf.tweety.agents.Executable
  NO_OPERATION
- Fields inherited from interface net.sf.tweety.graphs.Graph
  IGNORE_SELFLOOPS, INVERT_SELFLOOPS, REMOVE_SELFLOOPS

Constructor Summary

Constructors
Constructor	Description
`ExecutableDungTheory()`	Creates a new empty theory.
`ExecutableDungTheory(net.sf.tweety.arg.dung.syntax.DungTheory theory)`	Creates a new dung theory for the given Dung theory.

Method Summary

Modifier and Type Method Description

boolean isNoOperation()
- Methods inherited from class net.sf.tweety.arg.dung.syntax.DungTheory
  add, add, add, add, addAllAttacks, addAttack, areAdjacent, compareTo, contains, containsAll, containsAttack, containsCycle, equals, existsDirectedPath, faf, getAdjacencyMatrix, getAttacked, getAttackers, getAttacks, getChildren, getComplementGraph, getComponents, getEdge, getEdges, getMinimalSignature, getNeighbors, getNodes, getNumberOfNodes, getParents, getRestriction, getStronglyConnectedComponents, getSubgraphs, hasAttackBranch, hasDefenseBranch, hashCode, hasSelfLoops, instantiateSignature, isAttackBranch, isAttacked, isAttacked, isAttackedBy, isAttackedBy, isAttackingAllOtherArguments, isCoherent, isDefenseBranch, isIndirectAttack, isRelativelyCoherent, isStable, isSupport, isWeightedGraph, isWellFounded, prettyPrint, remove, remove, removeAll, toString
- Methods inherited from class net.sf.tweety.commons.BeliefSet
  addAll, clear, getSignature, instantiateSet, isEmpty, iterator, remove, retainAll, setSignature, size, toArray, toArray
- 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 net.sf.tweety.graphs.Graph
  iterator
- Methods inherited from interface java.lang.Iterable
  forEach

- Constructor Detail
  - ExecutableDungTheory
```
public ExecutableDungTheory()
```
    Creates a new empty theory.
  - ExecutableDungTheory
```
public ExecutableDungTheory(net.sf.tweety.arg.dung.syntax.DungTheory theory)
```
    Creates a new dung theory for the given Dung theory.
    
    Parameters:
    
    theory - a Dung theory.
- Method Detail
  - isNoOperation
```
public boolean isNoOperation()
```
    Specified by:
    
    isNoOperation in interface net.sf.tweety.agents.Executable