View Java Class Source Code in JAR file
- Download JD-GUI to open JAR file and explore Java source code file (.class .java)
- Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window bigraph-simulation-1.0.0.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.
org.bigraphs.framework.simulation.encoding
├─ org.bigraphs.framework.simulation.encoding.BigraphCanonicalForm.class - [JAR]
├─ org.bigraphs.framework.simulation.encoding.BigraphCanonicalFormStrategy.class - [JAR]
├─ org.bigraphs.framework.simulation.encoding.BigraphCanonicalFormSupport.class - [JAR]
├─ org.bigraphs.framework.simulation.encoding.PureCanonicalForm.class - [JAR]
it.uniud.mads.jlibbig.core.std
├─ it.uniud.mads.jlibbig.core.std.AgentMatch.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.AgentMatcher.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.AgentRewritingRule.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.Bigraph.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.BigraphBuilder.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.Child.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.Control.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.Edge.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.EditableChild.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.EditableEdge.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.EditableHandle.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.EditableInnerName.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.EditableLinkFacet.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.EditableNamed.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.EditableNode.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.EditableOuterName.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.EditableOwned.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.EditableParent.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.EditablePoint.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.EditableRoot.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.EditableSite.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.Handle.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.InnerName.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.InstantiationMap.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.LinkEntity.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.LinkFacet.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.Match.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.Matcher.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.Node.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.NodeChaser.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.OuterName.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.Parent.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.PlaceEntity.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.Point.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.Port.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.RewritingRule.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.Root.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.Signature.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.SignatureBuilder.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.Site.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.WeightedMatch.class - [JAR]
├─ it.uniud.mads.jlibbig.core.std.WeightedMatcher.class - [JAR]
org.bigraphs.framework.simulation.encoding.hash
├─ org.bigraphs.framework.simulation.encoding.hash.BigraphHashFunction.class - [JAR]
├─ org.bigraphs.framework.simulation.encoding.hash.PureBigraphHash.class - [JAR]
it.uniud.mads.jlibbig.core.imports.buildgraph
├─ it.uniud.mads.jlibbig.core.imports.buildgraph.DirectedBuildGraph.class - [JAR]
it.uniud.mads.jlibbig.core.ldb
├─ it.uniud.mads.jlibbig.core.ldb.Child.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.DirectedAgentMatch.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.DirectedBigraph.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.DirectedBigraphBuilder.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.DirectedControl.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.DirectedInstantiationMap.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.DirectedMatch.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.DirectedMatcher.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.DirectedRewritingRule.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.DirectedSignature.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.DirectedSignatureBuilder.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.Edge.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.EditableChild.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.EditableEdge.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.EditableHandle.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.EditableInnerName.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.EditableLinkFacet.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.EditableNamed.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.EditableNode.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.EditableOuterName.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.EditableOwned.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.EditableParent.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.EditablePoint.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.EditableRoot.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.EditableSite.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.Handle.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.InPort.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.InnerName.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.InterfacePair.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.LinkEntity.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.LinkFacet.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.Node.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.OutPort.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.OuterName.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.Parent.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.PlaceEntity.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.Point.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.Root.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ldb.Site.class - [JAR]
org.bigraphs.framework.simulation.modelchecking.predicates
├─ org.bigraphs.framework.simulation.modelchecking.predicates.AndPredicate.class - [JAR]
├─ org.bigraphs.framework.simulation.modelchecking.predicates.BigraphIsoPredicate.class - [JAR]
├─ org.bigraphs.framework.simulation.modelchecking.predicates.OrPredicate.class - [JAR]
├─ org.bigraphs.framework.simulation.modelchecking.predicates.PredicateChecker.class - [JAR]
├─ org.bigraphs.framework.simulation.modelchecking.predicates.SubBigraphMatchPredicate.class - [JAR]
org.bigraphs.framework.simulation.util
├─ org.bigraphs.framework.simulation.util.Combination.class - [JAR]
├─ org.bigraphs.framework.simulation.util.CombinationMaps.class - [JAR]
├─ org.bigraphs.framework.simulation.util.Permutations.class - [JAR]
it.uniud.mads.jlibbig.core.imports.parseinput
├─ it.uniud.mads.jlibbig.core.imports.parseinput.DirectedParseInput.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.parseinput.DirectedParserEdge.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.parseinput.DirectedParserNode.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.parseinput.DirectedParserSignature.class - [JAR]
org.bigraphs.framework.simulation.modelchecking
├─ org.bigraphs.framework.simulation.modelchecking.BigraphModelChecker.class - [JAR]
├─ org.bigraphs.framework.simulation.modelchecking.BreadthFirstSimulationStrategy.class - [JAR]
├─ org.bigraphs.framework.simulation.modelchecking.BreadthFirstStrategy.class - [JAR]
├─ org.bigraphs.framework.simulation.modelchecking.FixedThreadPoolExecutorProvider.class - [JAR]
├─ org.bigraphs.framework.simulation.modelchecking.ModelCheckingOptions.class - [JAR]
├─ org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategy.class - [JAR]
├─ org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport.class - [JAR]
├─ org.bigraphs.framework.simulation.modelchecking.PureBigraphModelChecker.class - [JAR]
├─ org.bigraphs.framework.simulation.modelchecking.RandomAgentModelCheckingStrategy.class - [JAR]
it.uniud.mads.jlibbig.core.imports.records
├─ it.uniud.mads.jlibbig.core.imports.records.BigraphControlRecord.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.records.BigraphLinkRecord.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.records.BigraphListOfObjectRecord.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.records.BigraphObjectRecord.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.records.BigraphPendingLinkRecord.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.records.BigraphPropertyRecord.class - [JAR]
it.uniud.mads.jlibbig.core.exceptions
├─ it.uniud.mads.jlibbig.core.exceptions.IncompatibleInterfaceException.class - [JAR]
├─ it.uniud.mads.jlibbig.core.exceptions.IncompatibleSignatureException.class - [JAR]
├─ it.uniud.mads.jlibbig.core.exceptions.InvalidInstantiationRuleException.class - [JAR]
├─ it.uniud.mads.jlibbig.core.exceptions.NameClashException.class - [JAR]
├─ it.uniud.mads.jlibbig.core.exceptions.UnexpectedOwnerException.class - [JAR]
it.uniud.mads.jlibbig.core.imports.exception
├─ it.uniud.mads.jlibbig.core.imports.exception.ControlAlreadyExists.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.exception.IdAlreadyExists.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.exception.NoExistingControl.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.exception.NoExistingId.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.exception.NoExistingLink.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.exception.NoExistingParent.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.exception.NoExistingProperty.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.exception.NoExistingSon.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.exception.NoImplementedLink.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.exception.NoValidInterface.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.exception.NoValidPlaceRelationship.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.exception.NoValidPolarity.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.exception.NoValidPort.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.exception.NotImplementedType.class - [JAR]
it.uniud.mads.jlibbig.core.imports.ldb.records
├─ it.uniud.mads.jlibbig.core.imports.ldb.records.DirectedBigraphControlRecord.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.ldb.records.DirectedBigraphEdgeRecord.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.ldb.records.DirectedBigraphLinkRecord.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.ldb.records.DirectedBigraphListOfControlRecord.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.ldb.records.DirectedBigraphListOfObjectRecord.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.ldb.records.DirectedBigraphNameRecord.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.ldb.records.DirectedBigraphNodeRecord.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.ldb.records.DirectedBigraphObjectRecord.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.ldb.records.DirectedBigraphPendingLinkRecord.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.ldb.records.DirectedBigraphPropertyRecord.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.ldb.records.DirectedBigraphRootRecord.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.ldb.records.DirectedBigraphSiteRecord.class - [JAR]
org.bigraphs.framework.simulation.modelchecking.reactions
├─ org.bigraphs.framework.simulation.modelchecking.reactions.InOrderReactionRuleSupplier.class - [JAR]
├─ org.bigraphs.framework.simulation.modelchecking.reactions.RandomAgentMatchSupplier.class - [JAR]
├─ org.bigraphs.framework.simulation.modelchecking.reactions.ReactionRuleSupplier.class - [JAR]
it.uniud.mads.jlibbig.core.attachedProperties
├─ it.uniud.mads.jlibbig.core.attachedProperties.DelegatedProperty.class - [JAR]
├─ it.uniud.mads.jlibbig.core.attachedProperties.Property.class - [JAR]
├─ it.uniud.mads.jlibbig.core.attachedProperties.PropertyContainer.class - [JAR]
├─ it.uniud.mads.jlibbig.core.attachedProperties.PropertyListener.class - [JAR]
├─ it.uniud.mads.jlibbig.core.attachedProperties.PropertyTarget.class - [JAR]
├─ it.uniud.mads.jlibbig.core.attachedProperties.ProtectedProperty.class - [JAR]
├─ it.uniud.mads.jlibbig.core.attachedProperties.Replicable.class - [JAR]
├─ it.uniud.mads.jlibbig.core.attachedProperties.Replicating.class - [JAR]
├─ it.uniud.mads.jlibbig.core.attachedProperties.ReplicatingProperty.class - [JAR]
├─ it.uniud.mads.jlibbig.core.attachedProperties.ReplicationListener.class - [JAR]
├─ it.uniud.mads.jlibbig.core.attachedProperties.ReplicationListenerContainer.class - [JAR]
├─ it.uniud.mads.jlibbig.core.attachedProperties.SharedProperty.class - [JAR]
├─ it.uniud.mads.jlibbig.core.attachedProperties.SimpleProperty.class - [JAR]
it.uniud.mads.jlibbig.core.util
├─ it.uniud.mads.jlibbig.core.util.BidMap.class - [JAR]
├─ it.uniud.mads.jlibbig.core.util.CachingProxy.class - [JAR]
├─ it.uniud.mads.jlibbig.core.util.InvMap.class - [JAR]
├─ it.uniud.mads.jlibbig.core.util.NameGenerator.class - [JAR]
├─ it.uniud.mads.jlibbig.core.util.Provider.class - [JAR]
├─ it.uniud.mads.jlibbig.core.util.StopWatch.class - [JAR]
it.uniud.mads.jlibbig.core.exports
├─ it.uniud.mads.jlibbig.core.exports.ExportsDirectedBigraph.class - [JAR]
it.uniud.mads.jlibbig.core.imports.ldb.buildgraph
├─ it.uniud.mads.jlibbig.core.imports.ldb.buildgraph.BuildGraph.class - [JAR]
it.uniud.mads.jlibbig.core.imports
├─ it.uniud.mads.jlibbig.core.imports.ImportDirectedBigraph.class - [JAR]
it.uniud.mads.jlibbig.core.imports.constant
├─ it.uniud.mads.jlibbig.core.imports.constant.Constants.class - [JAR]
org.bigraphs.framework.simulation.matching
├─ org.bigraphs.framework.simulation.matching.AbstractBigraphMatcher.class - [JAR]
├─ org.bigraphs.framework.simulation.matching.AbstractDynamicMatchAdapter.class - [JAR]
├─ org.bigraphs.framework.simulation.matching.BigraphMatchingEngine.class - [JAR]
├─ org.bigraphs.framework.simulation.matching.BigraphMatchingSupport.class - [JAR]
├─ org.bigraphs.framework.simulation.matching.MatchIterable.class - [JAR]
it.uniud.mads.jlibbig.core
├─ it.uniud.mads.jlibbig.core.AbstractDirectedMatch.class - [JAR]
├─ it.uniud.mads.jlibbig.core.AbstractMatch.class - [JAR]
├─ it.uniud.mads.jlibbig.core.AbstractNamed.class - [JAR]
├─ it.uniud.mads.jlibbig.core.Bigraph.class - [JAR]
├─ it.uniud.mads.jlibbig.core.BigraphBuilder.class - [JAR]
├─ it.uniud.mads.jlibbig.core.BigraphHandler.class - [JAR]
├─ it.uniud.mads.jlibbig.core.Child.class - [JAR]
├─ it.uniud.mads.jlibbig.core.Control.class - [JAR]
├─ it.uniud.mads.jlibbig.core.DirectedBigraph.class - [JAR]
├─ it.uniud.mads.jlibbig.core.DirectedBigraphBuilder.class - [JAR]
├─ it.uniud.mads.jlibbig.core.DirectedBigraphHandler.class - [JAR]
├─ it.uniud.mads.jlibbig.core.DirectedInstantiationRule.class - [JAR]
├─ it.uniud.mads.jlibbig.core.DirectedMatch.class - [JAR]
├─ it.uniud.mads.jlibbig.core.DirectedMatcher.class - [JAR]
├─ it.uniud.mads.jlibbig.core.DirectedReactionRule.class - [JAR]
├─ it.uniud.mads.jlibbig.core.DirectedReactiveSystem.class - [JAR]
├─ it.uniud.mads.jlibbig.core.DirectedRewritingRule.class - [JAR]
├─ it.uniud.mads.jlibbig.core.DirectedRewritingSystem.class - [JAR]
├─ it.uniud.mads.jlibbig.core.Edge.class - [JAR]
├─ it.uniud.mads.jlibbig.core.Handle.class - [JAR]
├─ it.uniud.mads.jlibbig.core.InnerName.class - [JAR]
├─ it.uniud.mads.jlibbig.core.InstantiationRule.class - [JAR]
├─ it.uniud.mads.jlibbig.core.Interface.class - [JAR]
├─ it.uniud.mads.jlibbig.core.LinkEntity.class - [JAR]
├─ it.uniud.mads.jlibbig.core.LinkFacet.class - [JAR]
├─ it.uniud.mads.jlibbig.core.Match.class - [JAR]
├─ it.uniud.mads.jlibbig.core.Matcher.class - [JAR]
├─ it.uniud.mads.jlibbig.core.Named.class - [JAR]
├─ it.uniud.mads.jlibbig.core.Node.class - [JAR]
├─ it.uniud.mads.jlibbig.core.OuterName.class - [JAR]
├─ it.uniud.mads.jlibbig.core.Owned.class - [JAR]
├─ it.uniud.mads.jlibbig.core.Owner.class - [JAR]
├─ it.uniud.mads.jlibbig.core.Parent.class - [JAR]
├─ it.uniud.mads.jlibbig.core.PlaceEntity.class - [JAR]
├─ it.uniud.mads.jlibbig.core.Point.class - [JAR]
├─ it.uniud.mads.jlibbig.core.Port.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ReactionRule.class - [JAR]
├─ it.uniud.mads.jlibbig.core.ReactiveSystem.class - [JAR]
├─ it.uniud.mads.jlibbig.core.RewritingRule.class - [JAR]
├─ it.uniud.mads.jlibbig.core.RewritingSystem.class - [JAR]
├─ it.uniud.mads.jlibbig.core.Root.class - [JAR]
├─ it.uniud.mads.jlibbig.core.Signature.class - [JAR]
├─ it.uniud.mads.jlibbig.core.SignatureBuilder.class - [JAR]
├─ it.uniud.mads.jlibbig.core.Site.class - [JAR]
org.bigraphs.framework.simulation.exceptions
├─ org.bigraphs.framework.simulation.exceptions.BigraphSimulationException.class - [JAR]
├─ org.bigraphs.framework.simulation.exceptions.InvalidSimulationStrategy.class - [JAR]
├─ org.bigraphs.framework.simulation.exceptions.ModelCheckerExecutorServiceNotProvided.class - [JAR]
it.uniud.mads.jlibbig.core.imports.ldb.parseinput
├─ it.uniud.mads.jlibbig.core.imports.ldb.parseinput.ParseInput.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.ldb.parseinput.ParserEdge.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.ldb.parseinput.ParserNode.class - [JAR]
├─ it.uniud.mads.jlibbig.core.imports.ldb.parseinput.ParserSignature.class - [JAR]
org.bigraphs.framework.simulation.matching.pure
├─ org.bigraphs.framework.simulation.matching.pure.IHSFilter.class - [JAR]
├─ org.bigraphs.framework.simulation.matching.pure.PureBigraphAgentAdapter.class - [JAR]
├─ org.bigraphs.framework.simulation.matching.pure.PureBigraphMatcher.class - [JAR]
├─ org.bigraphs.framework.simulation.matching.pure.PureBigraphMatchingEngine.class - [JAR]
├─ org.bigraphs.framework.simulation.matching.pure.PureBigraphParametricMatch.class - [JAR]
├─ org.bigraphs.framework.simulation.matching.pure.PureBigraphRedexAdapter.class - [JAR]
├─ org.bigraphs.framework.simulation.matching.pure.PureMatchIteratorImpl.class - [JAR]
├─ org.bigraphs.framework.simulation.matching.pure.PureReactiveSystem.class - [JAR]
├─ org.bigraphs.framework.simulation.matching.pure.SubHypergraphIsoSearch.class - [JAR]