Modifier and Type | Class and Description |
---|---|
class |
Deduction<T extends Formula> |
Modifier and Type | Class and Description |
---|---|
class |
AspicArgument<T extends Invertable> |
Modifier and Type | Class and Description |
---|---|
class |
CompilationNode
Instances of this class represent nodes in the compilation of
a knowledge base, i.e.
|
class |
DeductiveArgumentNode
Extends a deductive argument by a unique identifier.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Argument> |
DungTheory.getChildren(Node node) |
java.util.Collection<Argument> |
DungTheory.getParents(Node node) |
Modifier and Type | Class and Description |
---|---|
class |
Argument
This class models an argument used by Dung's abstract argumentation theory and is just described by its name.
|
Modifier and Type | Method and Description |
---|---|
static java.lang.Double |
AnalysisTest.hitsRankInverted(Graph<? extends Node> g,
Node n,
double precision,
boolean getAuth) |
static java.lang.Double |
AnalysisTest.pageRankInverted(Graph<? extends Node> g,
Node n,
double dampingFactor,
double precision)
Inverted PageRank
|
Modifier and Type | Method and Description |
---|---|
static java.lang.Double |
AnalysisTest.hitsRankInverted(Graph<? extends Node> g,
Node n,
double precision,
boolean getAuth) |
static java.lang.Double |
AnalysisTest.pageRankInverted(Graph<? extends Node> g,
Node n,
double dampingFactor,
double precision)
Inverted PageRank
|
Modifier and Type | Class and Description |
---|---|
class |
ArgumentStructure
This class models an argument structure, i.e.
|
class |
BasicArgument
This class models a basic argument in structured argumentation frameworks, i.e.
|
Modifier and Type | Class and Description |
---|---|
class |
DefaultGraph<T extends Node>
Instance of this class represent graphs with
nodes of type T
|
class |
DirectedEdge<T extends Node>
Instances of this class represent directed edges.
|
class |
Edge<T extends Node>
Instances of this class represent abstract edges.
|
interface |
Graph<T extends Node>
Common interface for graphs with
nodes of type T
|
class |
UndirectedEdge<T extends Node>
Instances of this class represent undirected edges.
|
class |
WeightedDirectedEdge<S extends Node,T extends java.lang.Number> |
interface |
WeightedEdge<S extends Node,T extends java.lang.Number>
Interface for weighted edges.
|
Modifier and Type | Class and Description |
---|---|
class |
SimpleNode
A simple node of a graph with a name.
|
Modifier and Type | Field and Description |
---|---|
private T |
Edge.nodeA
The first node of this edge.
|
private T |
Edge.nodeB
The second node of this edge.
|
Modifier and Type | Method and Description |
---|---|
static <S extends Node> |
DefaultGraph.existsDirectedPath(Graph<S> g,
S node1,
S node2)
Checks whether there is a (directed) path from node1 to node2 in the given graph.
|
static <S extends Node> |
DefaultGraph.getStronglyConnectedComponents(Graph<S> g)
Returns the strongly connected components of the given graph.
|
private static <S extends Node> |
DefaultGraph.getStronglyConnectedComponentsRec(int idx,
S v,
java.util.Stack<S> stack,
java.util.Collection<java.util.Collection<S>> sccs,
Graph<S> g,
java.util.Map<S,java.lang.Integer> index,
java.util.Map<S,java.lang.Integer> lowlink)
Main method for computing the strongly connected components using
Tarjan's algorithm.
|
static <S extends Node> |
DefaultGraph.getSubgraphs(Graph<S> g)
Returns the set of sub graphs of the given graph.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<T> |
Graph.getChildren(Node node)
Returns the set of children (node connected via an undirected edge or a directed edge
where the given node is the parent) of the given node.
|
java.util.Collection<T> |
DefaultGraph.getChildren(Node node) |
java.util.Collection<T> |
Graph.getParents(Node node)
Returns the set of parents (node connected via an undirected edge or a directed edge
where the given node is the child) of the given node.
|
java.util.Collection<T> |
DefaultGraph.getParents(Node node) |
Modifier and Type | Class and Description |
---|---|
private class |
Order.OrderNode
Represents an object that is ordered.
|
Modifier and Type | Field and Description |
---|---|
private static java.util.Map<Graph<? extends Node>,java.util.Map<java.lang.Double,java.util.Map<Node,java.lang.Double>>> |
GraphUtil.archiveHITSAuthRank
For archiving HITS rank values.
|
private static java.util.Map<Graph<? extends Node>,java.util.Map<java.lang.Double,java.util.Map<Node,java.lang.Double>>> |
GraphUtil.archiveHITSAuthRank
For archiving HITS rank values.
|
private static java.util.Map<Graph<? extends Node>,java.util.Map<java.lang.Double,java.util.Map<Node,java.lang.Double>>> |
GraphUtil.archiveHITSHubRank |
private static java.util.Map<Graph<? extends Node>,java.util.Map<java.lang.Double,java.util.Map<Node,java.lang.Double>>> |
GraphUtil.archiveHITSHubRank |
private static java.util.Map<Graph<? extends Node>,java.util.Map<java.lang.Double,java.util.Map<java.lang.Double,java.util.Map<Node,java.lang.Double>>>> |
GraphUtil.archivePageRank
For archiving page rank values.
|
private static java.util.Map<Graph<? extends Node>,java.util.Map<java.lang.Double,java.util.Map<java.lang.Double,java.util.Map<Node,java.lang.Double>>>> |
GraphUtil.archivePageRank
For archiving page rank values.
|
Modifier and Type | Method and Description |
---|---|
static <T extends Node> |
GraphUtil.globalclusteringcoefficient(Graph<T> g)
Returns the global clustering coefficient of the graph (if it is directed it is interpreted
as an undirected version).
|
static <T extends Node> |
GraphUtil.undirecteddiameter(Graph<T> g)
Returns the (undirected) diameter of the graph, i.e.
|
Modifier and Type | Method and Description |
---|---|
static java.lang.Double |
GraphUtil.hitsRank(Graph<? extends Node> g,
Node n,
double precision,
boolean getAuth)
Computes the HITS rank of the given node in the given graph.
|
static java.lang.Double |
GraphUtil.pageRank(Graph<? extends Node> g,
Node n,
double dampingFactor,
double precision)
Computes the PageRank of the given node in the given graph.
|
Modifier and Type | Method and Description |
---|---|
static ComplexNumber[] |
GraphUtil.eigenvalues(Graph<? extends Node> g)
Computes the (real parts of the) Eigenvalues of the given graph.
|
static java.lang.Double |
GraphUtil.hitsRank(Graph<? extends Node> g,
Node n,
double precision,
boolean getAuth)
Computes the HITS rank of the given node in the given graph.
|
static boolean |
GraphUtil.isIsomorphic(Graph<? extends Node> g1,
Graph<? extends Node> g2)
Checks whether the two graphs are isomorphic.
|
static boolean |
GraphUtil.isIsomorphic(Graph<? extends Node> g1,
Graph<? extends Node> g2)
Checks whether the two graphs are isomorphic.
|
static java.lang.Double |
GraphUtil.pageRank(Graph<? extends Node> g,
Node n,
double dampingFactor,
double precision)
Computes the PageRank of the given node in the given graph.
|