public static void Encode(XdrDataOutputStream stream, LedgerHeader encodedLedgerHeader)
{
Uint32.Encode(stream, encodedLedgerHeader.LedgerVersion);
Hash.Encode(stream, encodedLedgerHeader.PreviousLedgerHash);
StellarValue.Encode(stream, encodedLedgerHeader.ScpValue);
Hash.Encode(stream, encodedLedgerHeader.TxSetResultHash);
Hash.Encode(stream, encodedLedgerHeader.BucketListHash);
Uint32.Encode(stream, encodedLedgerHeader.LedgerSeq);
Int64.Encode(stream, encodedLedgerHeader.TotalCoins);
Int64.Encode(stream, encodedLedgerHeader.FeePool);
Uint32.Encode(stream, encodedLedgerHeader.InflationSeq);
Uint64.Encode(stream, encodedLedgerHeader.IdPool);
Uint32.Encode(stream, encodedLedgerHeader.BaseFee);
Uint32.Encode(stream, encodedLedgerHeader.BaseReserve);
Uint32.Encode(stream, encodedLedgerHeader.MaxTxSetSize);
var skipListsize = encodedLedgerHeader.SkipList.Length;
for (var i = 0; i < skipListsize; i++)
{
Hash.Encode(stream, encodedLedgerHeader.SkipList[i]);
}
LedgerHeaderExt.Encode(stream, encodedLedgerHeader.Ext);
}
