Exemplo n.º 1
0
 internal Software(ExecutionModel executionModel)
 {
     this.executionModel = executionModel;
 }
Exemplo n.º 2
0
 public Tester(ExecutionModel automata) : base(automata)
 {
 }
Exemplo n.º 3
0
 internal Software(Action main)
 {
     this.executionModel = new ExecutionModel(new Program(main));
 }
Exemplo n.º 4
0
 public Participant(ExecutionModel automata)
 {
 }