Package org.tweetyproject.arg.dung.syntax

Interface ArgumentationFramework<Arg>

Type Parameters:

Arg - *description missing*

All Superinterfaces:

BeliefBase

All Known Implementing Classes:

ClaimBasedTheory, DungTheory, ExecutableDungTheory, IncompleteTheory, InducedTheory, PerceivableStructuredArgumentationFramework, ProbabilisticArgumentationFramework, SetAf, SocialAbstractArgumentationFramework, StructuredArgumentationFramework, WeightedDungTheory

public interface ArgumentationFramework<Arg>
extends BeliefBase

*description missing*

Author:

Sebastian Franke

Method Summary

Modifier and Type	Method	Description
boolean	containsAll(Collection<?> c)
Collection<Arg>	getNodes()
boolean	isAttacked(Arg a, Extension<? extends ArgumentationFramework> ext)

Methods inherited from interface org.tweetyproject.commons.BeliefBase

getMinimalSignature, toString

Method Details

containsAll

boolean containsAll(Collection<?> c)

Parameters:

c - parameter

Returns:

containsAll

isAttacked

boolean isAttacked(Arg a,
 Extension<? extends ArgumentationFramework> ext)

Parameters:

a - parameter

ext - parameter

Returns:

isAttacked

getNodes

Collection<Arg> getNodes()

Returns:

returns all the nodes