/// <summary>
/// Create an input stream from a filename.
/// </summary>
public In(string path)
{
scanner = new Scanner(path);
}
/// <summary>
/// Create an input stream from a filename.
/// </summary>
public In(string path)
{
scanner = new Scanner(path);
}
/// <summary>
/// Create an input stream from standard input.
/// </summary>
public In()
{
scanner = new Scanner(Console.OpenStandardInput());
}
/// <summary>
/// Create an input stream from standard input.
/// </summary>
public In()
{
scanner = new Scanner(Console.OpenStandardInput());
}