public Counter GetNewCounter(LogData logData) { return(new WildCardCounter(logData)); }
public Counter GetNewCounter(LogData logData) { return(new LemmaCallCounter(logData)); }
public Counter GetNewCounter(LogData logData) { return(new CalcStatementCounter(logData)); }
public Counter GetNewCounter(LogData logData) { return(new InvariantCounter(logData)); }
public Counter GetNewCounter(LogData logData) { return(new DecreasesCounter(logData)); }
public WildCardCounter(LogData logData) : base(logData) { }
public Counter GetNewCounter(LogData logData) { return(new AssertCounter(logData)); }
public LemmaCallCounter(LogData logData) : base(logData) { }
public CalcStatementCounter(LogData logData) : base(logData) { }
public DecreasesCounter(LogData logData) : base(logData) { }
public InvariantCounter(LogData logData) : base(logData) { }
public AssertCounter(LogData logData) : base(logData) { }
protected SimpCounter(LogData logData) : base(logData) { }
protected Counter(LogData logData) { LogData = logData; }