DemoSignatureProvider (bigraphs.grgen-bigraphs 1.2.0)

java.lang.Object

org.bigraphs.grgen.converter.demo.DemoSignatureProvider

public class DemoSignatureProvider extends Object

Method Summary

Modifier and Type

Method

Description

static DemoSignatureProvider

getInstance()

org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature

petriNet()

org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature

smartHome()

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details
- getInstance
  
  public static DemoSignatureProvider getInstance()
- petriNet
  
  public org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature petriNet()
- smartHome
  
  public org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature smartHome()