Package org.woped.qualanalysis.sidebar.expert.components

Examples of org.woped.qualanalysis.sidebar.expert.components.NetInfo

443
444
445
446
447
448
449
  /**
   *
   * @return node containing information about boundedness of the petri net
   */
  protected static DefaultMutableTreeNode getBoundednessInfo() {
    return new NetInfo(Messages.getString(prefix + "BoundednessAnalysis"));
  }
View Full Code Here
470
471
472
473
474
475
476
  /**
   *
   * @return node containing information about liveness of the petri net
   */
  protected static DefaultMutableTreeNode getLivenessInfo() {
    return new NetInfo(Messages.getString(prefix + "LivenessAnalysis"));
  }
View Full Code Here
TOP

Related Classes of org.woped.qualanalysis.sidebar.expert.components.NetInfo

  • org.woped.editor.controller.vc.GraphTreeModel
  • org.woped.qualanalysis.sidebar.expert.ExpertFactory
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.