Package org.tweetyproject.arg.bipolar.syntax

Class NamedPEAFTheory

java.lang.Object

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

org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework

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

org.tweetyproject.arg.bipolar.syntax.PEAFTheory

org.tweetyproject.arg.bipolar.syntax.NamedPEAFTheory

All Implemented Interfaces:

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

public class NamedPEAFTheory
extends PEAFTheory

This class inherits PEAFTheory to store additional information regarding the arguments inserted

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
NamedPEAFTheory()

Method Summary

Modifier and Type	Method	Description
BArgument	addArgument(int identifier, String name, String aifNodeIdentifier)	Add argument with names
NamedPEAFTheory	createCopyWithoutArguments(Set<BArgument> args)
BArgument	getArgumentByIdentifier(String identifier)	Returns the EArgument object given its identifier
String	getArgumentNameFromIdentifier(String identifier)	Returns the argument's name give its identifier
String	getIdentifier(BArgument e)
String	getNameOfArgument(BArgument argument)	Returns the name of the argument given EArgument object's reference
static Set<String>	giveNames(Map<BArgument,String> names, Set<BArgument> args)	Helper function to give the names of a set of arguments Static such that it can work with PEAFTheory nodes (EArgument, EAttack and PSupport)
void	prettyPrintWithoutNames()	prints string reprsentation without names
String	toString()	Print the NamedPEAFTheory for debugging purposes

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

add, add, addArgument, addAttack, addSupport, getASCIITree, isAcceptable, printASCIITree

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

addArgument, addAttack, addAttack, addSupport, getArguments, getArgumentsAsSet, getAttacks, getEta, getNumberOfArguments, getSupports, getSupports, powerSet

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

add, add, add, addAllAttacks, addAllSupports, areAdjacent, existsDirectedPath, faf, getAdjacencyMatrix, getAttacked, getAttackers, getChildren, getComplementGraph, getDirectSupported, getDirectSupporters, getEdge, getEdges, getMinimalSignature, getNeighbors, getNodes, getNumberOfNodes, getParents, getRestriction, getStronglyConnectedComponents, getSubgraphs, hasSelfLoops, 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

NamedPEAFTheory

public NamedPEAFTheory()

Method Details

giveNames

public static Set<String> giveNames(Map<BArgument,String> names,
 Set<BArgument> args)

Helper function to give the names of a set of arguments Static such that it can work with PEAFTheory nodes (EArgument, EAttack and PSupport)

Parameters:

names - the map that has arguments as keys and the names of arguments as string

args - the arguments that are queried

Returns:

the set of names

getArgumentNameFromIdentifier

public String getArgumentNameFromIdentifier(String identifier)

Returns the argument's name give its identifier

Parameters:

identifier - the identifier of the argument

Returns:

the argument's name

getArgumentByIdentifier

public BArgument getArgumentByIdentifier(String identifier)

Returns the EArgument object given its identifier

Parameters:

identifier - the identifier of the argument

Returns:

corresponding EArgument object

getNameOfArgument

public String getNameOfArgument(BArgument argument)

Returns the name of the argument given EArgument object's reference

Parameters:

argument - EArgument reference

Returns:

the name in string

addArgument

public BArgument addArgument(int identifier,
 String name,
 String aifNodeIdentifier)

Add argument with names

Parameters:

identifier - PEAF identifier as an integer value (index of the argument for efficiency reasons)

name - The given name of the argument

aifNodeIdentifier - The aif node identifier

Returns:

EArgument object given

toString

public String toString()

Print the NamedPEAFTheory for debugging purposes

Specified by:

toString in interface BeliefBase

Specified by:

toString in interface Graph<BArgument>

Overrides:

toString in class AbstractEAFTheory<WeightedSetSupport>

prettyPrintWithoutNames

public void prettyPrintWithoutNames()

prints string reprsentation without names

createCopyWithoutArguments

public NamedPEAFTheory createCopyWithoutArguments(Set<BArgument> args)

Parameters:

args - aruments

Returns:

copy of thory without args

getIdentifier

public String getIdentifier(BArgument e)

Parameters:

e - an argument

Returns:

string reprentation of argument