Index

B C D E G M O P R S T V W
All Classes and Interfaces|All Packages

B

BigraphGraphicsExporter<T> - Interface in org.bigraphs.framework.visualization

Minimal common interface for all graphics exporters

BigraphGraphvizExporter - Class in org.bigraphs.framework.visualization

This class visualizes a bigraph by means of GraphViz.

BigraphRankedGraphExporter - Class in org.bigraphs.framework.visualization

Exports a bigraph, encoded as a ranked graph, to a diagram.

BigraphRankedGraphExporter() - Constructor for class org.bigraphs.framework.visualization.BigraphRankedGraphExporter

C

convert(Bigraph<S>, File, Format, boolean) - Method in class org.bigraphs.framework.visualization.BigraphGraphvizExporter

Converts a bigraph into DOT format ready to be visualized.

D

DefaultColorSupplier<V> - Class in org.bigraphs.framework.visualization

A supplier for the color of a node or edge in a graph.

DefaultColorSupplier() - Constructor for class org.bigraphs.framework.visualization.DefaultColorSupplier

DefaultColorSupplier(BigraphEntity) - Constructor for class org.bigraphs.framework.visualization.DefaultColorSupplier

defaultEdgeStylesheet() - Static method in class org.bigraphs.framework.visualization.StyleConstants

DefaultLabelSupplier - Class in org.bigraphs.framework.visualization

A generic supplier for String labels.

defaultNodeStylesheet() - Static method in class org.bigraphs.framework.visualization.StyleConstants

DefaultShapeSupplier<V> - Class in org.bigraphs.framework.visualization

A supplier for the shape of a node.

DefaultShapeSupplier() - Constructor for class org.bigraphs.framework.visualization.DefaultShapeSupplier

DefaultShapeSupplier(BigraphEntity) - Constructor for class org.bigraphs.framework.visualization.DefaultShapeSupplier

delimiterForLabel - Variable in class org.bigraphs.framework.visualization.GraphicalFeatureSupplier

E

edgeAdded(GraphEdgeChangeEvent<ReactionGraph.LabeledNode, ReactionGraph.LabeledEdge>) - Method in class org.bigraphs.framework.visualization.mxReactionGraph

edgeRemoved(GraphEdgeChangeEvent<ReactionGraph.LabeledNode, ReactionGraph.LabeledEdge>) - Method in class org.bigraphs.framework.visualization.mxReactionGraph

G

get() - Method in class org.bigraphs.framework.visualization.DefaultLabelSupplier

get() - Method in class org.bigraphs.framework.visualization.GraphicalFeatureSupplier

get() - Method in class org.bigraphs.framework.visualization.supplier.GraphvizColorSupplier

get() - Method in class org.bigraphs.framework.visualization.supplier.GraphvizShapeSupplier

getCellToEdgeMap() - Method in class org.bigraphs.framework.visualization.mxReactionGraph

Returns Hashmap which maps the visualization mxICells onto their edges.

getCellToVertexMap() - Method in class org.bigraphs.framework.visualization.mxReactionGraph

Returns Hashmap which maps the visualization mxICells onto their vertices.

getEdgeToCellMap() - Method in class org.bigraphs.framework.visualization.mxReactionGraph

Returns Hashmap which maps the edges onto their visualization mxICells.

getNode() - Method in class org.bigraphs.framework.visualization.GraphicalFeatureSupplier

getVertexToCellMap() - Method in class org.bigraphs.framework.visualization.mxReactionGraph

Returns Hashmap which maps the vertices onto their visualization mxICells.

GraphicalFeatureSupplier<V> - Class in org.bigraphs.framework.visualization

Base abstract supplier class for all graphical attributes of a Graphviz graph.

GraphicalFeatureSupplier(BigraphEntity) - Constructor for class org.bigraphs.framework.visualization.GraphicalFeatureSupplier

GraphicalFeatureSupplier(BigraphEntity, char) - Constructor for class org.bigraphs.framework.visualization.GraphicalFeatureSupplier

GraphvizColorSupplier - Class in org.bigraphs.framework.visualization.supplier

GraphvizColorSupplier() - Constructor for class org.bigraphs.framework.visualization.supplier.GraphvizColorSupplier

GraphvizShapeSupplier - Class in org.bigraphs.framework.visualization.supplier

GraphvizShapeSupplier() - Constructor for class org.bigraphs.framework.visualization.supplier.GraphvizShapeSupplier

M

mxReactionGraph - Class in org.bigraphs.framework.visualization

Custom implementation of mxGraph to adjust the node and edge styling.

mxReactionGraph(ReactionGraph, ReactiveSystem) - Constructor for class org.bigraphs.framework.visualization.mxReactionGraph

Constructs and draws a new mxGraph from a jGraphT graph.

O

org.bigraphs.framework.visualization - package org.bigraphs.framework.visualization

org.bigraphs.framework.visualization.supplier - package org.bigraphs.framework.visualization.supplier

P

predicateMatchedNodeStylesheet() - Static method in class org.bigraphs.framework.visualization.StyleConstants

R

ReactionGraphExporter<B extends Bigraph<? extends Signature<?>>> - Class in org.bigraphs.framework.visualization

A graphics exporter for reaction graphs.

ReactionGraphExporter(ReactiveSystem<B>) - Constructor for class org.bigraphs.framework.visualization.ReactionGraphExporter

Constructor requires the BRS that is being model checking.

S

StyleConstants - Class in org.bigraphs.framework.visualization

Some styling constants for the reaction graph export.

StyleConstants() - Constructor for class org.bigraphs.framework.visualization.StyleConstants

T

toDOT(Bigraph<?>, boolean) - Static method in class org.bigraphs.framework.visualization.BigraphGraphvizExporter

toPNG(AbstractRankedGraph<?, ?, ?>, File) - Method in class org.bigraphs.framework.visualization.BigraphRankedGraphExporter

toPNG(Bigraph<?>, boolean, File) - Static method in class org.bigraphs.framework.visualization.BigraphGraphvizExporter

toPNG(Bigraph<?>, File) - Method in class org.bigraphs.framework.visualization.BigraphGraphvizExporter

toPNG(ReactionGraph<?>, File) - Method in class org.bigraphs.framework.visualization.ReactionGraphExporter

Exports a reaction graph as a PNG file.

toPNG(T, File) - Method in interface org.bigraphs.framework.visualization.BigraphGraphicsExporter

V

vertexAdded(GraphVertexChangeEvent<ReactionGraph.LabeledNode>) - Method in class org.bigraphs.framework.visualization.mxReactionGraph

vertexRemoved(GraphVertexChangeEvent<ReactionGraph.LabeledNode>) - Method in class org.bigraphs.framework.visualization.mxReactionGraph

W

with(BigraphEntity) - Method in class org.bigraphs.framework.visualization.GraphicalFeatureSupplier

with(BigraphEntity, char) - Method in class org.bigraphs.framework.visualization.GraphicalFeatureSupplier

with(GraphicalFeatureSupplier<?>) - Method in interface org.bigraphs.framework.visualization.BigraphGraphicsExporter

with(GraphicalFeatureSupplier<?>) - Method in class org.bigraphs.framework.visualization.BigraphGraphvizExporter

with(GraphicalFeatureSupplier<?>) - Method in class org.bigraphs.framework.visualization.BigraphRankedGraphExporter

with(GraphicalFeatureSupplier<?>) - Method in class org.bigraphs.framework.visualization.ReactionGraphExporter

B C D E G M O P R S T V W
All Classes and Interfaces|All Packages