Method tset_table1_cnt

src/main/java/server/Server_MJXTp.java:40–43

Get the number of the first table's TSet entries @param stag1 the first table's stag @return the number of the matching TSet entries

(BigInteger stag1)

     * @return the number of the matching TSet entries
     */
    public int tset_table1_cnt(BigInteger stag1) {
        this.stag1 = stag1;
        return tset.get(stag1).size();
    }

    /**
     * the server operations of the search algorithm for MJXT+