EvalEnv
Namespace: SymTensor
Functions and values
| Function or value | Description |
create varEnv
Signature: varEnv:VarEnvT -> EvalEnvT
|
Create an EvalEnvT using the specified VarEnvT and infers the size symbol values from the given expressions. |
empty
Signature: EvalEnvT
|
empty EvalEnvT |
enhance varEnv evalEnv
Signature: varEnv:VarEnvT -> evalEnv:EvalEnvT -> EvalEnvT
|
Enhances an existing EvalEnvT using the specified VarEnvT and infers the size symbol values from the given expressions. |
get var evalEnv
Signature: var:ExprT -> evalEnv:EvalEnvT -> '?177192
Type parameters: '?177192 |
get variable value from environment |
getVarSpecT vs evalEnv
Signature: vs:VarSpecT -> evalEnv:EvalEnvT -> '?177190
Type parameters: '?177190 |
get variable value from environment |
