Example #1
0
 public TimpexPrinter(PredicateCore pexPredicate, PexPrinter pexPrinter, TimAndPexPrinter timAndPexPrinter, PredicateCore timPredicate, TimPrinter timPrinter)
 {
     _pexPredicate = pexPredicate;
     _pexPrinter = pexPrinter;
     _timAndPexPrinter = timAndPexPrinter;
     _timPredicate = timPredicate;
     _timPrinter = timPrinter;
 }
Example #2
0
 public TimpexPrinter(PredicateCore pexPredicate, PexPrinter pexPrinter, TimAndPexPrinter timAndPexPrinter, PredicateCore timPredicate, TimPrinter timPrinter)
 {
     _pexPredicate     = pexPredicate;
     _pexPrinter       = pexPrinter;
     _timAndPexPrinter = timAndPexPrinter;
     _timPredicate     = timPredicate;
     _timPrinter       = timPrinter;
 }