Package net.sf.tweety.agents.dialogues

Class ExecutableDungTheory

java.lang.Object

net.sf.tweety.commons.BeliefSet<Argument,DungSignature>

net.sf.tweety.arg.dung.syntax.DungTheory

net.sf.tweety.agents.dialogues.ExecutableDungTheory

All Implemented Interfaces:

java.lang.Comparable<DungTheory>, java.lang.Iterable<Argument>, java.util.Collection<Argument>, Executable, BeliefBase, 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 net.sf.tweety.commons.BeliefSet

EQUALS_USES_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(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 net.sf.tweety.arg.dung.syntax.DungTheory

add, add, add, add, add, addAllAttacks, addAttack, areAdjacent, compareTo, contains, containsAll, containsAttack, containsCycle, equals, existsDirectedPath, faf, getAdjacencyMatrix, getAttacked, getAttackers, getAttacks, getChildren, getComplementGraph, getComponents, getEdge, getEdges, getInducedSubgraphs, getMinimalSignature, getNeighbors, getNodes, getNumberOfNodes, getParents, getRestriction, getStronglyConnectedComponents, getSubgraphs, hasAttackBranch, hasDefenseBranch, hashCode, hasSelfLoops, 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

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

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 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(DungTheory theory)

Creates a new dung theory for the given Dung theory.

Parameters:

theory - a Dung theory.

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.