Package org.tweetyproject.arg.bipolar.syntax

Class AbstractEAFTheory<S extends Support>

java.lang.Object

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

org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework

org.tweetyproject.arg.bipolar.syntax.AbstractEAFTheory<S>

Type Parameters:

S - the support link (ESupport or PSupport)

All Implemented Interfaces:

Iterable<BArgument>, Collection<BArgument>, BeliefBase, GeneralGraph<BArgument>, Graph<BArgument>

Direct Known Subclasses:

EAFTheory, PEAFTheory

public abstract class AbstractEAFTheory<S extends Support>
extends AbstractBipolarFramework

A base class for implementing PEAFTheory and EAFTheory.

Author:

Taha Dogan Gunes

Field Summary

Fields inherited from class org.tweetyproject.commons.BeliefSet

EQUALS_USES_SIGNATURE

Fields inherited from interface org.tweetyproject.graphs.Graph

IGNORE_SELFLOOPS, INVERT_SELFLOOPS, REMOVE_SELFLOOPS

Constructor Summary

Constructors

Constructor	Description
AbstractEAFTheory()	Default Constructor

Method Summary

Modifier and Type	Method	Description
BArgument	addArgument(int identifier)	Create and add a new argument with identifier
void	addArgument(BArgument argument)	Add an argument
void	addAttack(Set<BArgument> froms, Set<BArgument> tos)	Add an attack with sets
void	addAttack(BipolarEntity froms, BipolarEntity tos)	Add an attack with sets
boolean	addAttack(EAttack attack)	Add an attack
boolean	addSupport(S support)	Add a support
ArrayList<BArgument>	getArguments()	Return a list of arguments
Set<BArgument>	getArgumentsAsSet()	Get all arguments
Set<Attack>	getAttacks()	Get all attacks
BArgument	getEta()	Get the eta (the root) argument
int	getNumberOfArguments()	Get all the number of arguments
Set<Support>	getSupports()	Get all supports
Set<Support>	getSupports(BArgument arg)	Get all supports invloving argument arg
<T> Set<Set<T>>	powerSet(Set<T> originalSet)	Return the powerset
String	toString()	Pretty print of the EAFTheory

Methods inherited from class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework

add, add, add, add, add, addAllAttacks, addAllSupports, areAdjacent, existsDirectedPath, faf, getAdjacencyMatrix, getAttacked, getAttackers, getChildren, getComplementGraph, getDirectSupported, getDirectSupporters, getEdge, getEdges, getMinimalSignature, getNeighbors, getNodes, getNumberOfEdges, getNumberOfNodes, getParents, getRestriction, getStronglyConnectedComponents, getSubgraphs, hasSelfLoops, isAcceptable, isAttackedBy, isDirectSupportedBy, isWeightedGraph, prettyPrint, remove, remove, remove, removeAll

Methods inherited from class org.tweetyproject.commons.BeliefSet

add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, 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

contains, iterator

Methods inherited from interface java.lang.Iterable

forEach

Constructor Details

AbstractEAFTheory

public AbstractEAFTheory()

Default Constructor

Method Details

addArgument

public void addArgument(BArgument argument)

Add an argument

Parameters:

argument - an EArgument objects

addAttack

public boolean addAttack(EAttack attack)

Add an attack

Parameters:

attack - an EAttack object

Returns:

true if successful

addSupport

public boolean addSupport(S support)

Add a support

Parameters:

support - a T-Support object

Returns:

true if successful

addAttack

public void addAttack(BipolarEntity froms,
 BipolarEntity tos)

Add an attack with sets

Parameters:

froms - arguments that originates the attack

tos - arguments that receive the attack

addAttack

public void addAttack(Set<BArgument> froms,
 Set<BArgument> tos)

Add an attack with sets

Parameters:

froms - arguments that originates the attack

tos - arguments that receive the attack

addArgument

public BArgument addArgument(int identifier)

Create and add a new argument with identifier

Parameters:

identifier - integer identifier for the argument

Returns:

the created argument

getArgumentsAsSet

public Set<BArgument> getArgumentsAsSet()

Get all arguments

Returns:

a set of arguments

getArguments

public ArrayList<BArgument> getArguments()

Return a list of arguments

Returns:

a list of arguments

getSupports

public Set<Support> getSupports()

Get all supports

Specified by:

getSupports in class AbstractBipolarFramework

Returns:

a list of supports

getSupports

public Set<Support> getSupports(BArgument arg)

Get all supports invloving argument arg

Parameters:

arg - an argument

Returns:

a list of supports

getAttacks

public Set<Attack> getAttacks()

Get all attacks

Specified by:

getAttacks in class AbstractBipolarFramework

Returns:

a list of attacks

powerSet

public <T> Set<Set<T>> powerSet(Set<T> originalSet)

Return the powerset

Type Parameters:

T - type

Parameters:

originalSet - the input set

Returns:

the powerset

toString

public String toString()

Pretty print of the EAFTheory

Specified by:

toString in interface BeliefBase

Specified by:

toString in interface Graph<S extends Support>

Overrides:

toString in class BeliefSet<BArgument,DungSignature>

getNumberOfArguments

public int getNumberOfArguments()

Get all the number of arguments

Returns:

the number of arguments

getEta

public BArgument getEta()

Get the eta (the root) argument

Returns:

eta argument