Uses of Package
org.bigraphs.framework.simulation.encoding

Packages that use org.bigraphs.framework.simulation.encoding

Package	Description
org.bigraphs.framework.simulation.encoding
org.bigraphs.framework.simulation.modelchecking

Classes in org.bigraphs.framework.simulation.encoding used by org.bigraphs.framework.simulation.encoding

Class	Description
BigraphCanonicalForm	This helper class creates a unique (canonical) label for a place graph of a bigraph such that two isomorphic place graphs have the same label.
BigraphCanonicalFormStrategy
BigraphCanonicalFormSupport

Classes in org.bigraphs.framework.simulation.encoding used by org.bigraphs.framework.simulation.modelchecking

Class	Description
BigraphCanonicalForm	This helper class creates a unique (canonical) label for a place graph of a bigraph such that two isomorphic place graphs have the same label.