Assertion list
value (aspect of limit ) → ReceivesAction
Results from Ascent++: 95
value → ReceivesAction → given in table 0.71
value → ReceivesAction → calculated 0.69
value → ReceivesAction → exceeded 0.69
value → ReceivesAction → deducted 0.58
value → ReceivesAction → associated with tuple element 0.55
value → ReceivesAction → updated 0.54
value → ReceivesAction → ignored 0.54
value → ReceivesAction → applied 0.53
value → ReceivesAction → read 0.53
value → ReceivesAction → returned 0.52
value → ReceivesAction → derived 0.50
value → ReceivesAction → declared in advance 0.48
value → ReceivesAction → stored in the ith memory 0.48
value → ReceivesAction → transferred 0.48
value → ReceivesAction → changed 0.45
value → ReceivesAction → exchanged 0.45
value → ReceivesAction → set 0.43
value → ReceivesAction → chosen 0.43
value → ReceivesAction → set for each component 0.43
value → ReceivesAction → increased 0.41
value → ReceivesAction → set to $null 0.41
value → ReceivesAction → associated with slider 0.40
value → ReceivesAction → set to minimum 0.40
value → ReceivesAction → retrieved before new value of n… 0.40
value → ReceivesAction → recommended 0.39
value → ReceivesAction → adjusted 0.38
value → ReceivesAction → declared by the merchant 0.38
value → ReceivesAction → set to 192 0.38
value → ReceivesAction → fixed 0.36
value → ReceivesAction → quoted in the specification 0.36
value → ReceivesAction → sent 0.36
value → ReceivesAction → stated in the test report 0.36
value → ReceivesAction → stored in memory 0.36
value → ReceivesAction → lowered 0.34
value → ReceivesAction → received 0.34
value → ReceivesAction → represented by the option-argum… 0.34
value → ReceivesAction → retrieved 0.34
value → ReceivesAction → specified by the manufacturer 0.34
value → ReceivesAction → described 0.32
value → ReceivesAction → detected 0.32
value → ReceivesAction → entered 0.32
value → ReceivesAction → generated 0.32
value → ReceivesAction → reached 0.32
value → ReceivesAction → represented in byte 0.32
value → ReceivesAction → set to empty string 0.32
value → ReceivesAction → specified 0.31
value → ReceivesAction → added 0.29
value → ReceivesAction → added to the check's score 0.29
value → ReceivesAction → compared 0.29
value → ReceivesAction → compared with limit 0.29
value → ReceivesAction → defined 0.29
value → ReceivesAction → determined at any time 0.29
value → ReceivesAction → determined by the difference 0.29
value → ReceivesAction → displayed below the channel 0.29
value → ReceivesAction → followed by a unit of time 0.29
value → ReceivesAction → inserted in non-negotiable bill… 0.29
value → ReceivesAction → received in order 0.29
value → ReceivesAction → removed 0.29
value → ReceivesAction → set to none 0.29
value → ReceivesAction → set to true 0.29
value → ReceivesAction → specified in kilobyte 0.29
value → ReceivesAction → stored 0.29
value → ReceivesAction → stored in a custom calculation … 0.29
value → ReceivesAction → bounded 0.25
value → ReceivesAction → changed by the farm administrat… 0.25
value → ReceivesAction → declared in the case of checked… 0.25
value → ReceivesAction → decremented 0.25
value → ReceivesAction → determined at 101,3 kpa 0.25
value → ReceivesAction → determined at 293,2 k 0.25
value → ReceivesAction → determined in accordance 0.25
value → ReceivesAction → determined in first unit 0.25
value → ReceivesAction → established 0.25
value → ReceivesAction → excluded 0.25
value → ReceivesAction → given in parenthesis 0.25
value → ReceivesAction → interpreted 0.25
value → ReceivesAction → measured 0.25
value → ReceivesAction → measured below the running surf… 0.25
value → ReceivesAction → overwritten 0.25
value → ReceivesAction → reported 0.25
value → ReceivesAction → retained 0.25
value → ReceivesAction → set at same time 0.25
value → ReceivesAction → set for the output 0.25
value → ReceivesAction → set in php.ini file 0.25
value → ReceivesAction → set out in table 0.25
value → ReceivesAction → set to -1 0.25
value → ReceivesAction → set to 99 0.25
value → ReceivesAction → shipped 0.25
value → ReceivesAction → specified for a listener object 0.25
value → ReceivesAction → treated as percentage 0.25
value → ReceivesAction → used by the logic element 0.25
value → ReceivesAction → used to identify active event m… 0.25
value → ReceivesAction → provided 0.24
value → ReceivesAction → retrieved before new value of n… 0.23
value → ReceivesAction → affected 0.16
value → ReceivesAction → created for our shareholders 0.16