Package org.tweetyproject.arg.dung.syntax

Interface ArgumentationFramework<Arg>

All Superinterfaces:

BeliefBase

All Known Implementing Classes:

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

public interface ArgumentationFramework<Arg>
extends BeliefBase

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