/// <summary>
/// Note: input program's type definitions wiill be pre-processed to
/// cater for AC term semantics.
/// </summary>
public InterpreterTypeChecker(TrsProgramBlock programIn)
{
TypeCheckerPreprocessor preprocessor = new TypeCheckerPreprocessor();
preprocessor.RewriteTerms(programIn);
InitializeLookupTables(programIn);
}
/// <summary>
/// Note: input program's type definitions wiill be pre-processed to
/// cater for AC term semantics.
/// </summary>
public InterpreterTypeChecker(TrsProgramBlock programIn)
{
TypeCheckerPreprocessor preprocessor = new TypeCheckerPreprocessor();
preprocessor.RewriteTerms(programIn);
InitializeLookupTables(programIn);
}