A lightweight decision mechanism that determines which computation path to take based on input conditions.