/**
  * Copyright (c): Uwe Schmidt, FH Wedel
  *
  * You may study, modify and distribute this source code
  * FOR NON-COMMERCIAL PURPOSES ONLY.
  * This copyright message has to remain unchanged.
  *
  * Note that this document is provided 'as is',
  * WITHOUT WARRANTY of any kind either expressed or implied.
  */

package ds.util;

import ds.util.P;
import ds.util.V;

public final
    class PV {
    public final P fst;
    public final V snd;

    private PV(P p, V v) {
	fst = p;
	snd = v;
    }

    public String toString() {
	return
	    "("  + fst.toString() +
	    ", " + snd.toString() +
	    ")";
    }

    // smart constructor
    public static PV mkPair(P p, V v) {
	return
	    new PV(p, v);
    }
}