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