Method tset_table1_cnt

src/main/java/server/Server_JXT.java:37–40

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();
    }

    /**
     * Get the number of the second table's TSet entries