Assertion list
value (aspect of function ) → HasProperty
Results from Ascent++: 166
value → HasProperty → null 0.75
value → HasProperty → true 0.73
value → HasProperty → zero 0.73
value → HasProperty → negative 0.71
value → HasProperty → equal 0.71
value → HasProperty → undefined 0.70
value → HasProperty → false 0.69
value → HasProperty → unique 0.67
value → HasProperty → greater 0.66
value → HasProperty → positive 0.66
value → HasProperty → constant 0.62
value → HasProperty → unchanged 0.61
value → HasProperty → low 0.60
value → HasProperty → identical 0.59
value → HasProperty → smaller 0.59
value → HasProperty → consistent 0.59
value → HasProperty → valid 0.59
value → HasProperty → high 0.59
value → HasProperty → less than zero 0.58
value → HasProperty → immutable 0.57
value → HasProperty → numeric 0.57
value → HasProperty → equivalent 0.57
value → HasProperty → -1 0.56
value → HasProperty → larger 0.56
value → HasProperty → significant 0.56
value → HasProperty → optional 0.54
value → HasProperty → small 0.53
value → HasProperty → nonzero 0.53
value → HasProperty → close 0.52
value → HasProperty → invalid 0.50
value → HasProperty → unknown 0.49
value → HasProperty → representable 0.48
value → HasProperty → possible 0.48
value → HasProperty → numerical 0.47
value → HasProperty → correct 0.47
value → HasProperty → wrong 0.46
value → HasProperty → case-insensitive 0.45
value → HasProperty → free 0.45
value → HasProperty → truthy 0.45
value → HasProperty → greater than zero 0.45
value → HasProperty → great 0.45
value → HasProperty → large 0.45
value → HasProperty → obsolete 0.44
value → HasProperty → important 0.44
value → HasProperty → common 0.44
value → HasProperty → ok 0.44
value → HasProperty → legal 0.44
value → HasProperty → empty 0.43
value → HasProperty → lower 0.42
value → HasProperty → meaningful 0.42
value → HasProperty → bigger 0.41
value → HasProperty → explanatory 0.41
value → HasProperty → reachable 0.41
value → HasProperty → variable 0.41
value → HasProperty → visible 0.41
value → HasProperty → preferred 0.40
value → HasProperty → relative 0.40
value → HasProperty → unused 0.39
value → HasProperty → arbitrary 0.39
value → HasProperty → blank 0.39
value → HasProperty → indeterminate 0.39
value → HasProperty → useful 0.39
value → HasProperty → missing 0.38
value → HasProperty → relevant 0.38
value → HasProperty → specific 0.38
value → HasProperty → unspecified 0.38
value → HasProperty → appropriate 0.38
value → HasProperty → greater than 1 0.37
value → HasProperty → inclusive 0.37
value → HasProperty → static 0.37
value → HasProperty → acceptable 0.36
value → HasProperty → reset 0.36
value → HasProperty → unsigned 0.35
value → HasProperty → inconsistent 0.35
value → HasProperty → irrelevant 0.34
value → HasProperty → odd 0.34
value → HasProperty → rounded 0.34
value → HasProperty → distinct 0.34
value → HasProperty → greater than 10 0.33
value → HasProperty → illegal 0.32
value → HasProperty → a literal 0.32
value → HasProperty → accurate 0.32
value → HasProperty → complex 0.32
value → HasProperty → infinite 0.32
value → HasProperty → inverted 0.32
value → HasProperty → less than 1 0.32
value → HasProperty → mutable 0.32
value → HasProperty → persistent 0.32
value → HasProperty → red 0.32
value → HasProperty → right 0.32
value → HasProperty → subjective 0.32
value → HasProperty → unpredictable 0.32
value → HasProperty → applicable 0.31
value → HasProperty → compatible 0.31
value → HasProperty → less than 10 0.31
value → HasProperty → long 0.31
value → HasProperty → stable 0.31
value → HasProperty → the smallest 0.31
value → HasProperty → absent 0.29
value → HasProperty → absolute 0.29
value → HasProperty → configurable 0.29
value → HasProperty → exclusive 0.29
value → HasProperty → fine 0.29
value → HasProperty → indexed 0.29
value → HasProperty → least 180 0.29
value → HasProperty → maximum 0.29
value → HasProperty → nonnegative 0.29
value → HasProperty → random 0.29
value → HasProperty → unaffected 0.29
value → HasProperty → unequal 0.29
value → HasProperty → unlimited 0.29
value → HasProperty → unmodified 0.29
value → HasProperty → active 0.27
value → HasProperty → ambiguous 0.27
value → HasProperty → big 0.27
value → HasProperty → black 0.27
value → HasProperty → divisible 0.27
value → HasProperty → dynamic 0.27
value → HasProperty → insensitive 0.27
value → HasProperty → intrinsic 0.27
value → HasProperty → larger than ref_voltage 0.27
value → HasProperty → less than 3 0.27
value → HasProperty → less than the second 0.27
value → HasProperty → lowest 0.27
value → HasProperty → readable 0.27
value → HasProperty → right-padded 0.27
value → HasProperty → sensitive 0.27
value → HasProperty → transparent 0.27
value → HasProperty → typical 0.27
value → HasProperty → un 0.27
value → HasProperty → undef 0.27
value → HasProperty → unrelated 0.27
value → HasProperty → void 0.27
value → HasProperty → advisory 0.25
value → HasProperty → clear 0.25
value → HasProperty → computable 0.25
value → HasProperty → current 0.25
value → HasProperty → desirable 0.25
value → HasProperty → greater than index_type'last 0.25
value → HasProperty → greater than x. 0.25
value → HasProperty → highest 0.25
value → HasProperty → inaccessible 0.25
value → HasProperty → integral 0.25
value → HasProperty → least 1 0.25
value → HasProperty → mandatory 0.25
value → HasProperty → most common 0.25
value → HasProperty → objective 0.25
value → HasProperty → personal 0.25
value → HasProperty → plausible 0.25
value → HasProperty → prime 0.25
value → HasProperty → sepia 0.25
value → HasProperty → simple 0.25
value → HasProperty → unclear 0.25
value → HasProperty → unreachable 0.25
value → HasProperty → untyped 0.25
value → HasProperty → url-encoded 0.25
value → HasProperty → well-defined 0.25
value → HasProperty → special 0.24
value → HasProperty → a short 0.20
value → HasProperty → greater than 25 0.19
value → HasProperty → impossible 0.19
value → HasProperty → incompatible 0.19
value → HasProperty → dangerous 0.16
value → HasProperty → insignificant 0.16
value → HasProperty → insufficient 0.16
value → HasProperty → more accurate 0.16