C# (CSharp) MDPConfiguration.GetIDWithEvent示例

示例#1

文件： AssertionLTL-MEC.cs 项目： vu111293/pat-design

 public string GetCompressedState()
 {
     return(configuration.GetIDWithEvent() + Constants.SEPARATOR + state);
 }

示例#2

 public string GetID()
 {
     return(Config.GetIDWithEvent() + Constants.SEPARATOR + Common.Classes.Ultility.Ultility.PPStringList(BAStates));
 }