Uses of Package
org.bigraphs.framework.simulation.encoding
Packages that use org.bigraphs.framework.simulation.encoding
Package
Description
-
Classes in org.bigraphs.framework.simulation.encoding used by org.bigraphs.framework.simulation.encodingClassDescriptionThis helper class creates a unique (canonical) label for a place graph of a bigraph such that two isomorphic place graphs have the same label.
-
Classes in org.bigraphs.framework.simulation.encoding used by org.bigraphs.framework.simulation.modelcheckingClassDescriptionThis helper class creates a unique (canonical) label for a place graph of a bigraph such that two isomorphic place graphs have the same label.