VarEnv
Namespace: SymTensor
Variable value collection.
Functions and values
| Function or value | Description |
add var value varEnv
Signature: var:ExprT -> value:'a -> varEnv:VarEnvT -> VarEnvT
Type parameters: 'a |
add variable value to environment |
addVarSpec vs value varEnv
Signature: vs:VarSpecT -> value:'a -> varEnv:VarEnvT -> VarEnvT
Type parameters: 'a |
add variable value to environment |
check varEnv
Signature: varEnv:VarEnvT -> unit
|
checks that the values are valid in type and shape for the variables |
empty
Signature: VarEnvT
|
empty variable environment |
get var varEnv
Signature: var:ExprT -> varEnv:VarEnvT -> '?177149
Type parameters: '?177149 |
get variable value from environment |
getVarSpec vs varEnv
Signature: vs:VarSpecT -> varEnv:VarEnvT -> 'a
Type parameters: 'a |
get variable value from environment |
inferSymSizes symSizeEnv varEnv
Signature: symSizeEnv:SymSizeEnvT -> varEnv:VarEnvT -> SymSizeEnvT
|
infers symbol sizes from the variable environment |
join a b
Signature: a:VarEnvT -> b:VarEnvT -> Map<VarSpecT,ITensor>
|
joins two variable environments |
ofSeq entries
Signature: entries:seq<ExprT * '?177159> -> VarEnvT
Type parameters: '?177159 |
Constructs a VarEnvT from a sequence of variable, value tuples. |
remove var varEnv
Signature: var:ExprT -> varEnv:VarEnvT -> VarEnvT
|
remove variable value from environment |
removeVarSpec vs varEnv
Signature: vs:VarSpecT -> varEnv:VarEnvT -> VarEnvT
|
remove variable value from environment |
substSymSizes symSizes varEnv
Signature: symSizes:Map<SizeSymbolT,SizeSpecT> -> varEnv:VarEnvT -> VarEnvT
|
substitues the given symbol sizes into the variable environment |
valueLocations varEnv
Signature: varEnv:VarEnvT -> VarLocsT
|
gets the locations of the variable value arrays |
valueStrides varEnv
Signature: varEnv:VarEnvT -> VarStridesT
|
gets the strides of the variable value arrays |
valueTypeNames varEnv
Signature: varEnv:VarEnvT -> Map<VarSpecT,TypeNameT>
|
gets the type names of the variable value arrays |
