001// Copyright (c) FIRST and other WPILib contributors.
002// Open Source Software; you can modify and/or share it under the terms of
003// the WPILib BSD license file in the root directory of this project.
004
005// THIS FILE WAS AUTO-GENERATED BY ./wpimath/generate_numbers.py. DO NOT MODIFY
006
007package edu.wpi.first.math.numbers;
008
009import edu.wpi.first.math.Nat;
010import edu.wpi.first.math.Num;
011
012/** A class representing the number 13. */
013public final class N13 extends Num implements Nat<N13> {
014  private N13() {}
015
016  /**
017   * The integer this class represents.
018   *
019   * @return The literal number 13.
020   */
021  @Override
022  public int getNum() {
023    return 13;
024  }
025
026  /** The singleton instance of this class. */
027  public static final N13 instance = new N13();
028}