public static TdfTrippleVal Create(string Label, TrippleVal v) { TdfTrippleVal res = new TdfTrippleVal(); res.Set(Label, 9); res.Value = v; return(res); }
public static TrippleVal ReadTrippleVal(Stream s) { TrippleVal res = new TrippleVal(); res.v1 = DecompressInteger(s); res.v2 = DecompressInteger(s); res.v3 = DecompressInteger(s); return(res); }
public static void WriteTrippleValue(TrippleVal v, Stream s) { CompressInteger(v.v1, s); CompressInteger(v.v2, s); CompressInteger(v.v3, s); }