Esempio n. 1
0
 public Interpreter(Program tacnyProgram) {
   Contract.Requires(tacnyProgram != null);
   _tacnyProgram = tacnyProgram;
   _solutionList = new SolutionList();
 }
Esempio n. 2
0
 public Interpreter(Program tacnyProgram)
 {
     Contract.Requires(tacnyProgram != null);
     _tacnyProgram = tacnyProgram;
     _solutionList = new SolutionList();
 }