StructuredArgumentationFramework

java.lang.Object
- net.sf.tweety.commons.BeliefSet<Argument,DungSignature>
- - net.sf.tweety.arg.dung.syntax.DungTheory
  - - net.sf.tweety.arg.saf.syntax.StructuredArgumentationFramework

All Implemented Interfaces:

java.lang.Comparable<DungTheory>, java.lang.Iterable<Argument>, java.util.Collection<Argument>, BeliefBase, Graph<Argument>

Direct Known Subclasses:

PerceivableStructuredArgumentationFramework
```
public class StructuredArgumentationFramework
extends DungTheory
```
This class represents a structured argumentation framework, i.e. a set of basic arguments and an attack relation.

Author:

Matthias Thimm

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

Constructor Summary

Constructors
Constructor Description

StructuredArgumentationFramework()
Creates a new empty structured argumentation framework.

Method Summary

Modifier and Type	Method	Description
`java.util.Collection<Proposition>`	`getAllPropositions()`
`DungSignature`	`getSignature()`	Returns a copy of the signature that is attached to his belief base (it is always equal to or larger than `BeliefBase.getMinimalSignature()`).
`boolean`	`isAttackedBy(Argument arg1, Argument arg2)`	Checks whether arg1 is attacked by arg2.
`DungTheory`	`toDungTheory()`	Constructs a (pure) Dung theory from this structured argumentation framework.

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, 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, 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
  - StructuredArgumentationFramework
```
public StructuredArgumentationFramework()
```
    Creates a new empty structured argumentation framework.
- Method Detail
  - getSignature
```
public DungSignature getSignature()
```
    Description copied from class: BeliefSet
    
    Returns a copy of the signature that is attached to his belief base (it is always equal to or larger than BeliefBase.getMinimalSignature()).
    
    Overrides:
    
    getSignature in class BeliefSet<Argument,DungSignature>
    
    Returns:
    
    the signature of this knowledge base.
  - getAllPropositions
```
public java.util.Collection<Proposition> getAllPropositions()
```
  - isAttackedBy
```
public boolean isAttackedBy(Argument arg1,
                            Argument arg2)
```
    Description copied from class: DungTheory
    
    Checks whether arg1 is attacked by arg2.
    
    Overrides:
    
    isAttackedBy in class DungTheory
    
    Parameters:
    
    arg1 - an argument.
    
    arg2 - an argument.
    
    Returns:
    
    "true" if arg1 is attacked by arg2
  - toDungTheory
```
public DungTheory toDungTheory()
```
    Constructs a (pure) Dung theory from this structured argumentation framework. The set of arguments of this theory comprises of all possible argument structures of this framework, and the attack relation is determined by their attack relation.
    
    Returns:
    
    a Dung theory.