Method push

src/main/java/de/bwaldvogel/liblinear/Heap.java:32–45

(Feature node)

    }

    void push(Feature node) {
        a[size] = node;
        size++;
        int i = size - 1;
        while (i > 0) {
            int p = (i - 1) / 2;
            if (cmp(a[p], a[i])) {
                Linear.swap(a, i, p);
                i = p;
            } else {
                break;
            }
        }
    }

    void pop() {
        size--;