Deep.Net


VarEnv

Namespace: SymTensor

Variable value collection.

Functions and values

Function or valueDescription
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

Fork me on GitHub