Class RecordingHeader

Namespace

DotFly

Assembly

DotFly.Engine.dll

Header of a .dfs recording.

public sealed record RecordingHeader : IEquatable<RecordingHeader>

Inheritance

object

RecordingHeader

Implements

IEquatable<RecordingHeader>

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Constructors

RecordingHeader(string, string[], ulong, double, string, long, DateTimeOffset)

Header of a .dfs recording.

public RecordingHeader(string Checkpoint, string[] SourceSha256, ulong Seed, double DtMs, string Backend, long StartStep, DateTimeOffset RecordedAt)

Parameters

Checkpoint string

Checkpoint name.

SourceSha256 string[]

SHA-256 of the checkpoint's source files.

Seed ulong

Simulation seed.

DtMs double

Timestep in ms.

Backend string

Backend name.

StartStep long

Step at which recording started.

RecordedAt DateTimeOffset

UTC time.

Properties

Backend

Backend name.

public string Backend { get; init; }

Property Value

string

Checkpoint

Checkpoint name.

public string Checkpoint { get; init; }

Property Value

string

DtMs

Timestep in ms.

public double DtMs { get; init; }

Property Value

double

RecordedAt

UTC time.

public DateTimeOffset RecordedAt { get; init; }

Property Value

DateTimeOffset

Seed

Simulation seed.

public ulong Seed { get; init; }

Property Value

ulong

SourceSha256

SHA-256 of the checkpoint's source files.

public string[] SourceSha256 { get; init; }

Property Value

string[]

StartStep

Step at which recording started.

public long StartStep { get; init; }

Property Value

long