Ejemplo n.º 1
0
 public Counter GetNewCounter(LogData logData)
 {
     return(new WildCardCounter(logData));
 }
Ejemplo n.º 2
0
 public Counter GetNewCounter(LogData logData)
 {
     return(new LemmaCallCounter(logData));
 }
Ejemplo n.º 3
0
 public Counter GetNewCounter(LogData logData)
 {
     return(new CalcStatementCounter(logData));
 }
Ejemplo n.º 4
0
 public Counter GetNewCounter(LogData logData)
 {
     return(new InvariantCounter(logData));
 }
Ejemplo n.º 5
0
 public Counter GetNewCounter(LogData logData)
 {
     return(new DecreasesCounter(logData));
 }
Ejemplo n.º 6
0
 public WildCardCounter(LogData logData) : base(logData)
 {
 }
Ejemplo n.º 7
0
 public Counter GetNewCounter(LogData logData)
 {
     return(new AssertCounter(logData));
 }
Ejemplo n.º 8
0
 public LemmaCallCounter(LogData logData) : base(logData)
 {
 }
Ejemplo n.º 9
0
 public CalcStatementCounter(LogData logData) : base(logData)
 {
 }
Ejemplo n.º 10
0
 public DecreasesCounter(LogData logData) : base(logData)
 {
 }
Ejemplo n.º 11
0
 public InvariantCounter(LogData logData) : base(logData)
 {
 }
Ejemplo n.º 12
0
 public AssertCounter(LogData logData) : base(logData)
 {
 }
Ejemplo n.º 13
0
 protected SimpCounter(LogData logData) : base(logData)
 {
 }
Ejemplo n.º 14
0
 protected Counter(LogData logData)
 {
     LogData = logData;
 }