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;
}
