Name | Expression | Description |
element type | F::element_type |
type of the underlying element,
model of Grid Element synonym for F::argument_type (from Adaptable Unary Function) |
value type | F::value_type |
synomym for F::result_type
(from Adaptable Unary Function) |
Name | Expression | Type requirements | return type |
function evaluation | t = f(e); | value_type | |
Name | Expression | Precondition | Semantics | Postcondition |
evaluation | t = f(e) | e is in the domain of f | evaluate f at the argument e | t is equal to f(e)X |
Argument identity | if e1 == e2 then f(e1) is equal to f(e2) X |