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