Uses of Class
org.tweetyproject.arg.dung.serialisability.semantics.SerialisationNode
Package
Description
-
Uses of SerialisationNode in org.tweetyproject.arg.dung.serialisability.semantics
Modifier and TypeMethodDescriptionSerialisationGraph.getNodeForExtension
(Extension<DungTheory> extension) Return the node of this graph that corresponds to the given extensionModifier and TypeMethodDescriptionSerialisationGraph.getChildren
(Node node) SerialisationGraph.getComplementGraph
(int selfloops) SerialisationGraph.getEdge
(SerialisationNode a, SerialisationNode b) Collection
<? extends GeneralEdge<? extends SerialisationNode>> SerialisationGraph.getEdges()
SerialisationGraph.getNeighbors
(SerialisationNode node) SerialisationGraph.getNodes()
SerialisationGraph.getParents
(Node node) SerialisationGraph.getRestriction
(Collection<SerialisationNode> nodes) SerialisationGraph.getStronglyConnectedComponents()
SerialisationGraph.getSubgraphs()
SerialisationGraph.iterator()
Modifier and TypeMethodDescriptionboolean
SerialisationGraph.add
(SerialisationNode node) boolean
SerialisationGraph.areAdjacent
(SerialisationNode a, SerialisationNode b) boolean
SerialisationGraph.existsDirectedPath
(SerialisationNode node1, SerialisationNode node2) SerialisationGraph.getEdge
(SerialisationNode a, SerialisationNode b) SerialisationGraph.getNeighbors
(SerialisationNode node) Modifier and TypeMethodDescriptionboolean
SerialisationGraph.add
(GeneralEdge<SerialisationNode> edge) SerialisationGraph.getRestriction
(Collection<SerialisationNode> nodes) -
Uses of SerialisationNode in org.tweetyproject.arg.dung.serialisability.util