public static NumberCommand Swap(NumberCommand command) //15
{
return(command.Swap());
}
public static NumberCommand StrongDivision(NumberCommand command) //13
{
return(command.StrongDivision());
}
public static NumberCommand Mod(NumberCommand command) //14
{
return(command.Mod());
}
public static NumberCommand CycleShiftR(NumberCommand command) //23
{
return(command.CycleShiftR());
}
public static NumberCommand NotFirst(NumberCommand command) //1
{
return(command.NotFirst());
}
public static NumberCommand FindMaxDivider(NumberCommand command) //19
{
return(command.FindMaxDivider());
}
public static NumberCommand ShiftR(NumberCommand command) //21
{
return(command.ShiftR());
}
public static NumberCommand Equivalence(NumberCommand command) //7
{
return(command.Equivalence());
}
public static NumberCommand Pierce(NumberCommand command) //8
{
return(command.Pierce());
}
public static NumberCommand Impication(NumberCommand command) //5
{
return(command.Impication());
}
public static NumberCommand CoImpication(NumberCommand command) //6
{
return(command.CoImpication());
}
public static NumberCommand Xor(NumberCommand command) //4
{
return(command.Xor());
}
public static NumberCommand And(NumberCommand command) //3
{
return(command.And());
}
public static NumberCommand Or(NumberCommand command) //2
{
return(command.Or());
}
public static NumberCommand Insert(NumberCommand command) //16
{
return(command.Insert());
}
public static NumberCommand Scheffer(NumberCommand command) //9
{
return(command.Scheffer());
}
public static string Convert(NumberCommand command) //17
{
return(command.Convert());
}
public static NumberCommand Addition(NumberCommand command) //10
{
return(command.Addition());
}
public static NumberCommand ShiftL(NumberCommand command) //20
{
return(command.ShiftL());
}
public static NumberCommand Subtraction(NumberCommand command) //11
{
return(command.Subtraction());
}
public static NumberCommand CycleShiftL(NumberCommand command) //22
{
return(command.CycleShiftL());
}
public static NumberCommand Multiplication(NumberCommand command) //12
{
return(command.Multiplication());
}
public static NumberCommand Copy(NumberCommand command) //24
{
return(command.Copy());
}
public static string GetOperandsList(NumberCommand command) //0
{
return(command.GetOperandsList());
}