Whether a law fired: its result is not law_inactive. More...

Concept definition

template<typename R>

concept dedekind::category::Fires = !std::same_as<std::remove_cvref_t<R>, law_inactive>

Whether a law fired: its result is not law_inactive.

Definition lattice_term.cppm:162

Sentinel: a law that does not fire on the given node.

Definition lattice.cppm:809

Detailed Description

Whether a law fired: its result is not law_inactive.

Template Parameters

R	the law's result type.