Assertion list
function (primary) → ReceivesAction
Results from Ascent++: 364
function → ReceivesAction → executed 0.68
function → ReceivesAction → described in detail 0.63
function → ReceivesAction → shown in fig 0.63
function → ReceivesAction → written 0.63
function → ReceivesAction → evaluated 0.62
function → ReceivesAction → declared 0.62
function → ReceivesAction → defined 0.62
function → ReceivesAction → performed 0.62
function → ReceivesAction → implemented 0.62
function → ReceivesAction → selected 0.61
function → ReceivesAction → activated 0.60
function → ReceivesAction → determined 0.60
function → ReceivesAction → shown in figure 0.60
function → ReceivesAction → supported 0.59
function → ReceivesAction → invoked 0.59
function → ReceivesAction → transferred 0.59
function → ReceivesAction → built 0.59
function → ReceivesAction → tested 0.58
function → ReceivesAction → accessed 0.58
function → ReceivesAction → inlined 0.58
function → ReceivesAction → loaded 0.58
function → ReceivesAction → updated 0.57
function → ReceivesAction → integrated 0.57
function → ReceivesAction → imported 0.57
function → ReceivesAction → documented 0.57
function → ReceivesAction → vested in the president 0.57
function → ReceivesAction → developed 0.57
function → ReceivesAction → finished 0.56
function → ReceivesAction → described 0.56
function → ReceivesAction → applied 0.56
function → ReceivesAction → passed 0.56
function → ReceivesAction → displayed 0.56
function → ReceivesAction → entered 0.56
function → ReceivesAction → compiled 0.56
function → ReceivesAction → designed 0.56
function → ReceivesAction → curried 0.56
function → ReceivesAction → used in context 0.56
function → ReceivesAction → organized 0.55
function → ReceivesAction → used as constructor 0.55
function → ReceivesAction → stored 0.55
function → ReceivesAction → explained 0.55
function → ReceivesAction → treated 0.54
function → ReceivesAction → used in string 0.54
function → ReceivesAction → re 0.54
function → ReceivesAction → used as callback 0.54
function → ReceivesAction → executed in the order 0.54
function → ReceivesAction → modified 0.54
function → ReceivesAction → vested in the secretary 0.54
function → ReceivesAction → generated 0.54
function → ReceivesAction → exported 0.54
function → ReceivesAction → related 0.54
function → ReceivesAction → combined 0.54
function → ReceivesAction → discharged 0.53
function → ReceivesAction → subject to change 0.53
function → ReceivesAction → exposed 0.53
function → ReceivesAction → composed 0.53
function → ReceivesAction → imposed on the committee 0.53
function → ReceivesAction → performed by device 0.53
function → ReceivesAction → conserved 0.53
function → ReceivesAction → removed 0.53
function → ReceivesAction → added 0.53
function → ReceivesAction → run 0.53
function → ReceivesAction → limited 0.53
function → ReceivesAction → affected 0.53
function → ReceivesAction → bounded 0.53
function → ReceivesAction → copied 0.53
function → ReceivesAction → wrapped 0.53
function → ReceivesAction → outsourced 0.53
function → ReceivesAction → intended for use 0.53
function → ReceivesAction → performed by software 0.53
function → ReceivesAction → offered 0.53
function → ReceivesAction → implemented in firmware 0.53
function → ReceivesAction → minimized 0.53
function → ReceivesAction → marked 0.52
function → ReceivesAction → implemented by processor 0.52
function → ReceivesAction → associated with process 0.52
function → ReceivesAction → computed 0.52
function → ReceivesAction → placed 0.52
function → ReceivesAction → devolved 0.52
function → ReceivesAction → reused 0.52
function → ReceivesAction → processed 0.52
function → ReceivesAction → held 0.52
function → ReceivesAction → enabled 0.52
function → ReceivesAction → performed by the computer 0.52
function → ReceivesAction → used in addition 0.52
function → ReceivesAction → created 0.52
function → ReceivesAction → manipulated 0.51
function → ReceivesAction → redefined 0.51
function → ReceivesAction → saved 0.51
function → ReceivesAction → scoped 0.51
function → ReceivesAction → approximated 0.51
function → ReceivesAction → performed by microprocessor 0.51
function → ReceivesAction → performed by the like 0.51
function → ReceivesAction → taken into account 0.51
function → ReceivesAction → used in conjunction 0.51
function → ReceivesAction → studied 0.51
function → ReceivesAction → used in microsoft excel 0.51
function → ReceivesAction → started 0.51
function → ReceivesAction → used in the program 0.51
function → ReceivesAction → derived 0.50
function → ReceivesAction → prototyped 0.50
function → ReceivesAction → registered with atexit 0.50
function → ReceivesAction → protected 0.50
function → ReceivesAction → assigned to the president 0.50
function → ReceivesAction → authorized 0.50
function → ReceivesAction → based on objective 0.50
function → ReceivesAction → extracted 0.50
function → ReceivesAction → fired 0.50
function → ReceivesAction → interrelated 0.50
function → ReceivesAction → memoized 0.50
function → ReceivesAction → provided by php 0.50
function → ReceivesAction → learned 0.50
function → ReceivesAction → moved 0.50
function → ReceivesAction → navigated across any pop-ups 0.50
function → ReceivesAction → navigated across every device 0.50
function → ReceivesAction → reversed 0.50
function → ReceivesAction → used with caution 0.50
function → ReceivesAction → disabled 0.50
function → ReceivesAction → discussed 0.49
function → ReceivesAction → discovered 0.49
function → ReceivesAction → overridden 0.49
function → ReceivesAction → inherited 0.49
function → ReceivesAction → checked 0.49
function → ReceivesAction → bound 0.49
function → ReceivesAction → used in same way 0.49
function → ReceivesAction → set 0.49
function → ReceivesAction → handled 0.49
function → ReceivesAction → allowed 0.49
function → ReceivesAction → declared in the header file 0.49
function → ReceivesAction → configured 0.48
function → ReceivesAction → specified in block 0.48
function → ReceivesAction → automated 0.48
function → ReceivesAction → overloaded 0.48
function → ReceivesAction → optimized 0.48
function → ReceivesAction → performed by person 0.48
function → ReceivesAction → provided for convenience 0.48
function → ReceivesAction → specified in the flowchart block 0.48
function → ReceivesAction → contained in the site 0.48
function → ReceivesAction → provided 0.48
function → ReceivesAction → associated with the button 0.48
function → ReceivesAction → expected 0.48
function → ReceivesAction → outlined 0.48
function → ReceivesAction → deployed 0.48
function → ReceivesAction → instantiated 0.47
function → ReceivesAction → distributed 0.47
function → ReceivesAction → provided by the system 0.47
function → ReceivesAction → provided by the library 0.47
function → ReceivesAction → executed in parallel 0.47
function → ReceivesAction → monitored 0.47
function → ReceivesAction → restored 0.47
function → ReceivesAction → delayed 0.46
function → ReceivesAction → executed by the cpu 0.46
function → ReceivesAction → expressed by the predicate 0.46
function → ReceivesAction → hidden 0.46
function → ReceivesAction → completed 0.46
function → ReceivesAction → shown in table 0.46
function → ReceivesAction → used in combination 0.46
function → ReceivesAction → controlled by switch 0.46
function → ReceivesAction → provided by the user 0.46
function → ReceivesAction → operated 0.46
function → ReceivesAction → assessed 0.46
function → ReceivesAction → isolated 0.46
function → ReceivesAction → deprecated 0.46
function → ReceivesAction → grouped 0.46
function → ReceivesAction → specified in the order 0.46
function → ReceivesAction → contained in material 0.46
function → ReceivesAction → implemented in hardware 0.46
function → ReceivesAction → performed by the button 0.46
function → ReceivesAction → programmed 0.46
function → ReceivesAction → simplified 0.46
function → ReceivesAction → applied to datum 0.45
function → ReceivesAction → reported 0.45
function → ReceivesAction → renamed 0.45
function → ReceivesAction → implemented by a state machine 0.45
function → ReceivesAction → planned 0.45
function → ReceivesAction → delegated 0.45
function → ReceivesAction → employed 0.45
function → ReceivesAction → performed by search 0.44
function → ReceivesAction → hooked 0.44
function → ReceivesAction → interrupted 0.44
function → ReceivesAction → referenced 0.44
function → ReceivesAction → implemented as custom logic 0.44
function → ReceivesAction → pre 0.44
function → ReceivesAction → registered 0.44
function → ReceivesAction → shared 0.44
function → ReceivesAction → understood 0.44
function → ReceivesAction → exercised 0.44
function → ReceivesAction → easy to understand 0.44
function → ReceivesAction → shown 0.43
function → ReceivesAction → connected 0.43
function → ReceivesAction → proposed 0.43
function → ReceivesAction → provided by the os 0.43
function → ReceivesAction → omitted 0.43
function → ReceivesAction → reduced 0.43
function → ReceivesAction → improved 0.43
function → ReceivesAction → disrupted 0.43
function → ReceivesAction → transformed 0.43
function → ReceivesAction → offered by twitter inc. 0.42
function → ReceivesAction → deleted 0.42
function → ReceivesAction → used as argument 0.42
function → ReceivesAction → passed as argument 0.42
function → ReceivesAction → used in script 0.42
function → ReceivesAction → enabled by default 0.42
function → ReceivesAction → difficult to define 0.42
function → ReceivesAction → eliminated 0.42
function → ReceivesAction → maintained 0.42
function → ReceivesAction → used by code 0.42
function → ReceivesAction → predicted 0.41
function → ReceivesAction → graphed 0.41
function → ReceivesAction → introduced 0.41
function → ReceivesAction → inferred 0.41
function → ReceivesAction → lost 0.41
function → ReceivesAction → never called 0.41
function → ReceivesAction → separated 0.41
function → ReceivesAction → given as first argument 0.40
function → ReceivesAction → exercised by local authorities 0.40
function → ReceivesAction → replaced 0.40
function → ReceivesAction → impaired 0.40
function → ReceivesAction → specified in the block diagram 0.40
function → ReceivesAction → transferred to the minister 0.40
function → ReceivesAction → increased 0.40
function → ReceivesAction → calculated 0.40
function → ReceivesAction → discussed in detail 0.40
function → ReceivesAction → listed in table 0.40
function → ReceivesAction → important for the effortless 0.40
function → ReceivesAction → enhanced 0.39
function → ReceivesAction → altered 0.39
function → ReceivesAction → assigned to variable 0.39
function → ReceivesAction → contained in the software 0.39
function → ReceivesAction → decorated 0.39
function → ReceivesAction → performed at same time 0.39
function → ReceivesAction → performed by hardware 0.38
function → ReceivesAction → adjusted 0.38
function → ReceivesAction → based 0.38
function → ReceivesAction → performed by system 0.38
function → ReceivesAction → vested in the minister 0.38
function → ReceivesAction → passed as parameter 0.38
function → ReceivesAction → selected by the user 0.38
function → ReceivesAction → provided by instagram inc 0.37
function → ReceivesAction → requested 0.37
function → ReceivesAction → restricted 0.37
function → ReceivesAction → contained in the website 0.37
function → ReceivesAction → meant to be drop-in replacement 0.37
function → ReceivesAction → exited 0.37
function → ReceivesAction → implemented in any combination 0.37
function → ReceivesAction → nested 0.37
function → ReceivesAction → performed by multiple components 0.37
function → ReceivesAction → used in numeric 0.37
function → ReceivesAction → transferred to the department 0.37
function → ReceivesAction → transferred under subsection 0.37
function → ReceivesAction → divided 0.36
function → ReceivesAction → focused 0.36
function → ReceivesAction → provided for stl compatibility 0.36
function → ReceivesAction → used in expression 0.36
function → ReceivesAction → used as method 0.36
function → ReceivesAction → chained 0.36
function → ReceivesAction → deactivated 0.36
function → ReceivesAction → desired 0.36
function → ReceivesAction → provided for compatibility 0.36
function → ReceivesAction → transferred to the welsh minist… 0.36
function → ReceivesAction → avoided 0.36
function → ReceivesAction → fixed 0.36
function → ReceivesAction → implemented by combination 0.36
function → ReceivesAction → established 0.36
function → ReceivesAction → explored 0.36
function → ReceivesAction → performed by circuit 0.36
function → ReceivesAction → performed by server 0.36
function → ReceivesAction → prescribed by the statutes 0.36
function → ReceivesAction → balanced 0.35
function → ReceivesAction → carried out by following sequen… 0.35
function → ReceivesAction → drawn 0.35
function → ReceivesAction → entrusted to panchayat 0.35
function → ReceivesAction → identified by name 0.35
function → ReceivesAction → interpreted as steps of a method 0.35
function → ReceivesAction → performed by the site 0.35
function → ReceivesAction → shifted 0.35
function → ReceivesAction → made simpler 0.35
function → ReceivesAction → blocked 0.35
function → ReceivesAction → contained in the app 0.35
function → ReceivesAction → performed on datum 0.35
function → ReceivesAction → suspended 0.35
function → ReceivesAction → transferred to the agency 0.35
function → ReceivesAction → specified 0.35
function → ReceivesAction → disclosed 0.35
function → ReceivesAction → exported in psapi.lib 0.35
function → ReceivesAction → included in the package 0.35
function → ReceivesAction → provided by law 0.35
function → ReceivesAction → realized by process 0.35
function → ReceivesAction → rewritten 0.35
function → ReceivesAction → shown in the example 0.35
function → ReceivesAction → stored in the database 0.35
function → ReceivesAction → written in java 0.35
function → ReceivesAction → administered under supervision 0.34
function → ReceivesAction → available in imageviz 0.34
function → ReceivesAction → nested inside another 0.34
function → ReceivesAction → specified by func 0.34
function → ReceivesAction → specified in flowchart 0.34
function → ReceivesAction → terminated 0.34
function → ReceivesAction → contained in the services 0.34
function → ReceivesAction → arranged 0.34
function → ReceivesAction → continued 0.34
function → ReceivesAction → defined on the interval 0.34
function → ReceivesAction → described in paragraph 0.34
function → ReceivesAction → entrusted by the central govern… 0.34
function → ReceivesAction → influenced 0.34
function → ReceivesAction → performed in response 0.34
function → ReceivesAction → plotted 0.34
function → ReceivesAction → rejected 0.34
function → ReceivesAction → satisfied 0.34
function → ReceivesAction → stored in memory 0.34
function → ReceivesAction → transmitted over as one or more… 0.34
function → ReceivesAction → written in language 0.34
function → ReceivesAction → written in sql 0.34
function → ReceivesAction → adapted 0.33
function → ReceivesAction → assigned to the audit committee 0.33
function → ReceivesAction → associated with polymorphic node 0.33
function → ReceivesAction → encapsulated 0.33
function → ReceivesAction → given as parameter 0.33
function → ReceivesAction → implemented in other embodiments 0.33
function → ReceivesAction → introduced in excel 0.33
function → ReceivesAction → performed by integrated circuits 0.33
function → ReceivesAction → prepared 0.33
function → ReceivesAction → present to preserve compatibili… 0.33
function → ReceivesAction → provided in article 32 of regul… 0.33
function → ReceivesAction → recommended 0.33
function → ReceivesAction → used by public functions 0.33
function → ReceivesAction → used by the application 0.33
function → ReceivesAction → vectorized 0.33
function → ReceivesAction → contained in content 0.33
function → ReceivesAction → concentrated 0.33
function → ReceivesAction → exercised in relation 0.33
function → ReceivesAction → integrated in a software module 0.33
function → ReceivesAction → known in the art 0.33
function → ReceivesAction → performed by above described co… 0.33
function → ReceivesAction → resolved 0.33
function → ReceivesAction → compromised 0.33
function → ReceivesAction → broken 0.33
function → ReceivesAction → cancelled 0.31
function → ReceivesAction → given in table 0.31
function → ReceivesAction → contained in the website content 0.31
function → ReceivesAction → read 0.31
function → ReceivesAction → threatened by disease 0.30
function → ReceivesAction → elucidated 0.30
function → ReceivesAction → triggered 0.29
function → ReceivesAction → free of virus 0.29
function → ReceivesAction → contained in the internet websi… 0.28
function → ReceivesAction → provided by the site 0.28
function → ReceivesAction → removed in future release 0.28
function → ReceivesAction → extended 0.28
function → ReceivesAction → threatened by environmental fac… 0.28
function → ReceivesAction → contained in webpage 0.27
function → ReceivesAction → easy to implement 0.27
function → ReceivesAction → installed 0.27
function → ReceivesAction → turn out to be useful 0.27
function → ReceivesAction → returned 0.27
function → ReceivesAction → free of other harmful components 0.26
function → ReceivesAction → made interactive 0.26
function → ReceivesAction → split 0.26
function → ReceivesAction → provided by menlo park 0.25
function → ReceivesAction → contained in information 0.25
function → ReceivesAction → contained in the web design pro… 0.25
function → ReceivesAction → used as the default 0.22
function → ReceivesAction → confirmed 0.19
function → ReceivesAction → ignored 0.18