예제 #1
0
 public static Offset <FState> CreateFState(FlatBufferBuilder builder,
                                            StringOffset environment_nameOffset = default(StringOffset),
                                            int frame_number = 0,
                                            VectorOffset observablesOffset = default(VectorOffset),
                                            Offset <FUnobservables> unobservablesOffset = default(Offset <FUnobservables>),
                                            float signal    = 0.0f,
                                            bool terminated = false,
                                            StringOffset termination_reasonOffset = default(StringOffset),
                                            Offset <FEnvironmentDescription> environment_descriptionOffset = default(Offset <FEnvironmentDescription>),
                                            Offset <FReaction> last_reactionOffset      = default(Offset <FReaction>),
                                            StringOffset extra_serialised_messageOffset = default(StringOffset))
 {
     builder.StartObject(10);
     FState.AddExtraSerialisedMessage(builder, extra_serialised_messageOffset);
     FState.AddLastReaction(builder, last_reactionOffset);
     FState.AddEnvironmentDescription(builder, environment_descriptionOffset);
     FState.AddTerminationReason(builder, termination_reasonOffset);
     FState.AddSignal(builder, signal);
     FState.AddUnobservables(builder, unobservablesOffset);
     FState.AddObservables(builder, observablesOffset);
     FState.AddFrameNumber(builder, frame_number);
     FState.AddEnvironmentName(builder, environment_nameOffset);
     FState.AddTerminated(builder, terminated);
     return(FState.EndFState(builder));
 }
예제 #2
0
 public FState?StatesByKey(string key)
 {
     int o = this.__p.__offset(4); return(o != 0 ? FState.__lookup_by_key(this.__p.__vector(o), key, this.__p.bb) : null);
 }
예제 #3
0
 public static FState GetRootAsFState(ByteBuffer _bb, FState obj)
 {
     return(obj.__assign(_bb.GetInt(_bb.Position) + _bb.Position, _bb));
 }