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));
 }