Exemplos de MDPConfiguration.GetIDWithEvent em C# (CSharp)

Exemplo n.º 1

Arquivo: AssertionLTL-MEC.cs Projeto: vu111293/pat-design

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

Exemplo n.º 2

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