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