VarRecord<'RVal, 'RExpr>
Namespace: SymTensor
Maps a value record (containing scalars or ArrayNDTs) to a expression record (containing ExprTs).
Constructors
| Constructor | Description |
new(rExpr, dev)
Signature: (rExpr:'RExpr * dev:IDevice) -> VarRecord<'RVal,'RExpr>
|
CompiledName: |
Instance members
| Instance member | Description |
Dev
Signature: IDevice
|
the storage device CompiledName: |
Expr
Signature: 'RExpr
|
the expression record CompiledName: |
LoadValue(hdf prefix)
Signature: hdf:'?176749 -> prefix:string -> 'RVal
|
Load the record value from a HDF5 file using the specifed prefix |
PublishLocAndStride(model)
Signature: model:ModelInstance<'T> -> unit
|
publishes the locations and strides of the used variables to the given ModelInstance |
SaveValue(hdf prefix value)
Signature: hdf:'?176745 -> prefix:string -> value:'RVal -> unit
|
Saves the record values as a HDF5 file. |
Use(f)
Signature: (f:(VarEnvT -> 'R)) -> VarEnvT -> 'RVal -> 'R
|
extends the given function to accept a value record |
VarEnv(value)
Signature: value:'RVal -> VarEnvT
|
the VarEnv containing the values in the passed value record |
