pub type InfParMachineObject16 = InfParMachineObject<i16>;Aliased Type§
pub struct InfParMachineObject16 {Show 14 fields
pub in_state: Option<DynIntVar<i16, false>>,
pub in_memval: DynIntVar<i16, false>,
pub in_dpval: DynIntVar<i16, false>,
pub in_dp_move_done: BoolVar<i16>,
pub out_state: Option<DynIntVar<i16, false>>,
pub out_memval: Option<DynIntVar<i16, false>>,
pub out_dpval: Option<DynIntVar<i16, false>>,
pub memr: Option<BoolVar<i16>>,
pub memw: Option<BoolVar<i16>>,
pub dpr: Option<BoolVar<i16>>,
pub dpw: Option<BoolVar<i16>>,
pub dpmove: Option<IntVar<i16, UInt<UInt<UTerm, B1>, B0>, false>>,
pub dkind: Option<IntVar<i16, UInt<UInt<UTerm, B1>, B0>, false>>,
pub stop: Option<BoolVar<i16>>,
/* private fields */
}Fields§
§in_state: Option<DynIntVar<i16, false>>Input internal state.
in_memval: DynIntVar<i16, false>Input read main memory cell value.
in_dpval: DynIntVar<i16, false>Input read data part value.
in_dp_move_done: BoolVar<i16>Input data movement (true if move done).
out_state: Option<DynIntVar<i16, false>>Output internal state.
out_memval: Option<DynIntVar<i16, false>>Output main memory cell value to write to memory.
out_dpval: Option<DynIntVar<i16, false>>Output data part to write into internal data (memory address or temp buffer).
memr: Option<BoolVar<i16>>Output memory read bit. If true then machine reads memory.
memw: Option<BoolVar<i16>>Output memory write bit. If true then machine writes into memory.
dpr: Option<BoolVar<i16>>Output data part read bit. If true then machine reads internal data.
dpw: Option<BoolVar<i16>>Output data part write bit. If true then machine writes internal data.
dpmove: Option<IntVar<i16, UInt<UInt<UTerm, B1>, B0>, false>>Output data part move. Set move of position for internal data.
dkind: Option<IntVar<i16, UInt<UInt<UTerm, B1>, B0>, false>>Output data kind. Specifies internal data kind that operates machine.
stop: Option<BoolVar<i16>>Output stop machine indicator. If true then machine stops.