morph::forms::GreaterOrEqual< V, A > Struct Template Reference

Rule/condition: *lhs >= *rhs when both operands are engaged; vacuously satisfied when either is unengaged. See Greater for the exact-value / vacuous-operand rationale. More...

#include <forms.hpp>

Public Member Functions
constexpr bool	test (const A &action) const noexcept
	Evaluates the comparison against action.
glz::generic_u64	emitNode () const
	Emits this rule's x-rules JSON node.

Public Attributes
V A::*	lhs
	Pointer to the left-hand member.
V A::*	rhs
	Pointer to the right-hand member.

Static Public Attributes
static constexpr detail::RuleKind	kind = detail::RuleKind::GreaterOrEqual
	The wire "kind" this node emits: "greaterOrEqual".
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.
static constexpr bool	isPresentation = false
	Validation rule (not presentation): participates in the gate.

Detailed Description

template<typename V, typename A>
struct morph::forms::GreaterOrEqual< V, A >

Rule/condition: *lhs >= *rhs when both operands are engaged; vacuously satisfied when either is unengaged. See Greater for the exact-value / vacuous-operand rationale.

Template Parameters

V	Field member type shared by both operands (must satisfy detail::ComparableField).
A	Action type both fields belong to.

Definition at line 1072 of file forms.hpp.

Member Function Documentation

test()

template<typename V, typename A>

bool morph::forms::GreaterOrEqual< V, A >::test ( const A & action ) const

inlinenodiscardconstexprnoexcept

Evaluates the comparison against action.

Parameters

action

The action snapshot to inspect.

Returns

true when either operand is unengaged, or *lhs >= *rhs.

Definition at line 1089 of file forms.hpp.

emitNode()

template<typename V, typename A>

glz::generic_u64 morph::forms::GreaterOrEqual< V, A >::emitNode ( ) const

inlinenodiscard

Emits this rule's x-rules JSON node.

Returns

{"kind":"greaterOrEqual","fields":["<lhs wire name>","<rhs wire name>"]}.

Definition at line 1100 of file forms.hpp.

Member Data Documentation

lhs

template<typename V, typename A>

V A::* morph::forms::GreaterOrEqual< V, A >::lhs

Pointer to the left-hand member.

Definition at line 1074 of file forms.hpp.

rhs

template<typename V, typename A>

V A::* morph::forms::GreaterOrEqual< V, A >::rhs

Pointer to the right-hand member.

Definition at line 1076 of file forms.hpp.

kind

template<typename V, typename A>

detail::RuleKind morph::forms::GreaterOrEqual< V, A >::kind = detail::RuleKind::GreaterOrEqual

staticconstexpr

The wire "kind" this node emits: "greaterOrEqual".

Definition at line 1078 of file forms.hpp.

isCondition

template<typename V, typename A>

bool morph::forms::GreaterOrEqual< V, A >::isCondition = true

staticconstexpr

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 1082 of file forms.hpp.

isPresentation

template<typename V, typename A>

bool morph::forms::GreaterOrEqual< V, A >::isPresentation = false

staticconstexpr

Validation rule (not presentation): participates in the gate.

Definition at line 1084 of file forms.hpp.

---

The documentation for this struct was generated from the following file:

• morph/forms/forms.hpp