lib/machine/src/fabric/root.zig

daab053ee43316e1809a84551d573ddd1e5bf3d2

 1 const owner = @import("owner.zig");
 2 const profile = @import("../profile/root.zig");
 3 const types = @import("types.zig");
 4 
 5 pub const snapshot = @import("snapshot/root.zig");
 6 pub const transition = @import("transition/root.zig");
 7 
 8 pub const Admitted = types.Admitted;
 9 pub const AdmissionEffect = types.AdmissionEffect;
10 pub const AdmissionEntry = types.AdmissionEntry;
11 pub const AdmissionFault = types.AdmissionFault;
12 pub const CapacityFault = types.CapacityFault;
13 pub const CapacityResource = types.CapacityResource;
14 pub const Cut = types.Cut;
15 pub const Dialect = types.Dialect;
16 pub const Entry = types.Entry;
17 pub const EntryValue = types.EntryValue;
18 pub const Error = owner.Error;
19 pub const Fabric = owner.Fabric;
20 pub const FaultAlternatives = types.FaultAlternatives;
21 pub const FaultEffect = types.FaultEffect;
22 pub const FaultEntry = types.FaultEntry;
23 pub const FaultInput = types.FaultInput;
24 pub const Faulted = types.Faulted;
25 pub const Input = types.Input;
26 pub const MachineBoundary = types.MachineBoundary;
27 pub const MachineBoundaryKind = types.MachineBoundaryKind;
28 pub const Node = types.Node;
29 pub const NodeBoundary = types.NodeBoundary;
30 pub const NodeId = types.NodeId;
31 pub const Packet = types.Packet;
32 pub const PacketDelay = types.PacketDelay;
33 pub const PacketInput = types.PacketInput;
34 pub const PacketReorder = types.PacketReorder;
35 pub const Partition = types.Partition;
36 pub const ProcessCrash = types.ProcessCrash;
37 pub const Root = types.Root;
38 pub const ServiceResult = types.ServiceResult;
39 pub const Settled = types.Settled;
40 pub const SettlementEntry = types.SettlementEntry;
41 pub const Transition = types.Transition;
42 pub const admission_limit = types.admission_limit;
43 pub const node_limit = types.node_limit;
44 pub const packet_bytes_max = types.packet_bytes_max;
45 pub const packet_limit = types.packet_limit;
46 
47 pub const determinism_sources = [_]profile.DeterminismSource{
48     .terminal_input,
49     .virtual_time,
50     .entropy_input,
51     .packet_payload,
52     .packet_delivery,
53     .packet_fault,
54     .host_service_result,
55     .effect_result,
56     .fault_choice,
57     .capacity_fault,
58     .machine_crash,
59     .process_crash,
60 };