Select Git revision
AutomataEq.java
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
PartitionOptions.cs 870 B
using CommandLine;
namespace CLIOptions;
/// <summary>
/// CLI options for the `partition` command.
/// </summary>
[Verb("partition", HelpText = "Partitions MatrixMarket String")]
public class PartitionOptions
{
[Option("input", Required = true, HelpText = "Path to the file containing the MatrixMarket string to read.")]
public String Input { get; set; }
[Option("output", Required = true, HelpText = "Path to the file the output should be written to.")]
public String Output { get; set; }
[Option("format", Required = true, HelpText = "Format to output as after partitioning. Can be 'dot', 'seed', or 'compressed'.")]
public String Format { get; set; }
[Option("textColor", Default = false, HelpText = "Set to true to additionally output the color information as a text label. Default: false")]
public bool TextColor { get; set; }
}