All Packages

Package Summary

Package	Description
GCF.DefaultImpl2
GCF.DefaultImpl3
GCF.original
org.bigraph.model
org.bigraphs.framework.converter
org.bigraphs.framework.converter.bigmc
org.bigraphs.framework.converter.bigrapher
org.bigraphs.framework.converter.bigred
org.bigraphs.framework.converter.ecore
org.bigraphs.framework.converter.gcf.DefaultImpl1
org.bigraphs.framework.converter.graphml
org.bigraphs.framework.converter.jlibbig
org.bigraphs.framework.converter.rankedgraph
org.bigraphs.framework.converter.vcg
org.bigraphs.framework.core
org.bigraphs.framework.core.alg.generators
org.bigraphs.framework.core.analysis
org.bigraphs.framework.core.datatypes
org.bigraphs.framework.core.exceptions
org.bigraphs.framework.core.exceptions.builder
org.bigraphs.framework.core.exceptions.operations
org.bigraphs.framework.core.factory
org.bigraphs.framework.core.impl
org.bigraphs.framework.core.impl.elementary
org.bigraphs.framework.core.impl.pure
org.bigraphs.framework.core.impl.signature
org.bigraphs.framework.core.providers
org.bigraphs.framework.core.reactivesystem
org.bigraphs.framework.core.reactivesystem.analysis
org.bigraphs.framework.core.utils
org.bigraphs.framework.core.utils.auxiliary
org.bigraphs.framework.core.utils.emf
org.bigraphs.framework.core.validation
org.bigraphs.framework.simulation.encoding
org.bigraphs.framework.simulation.encoding.hash
org.bigraphs.framework.simulation.equivalence
org.bigraphs.framework.simulation.equivalence.adapter	This package contains adapters for external Java libraries related to analysis, transition systems, etc.
org.bigraphs.framework.simulation.exceptions
org.bigraphs.framework.simulation.matching
org.bigraphs.framework.simulation.matching.pure
org.bigraphs.framework.simulation.modelchecking
org.bigraphs.framework.simulation.modelchecking.predicates
org.bigraphs.framework.simulation.modelchecking.reactions
org.bigraphs.framework.visualization
org.bigraphs.framework.visualization.auxiliary
org.bigraphs.framework.visualization.supplier