Uses of Interface
org.tweetyproject.graphs.GeneralGraph

Packages that use GeneralGraph

Package	Description
org.tweetyproject.agents.dialogues
org.tweetyproject.agents.dialogues.structured
org.tweetyproject.arg.adf.syntax.adf
org.tweetyproject.arg.bipolar.syntax
org.tweetyproject.arg.deductive.semantics
org.tweetyproject.arg.dung.causal.syntax
org.tweetyproject.arg.dung.serialisability.semantics
org.tweetyproject.arg.dung.syntax
org.tweetyproject.arg.prob.syntax
org.tweetyproject.arg.saf.syntax
org.tweetyproject.arg.setaf.syntax
org.tweetyproject.arg.social.syntax
org.tweetyproject.arg.weighted.syntax
org.tweetyproject.graphs
org.tweetyproject.logics.bpm.syntax
org.tweetyproject.logics.petri.syntax
org.tweetyproject.logics.petri.syntax.reachability_graph

Uses of GeneralGraph in org.tweetyproject.agents.dialogues

Classes in org.tweetyproject.agents.dialogues that implement GeneralGraph

Modifier and Type	Class	Description
class	ExecutableDungTheory	This class packs a Dung theory into an executable object.

Uses of GeneralGraph in org.tweetyproject.agents.dialogues.structured

Classes in org.tweetyproject.agents.dialogues.structured that implement GeneralGraph

Modifier and Type	Class	Description
class	PerceivableStructuredArgumentationFramework	This class packs a structured argumentation framework into a perceivable object.

Uses of GeneralGraph in org.tweetyproject.arg.adf.syntax.adf

Subinterfaces of GeneralGraph in org.tweetyproject.arg.adf.syntax.adf

Modifier and Type	Interface	Description
interface	AbstractDialecticalFramework	The implementing subtypes must ensure the following properties: Immutability All methods return a non-null value if its parameters, e.g.

Uses of GeneralGraph in org.tweetyproject.arg.bipolar.syntax

Classes in org.tweetyproject.arg.bipolar.syntax that implement GeneralGraph

Modifier and Type	Class	Description
class	AbstractBipolarFramework	This class implements a bipolar abstract argumentation framework with attack and support relations.
class	AbstractEAFTheory<S extends Support>	A base class for implementing PEAFTheory and EAFTheory.
class	DeductiveArgumentationFramework	This class implements a bipolar abstract argumentation theory with support in a deductive sense.
class	EAFTheory	This class implements an abstract argumentation theory in the sense of Evidential Argumentation Frameworks (EAF).
class	EvidentialArgumentationFramework	This class implements a bipolar abstract argumentation theory with support in an evidential sense.
class	NamedPEAFTheory	This class inherits PEAFTheory to store additional information regarding the arguments inserted
class	NecessityArgumentationFramework	This class implements a bipolar abstract argumentation framework with necessities.
class	PEAFTheory	This class implements an abstract argumentation theory in the sense of Probabilistic Evidential Argumentation Frameworks (PrEAF).

Uses of GeneralGraph in org.tweetyproject.arg.deductive.semantics

Classes in org.tweetyproject.arg.deductive.semantics that implement GeneralGraph

Modifier and Type	Class	Description
class	ArgumentTree	Instances of this class represent argument trees in the sense of Definition 6.1 in Philippe Besnard and Anthony Hunter.
class	Compilation	Instances of this class are compilations in the sense of Definition 8 in Philippe Besnard and Anthony Hunter.

Uses of GeneralGraph in org.tweetyproject.arg.dung.causal.syntax

Classes in org.tweetyproject.arg.dung.causal.syntax that implement GeneralGraph

Modifier and Type	Class	Description
class	InducedTheory	This class describes an abstract argumentation framework that was induced by a CausalKnowledgeBase Reference "Argumentation-based Causal and Counterfactual Reasoning" by Lars Bengel, Lydia Blümel, Tjitze Rienstra and Matthias Thimm, published at 1st International Workshop on Argumentation for eXplainable AI (ArgXAI, co-located with COMMA ’22), September 12, 2022

Uses of GeneralGraph in org.tweetyproject.arg.dung.serialisability.semantics

Classes in org.tweetyproject.arg.dung.serialisability.semantics that implement GeneralGraph

Modifier and Type	Class	Description
class	SerialisationGraph	A Graph-based representation of the Serialisation Sequences of some Argumentation Framework wrt.

Methods in org.tweetyproject.arg.dung.serialisability.semantics that return GeneralGraph

Modifier and Type	Method	Description
GeneralGraph<SerialisationNode>	SerialisationGraph.getRestriction(Collection<SerialisationNode> nodes)

Uses of GeneralGraph in org.tweetyproject.arg.dung.syntax

Classes in org.tweetyproject.arg.dung.syntax that implement GeneralGraph

Modifier and Type	Class	Description
class	ClaimBasedTheory	implements claim based theory see: The Complexity Landscape of Claim-Augmented Argumentation Frameworks (Wolfgang Dvoˇr´ak Alexander Greßler Anna Rapberger StefanWoltran )
class	DungTheory	This class implements an abstract argumentation theory in the sense of Dung.
class	IncompleteTheory	implementation of incomplete argumentation frameworks
class	WeightedDungTheory	Minimalistic Implementation of a weighted argumentation theory used for learning argumentation theories from labelings

Uses of GeneralGraph in org.tweetyproject.arg.prob.syntax

Classes in org.tweetyproject.arg.prob.syntax that implement GeneralGraph

Modifier and Type	Class	Description
class	ProbabilisticArgumentationFramework	This class implements the probabilistic argumentation framework approach of [Li, Oren, Norman.

Uses of GeneralGraph in org.tweetyproject.arg.saf.syntax

Classes in org.tweetyproject.arg.saf.syntax that implement GeneralGraph

Modifier and Type	Class	Description
class	StructuredArgumentationFramework	This class represents a structured argumentation framework, i.e.

Uses of GeneralGraph in org.tweetyproject.arg.setaf.syntax

Classes in org.tweetyproject.arg.setaf.syntax that implement GeneralGraph

Modifier and Type	Class	Description
class	SetAf	This class implements a SetAF in the sense of Nielson/Parson:

Uses of GeneralGraph in org.tweetyproject.arg.social.syntax

Classes in org.tweetyproject.arg.social.syntax that implement GeneralGraph

Modifier and Type	Class	Description
class	SocialAbstractArgumentationFramework	This class implements a social abstract argumentation framework from [Joao Leite, Joao Martins.

Uses of GeneralGraph in org.tweetyproject.arg.weighted.syntax

Classes in org.tweetyproject.arg.weighted.syntax that implement GeneralGraph

Modifier and Type	Class	Description
class	WeightedArgumentationFramework<T>	This class implements a weighted abstract argumentation theory (WAF) using a C-Semiring.

Uses of GeneralGraph in org.tweetyproject.graphs

Subinterfaces of GeneralGraph in org.tweetyproject.graphs

Modifier and Type	Interface	Description
interface	DirHyperGraph<T extends Node>	Interface for directed hypergraph
interface	Graph<T extends Node>	Common interface for graphs with nodes of type T

Classes in org.tweetyproject.graphs that implement GeneralGraph

Modifier and Type	Class	Description
class	DefaultGraph<T extends Node>	Instance of this class represent graphs with nodes of type T
class	HyperGraph<T extends Node>	This class implements a simple directed hypergraph
class	SimpleGraph<T extends Node>	An extended version of the DefaultGraph which supports removing of nodes as well as some utility functions for d-separation

Methods in org.tweetyproject.graphs that return GeneralGraph

Modifier and Type	Method	Description
GeneralGraph<T>	GeneralGraph.getRestriction(Collection<T> nodes)	Returns a copy of this graph that contains only the specified nodes and all corresponding edges between them.

Methods in org.tweetyproject.graphs with parameters of type GeneralGraph

Modifier and Type	Method	Description
static <S extends Node> Collection<Graph<S>>	DefaultGraph.getSubgraphs(GeneralGraph<S> g)	Returns the set of sub graphs of the given graph.

Uses of GeneralGraph in org.tweetyproject.logics.bpm.syntax

Classes in org.tweetyproject.logics.bpm.syntax that implement GeneralGraph

Modifier and Type	Class	Description
class	BpmnModel	A class to represent a BPMN Model

Uses of GeneralGraph in org.tweetyproject.logics.petri.syntax

Classes in org.tweetyproject.logics.petri.syntax that implement GeneralGraph

Modifier and Type	Class	Description
class	PetriNet	A class to represent a Petri net

Uses of GeneralGraph in org.tweetyproject.logics.petri.syntax.reachability_graph

Classes in org.tweetyproject.logics.petri.syntax.reachability_graph that implement GeneralGraph

Modifier and Type	Class	Description
class	ReachabilityGraph	A class to describe the graph of reachability between possible markings of a Petri net