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
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
-
Method Summary
Modifier and TypeMethodDescriptionaddArgument
(int identifier) Create and add a new argument with identifiervoid
addArgument
(BArgument argument) Add an argumentvoid
Add an attack with setsvoid
addAttack
(BipolarEntity froms, BipolarEntity tos) Add an attack with setsboolean
Add an attackboolean
addSupport
(S support) Add a supportGet all argumentsGet all attacksgetEta()
Get the eta (the root) argumentint
Get all the number of argumentsGet all supportsgetSupports
(BArgument arg) Get all supports invloving argument argtoString()
Pretty print of the EAFTheoryMethods 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, 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 interface java.util.Collection
parallelStream, removeIf, spliterator, stream, toArray
-
Constructor Details
-
AbstractEAFTheory
public AbstractEAFTheory()
-
-
Method Details
-
addArgument
Add an argument- Parameters:
argument
- an EArgument objects
-
addAttack
Add an attack- Parameters:
attack
- an EAttack object- Returns:
- true if successful
-
addSupport
Add a support- Parameters:
support
- a T-Support object- Returns:
- true if successful
-
addAttack
Add an attack with sets- Parameters:
froms
- arguments that originates the attacktos
- arguments that receive the attack
-
addAttack
Add an attack with sets- Parameters:
froms
- arguments that originates the attacktos
- arguments that receive the attack
-
addArgument
Create and add a new argument with identifier- Parameters:
identifier
- integer identifier for the argument- Returns:
- the created argument
-
getArgumentsAsSet
Get all arguments- Returns:
- a set of arguments
-
getArguments
- Returns:
- a list of arguments
-
getSupports
Get all supports- Specified by:
getSupports
in classAbstractBipolarFramework
- Returns:
- a list of supports
-
getSupports
Get all supports invloving argument arg- Parameters:
arg
- an argument- Returns:
- a list of supports
-
getAttacks
Get all attacks- Specified by:
getAttacks
in classAbstractBipolarFramework
- Returns:
- a list of attacks
-
powerSet
-
toString
Pretty print of the EAFTheory- Specified by:
toString
in interfaceBeliefBase
- Specified by:
toString
in interfaceGraph<S extends Support>
- Overrides:
toString
in classBeliefSet<BArgument,
DungSignature>
-
getNumberOfArguments
public int getNumberOfArguments()Get all the number of arguments- Returns:
- the number of arguments
-
getEta
Get the eta (the root) argument- Returns:
- eta argument
-