Method getInts

Java/SMLJava/src/main/java/edu/umich/soar/config/Config.java:102–105

(String key)

    // //////////////////////////
    // int
    public int[] getInts(String key)
    {
        return getInts(key, null);
    }

    public int[] getInts(String key, int defaults[])
    {