Assertion list
function (aspect of key ) → ReceivesAction
Results from Ascent++: 85
function → ReceivesAction → activated 0.59
function → ReceivesAction → selected 0.58
function → ReceivesAction → provided 0.58
function → ReceivesAction → described in detail 0.58
function → ReceivesAction → defined 0.56
function → ReceivesAction → shown in fig 0.53
function → ReceivesAction → displayed 0.49
function → ReceivesAction → supported 0.49
function → ReceivesAction → stored 0.46
function → ReceivesAction → used in combination 0.44
function → ReceivesAction → carried out by following sequen… 0.42
function → ReceivesAction → described 0.42
function → ReceivesAction → exported by the module 0.41
function → ReceivesAction → offered 0.41
function → ReceivesAction → applied 0.39
function → ReceivesAction → invoked 0.39
function → ReceivesAction → tested 0.38
function → ReceivesAction → inlined 0.38
function → ReceivesAction → confirmed 0.37
function → ReceivesAction → associated with key 0.35
function → ReceivesAction → implemented in hardware 0.35
function → ReceivesAction → rejected 0.35
function → ReceivesAction → specified in block 0.35
function → ReceivesAction → completed 0.34
function → ReceivesAction → implemented in software 0.34
function → ReceivesAction → introduced in keymaster 0.34
function → ReceivesAction → performed 0.33
function → ReceivesAction → disabled 0.33
function → ReceivesAction → allocated to shortcut keys 0.31
function → ReceivesAction → assigned to the menu button 0.31
function → ReceivesAction → configured 0.31
function → ReceivesAction → enabled 0.31
function → ReceivesAction → meant to be exemplary 0.31
function → ReceivesAction → removed 0.31
function → ReceivesAction → added 0.30
function → ReceivesAction → associated with the control ele… 0.30
function → ReceivesAction → triggered 0.30
function → ReceivesAction → entered 0.28
function → ReceivesAction → added in q2a 0.28
function → ReceivesAction → associated with the 2d gesture 0.28
function → ReceivesAction → calculated 0.28
function → ReceivesAction → changed 0.28
function → ReceivesAction → created 0.28
function → ReceivesAction → customized 0.28
function → ReceivesAction → described in same color of the … 0.28
function → ReceivesAction → implemented under msw 0.28
function → ReceivesAction → listed in table 0.28
function → ReceivesAction → performed by second information… 0.28
function → ReceivesAction → performed in said computer syst… 0.28
function → ReceivesAction → terminated 0.28
function → ReceivesAction → used in the server process 0.28
function → ReceivesAction → used to ask for passphrase 0.28
function → ReceivesAction → required 0.28
function → ReceivesAction → achieved 0.25
function → ReceivesAction → altered in response 0.25
function → ReceivesAction → arranged using various conventi… 0.25
function → ReceivesAction → composed of more-functions 0.25
function → ReceivesAction → controlled 0.25
function → ReceivesAction → deactivated 0.25
function → ReceivesAction → declared 0.25
function → ReceivesAction → declared in the class specifica… 0.25
function → ReceivesAction → described in conjunction 0.25
function → ReceivesAction → described in following paragrap… 0.25
function → ReceivesAction → expanded 0.25
function → ReceivesAction → fired 0.25
function → ReceivesAction → indicated on the display 0.25
function → ReceivesAction → interpreted as steps of a method 0.25
function → ReceivesAction → passed as parameter 0.25
function → ReceivesAction → performed by the transceiver ci… 0.25
function → ReceivesAction → performed in said application p… 0.25
function → ReceivesAction → processed 0.25
function → ReceivesAction → prohibited 0.25
function → ReceivesAction → provided for stl compatibility 0.25
function → ReceivesAction → separated 0.25
function → ReceivesAction → specified 0.25
function → ReceivesAction → specified in corresponding proc… 0.25
function → ReceivesAction → specified in the flowchart's bl… 0.25
function → ReceivesAction → used in clause 0.25
function → ReceivesAction → used in order 0.25
function → ReceivesAction → compiled 0.24
function → ReceivesAction → read 0.23
function → ReceivesAction → suspended 0.23
function → ReceivesAction → deprecated 0.21
function → ReceivesAction → compromised 0.19
function → ReceivesAction → adjusted 0.16