Class ExecutableDungTheory

java.lang.Object

org.tweetyproject.commons.BeliefSet<Argument, DungSignature>

org.tweetyproject.arg.dung.syntax.DungTheory

org.tweetyproject.agents.dialogues.ExecutableDungTheory

All Implemented Interfaces:

Comparable<DungTheory>, Iterable<Argument>, Collection<Argument>, Executable, ArgumentationFramework<Argument>, BeliefBase, GeneralGraph<Argument>, Graph<Argument>

public class ExecutableDungTheory
extends DungTheory
implements Executable

This class packs a Dung theory into an executable object.

Author:

Matthias Thimm

Field Summary

Fields inherited from class org.tweetyproject.commons.BeliefSet

EQUALS_USES_SIGNATURE

Fields inherited from interface org.tweetyproject.agents.Executable

NO_OPERATION

Fields inherited from interface org.tweetyproject.graphs.Graph

IGNORE_SELFLOOPS, INVERT_SELFLOOPS, REMOVE_SELFLOOPS

Constructor Summary

Constructors

Constructor	Description
ExecutableDungTheory()	Creates a new empty theory.
ExecutableDungTheory(DungTheory theory)	Creates a new dung theory for the given Dung theory.

Method Summary

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

Methods inherited from class org.tweetyproject.arg.dung.syntax.DungTheory

add, add, add, add, add, addAllAttacks, addAttack, areAdjacent, clone, compareTo, contains, containsAll, containsAttack, containsCycle, containsOddCycle, equals, equalsIn, existsDirectedPath, faf, getAdjacencyMatrix, getAttacked, getAttacked, getAttackers, getAttackers, getAttacks, getBidirectionalAttacks, getChildren, getComplementGraph, getComponents, getConnectedComponents, getEdge, getEdges, getInducedSubgraphs, getMinimalSignature, getNeighbors, getNodes, getNumberOfEdges, getNumberOfNodes, getParents, getReduct, getReduct, getRestriction, getStronglyConnectedComponents, getSubgraphs, getUnattackedAttackers, getUndefendedAttacks, hasAttackBranch, hasDefenseBranch, hashCode, hasSelfLoops, isAcceptable, isAdmissible, isAttackBranch, isAttacked, isAttacked, isAttackedBy, isAttackedBy, isAttackingAllOtherArguments, isCoherent, isComplete, isConflictFree, isConflictFree, isDefenseBranch, isIndirectAttack, isPreferred, isRelativelyCoherent, isStable, isStronglyDefendedBy, isSupport, isWeightedGraph, isWellFounded, prettyPrint, remove, remove, removeAll, toString

Methods inherited from class org.tweetyproject.commons.BeliefSet

add, addAll, clear, getSignature, isEmpty, iterator, remove, retainAll, setSignature, size, toArray, toArray, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface org.tweetyproject.graphs.Graph

iterator

Methods inherited from interface java.lang.Iterable

forEach

Constructor Details

ExecutableDungTheory

public ExecutableDungTheory()

Creates a new empty theory.

ExecutableDungTheory

public ExecutableDungTheory(DungTheory theory)

Creates a new dung theory for the given Dung theory.

Parameters:

theory - a Dung theory.

Method Details

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.