Condition: field is not engaged. The complement of engaged.
More...
#include <forms.hpp>
|
| constexpr bool | test (const A &action) const noexcept |
| | Evaluates the condition against action.
|
| glz::generic_u64 | emitNode () const |
| | Emits this condition's x-rules JSON node.
|
|
| V A::* | field |
| | Pointer to the member this condition inspects.
|
|
| static constexpr detail::RuleKind | kind = detail::RuleKind::NotEngaged |
| | The wire "kind" this condition emits: "notEngaged".
|
| static constexpr bool | isCondition = true |
| | Usable as a nested condition: this node's test() is a function of the action, so composing it into an and/or/not tree changes what that tree evaluates to.
|
template<typename V, typename A>
struct morph::forms::NotEngaged< V, A >
Condition: field is not engaged. The complement of engaged.
- Template Parameters
-
| V | Field member type (must satisfy EngageableField). |
| A | Action type the field belongs to. |
Definition at line 963 of file forms.hpp.
◆ test()
template<typename V, typename A>
|
|
inlinenodiscardconstexprnoexcept |
Evaluates the condition against action.
- Parameters
-
| action | The action snapshot to inspect. |
- Returns
- true when the field is not engaged.
Definition at line 976 of file forms.hpp.
◆ emitNode()
template<typename V, typename A>
Emits this condition's x-rules JSON node.
- Returns
- {"kind":"notEngaged","fields":["<wire name>"]}.
Definition at line 980 of file forms.hpp.
◆ field
template<typename V, typename A>
Pointer to the member this condition inspects.
Definition at line 965 of file forms.hpp.
◆ kind
template<typename V, typename A>
◆ isCondition
template<typename V, typename A>
Usable as a nested condition: this node's test() is a function of the action, so composing it into an and/or/not tree changes what that tree evaluates to.
Definition at line 971 of file forms.hpp.
The documentation for this struct was generated from the following file: