|
|
|
|
|
[TxtEx]class-account, 96 |
|
|
|
|
|
|
|
|
[TxtEx]prudent, 98 |
|
|
|
|
|
|
|
|
[TxtEx]set-driven, 99 |
|
|
|
|
|
|
|
|
[TxtEx]rearrangement-independent, 100 |
|
|
|
|
|
|
|
|
[TxtEx]order-indenpent, 101 |
|
|
|
|
|
|
|
|
[TxtEx]class-order-independent, 101 |
|
|
|
|
|
|
|
|
visible( s ), 102 |
|
|
|
|
|
|
|
|
[TxtEx]reliable, 106 |
|
|
|
|
|
|
|
|
[TxtEx]conservative, 108 |
|
|
|
|
|
|
|
|
[TxtEx]class-conservative, 108 |
|
|
|
|
|
|
|
|
[TxtEx]strong-conservative, 109 |
|
|
|
|
|
|
|
|
[TxtEx]class-strong-monotonic, 109 |
|
|
|
|
|
|
|
|
[TxtEx]monotonic, 110 |
|
|
|
|
|
|
|
|
[TxtEx]weak-monotonic, 110 |
|
|
|
|
|
|
|
|
[TxtEx]class-weak-monotonic, 110 |
|
|
|
|
|
|
|
|
[TxtEx]dual-weak-monotonic, 113 |
|
|
|
|
|
|
|
|
[TxtEx]class-dual-weak-monotonic, 114 |
|
|
|
|
|
|
|
|
[Ex]consistent, 115 |
|
|
|
|
|
|
|
|
[Ex]class-consistent, 115 |
|
|
|
|
|
|
|
|
[Ex]Popperian, 117 |
|
|
|
|
|
|
|
|
[Ex]class-Popperian, 117 |
|
|
|
|
|
|
|
|
[Ex]rec-reliable, 118 |
|
|
|
|
|
|
|
|
[Ex]decisive, 119 |
|
|
|
|
|
|
|
|
[Ex]class-decisive, 119 |
|
|
|
|
|
|
|
|
[TxtEx]class-nontrivial, 122 |
|
|
|
|
|
|
|
|
[TxtEx]class-nontrivial, 122 |
|
|
|
|
|
|
|
|
[TxtEx]nonexcessive, 122 |
|
|
|
|
|
|
|
|
[TxtEx]weak-nontriv, 122 |
|
|
|
|
|
|
|
|
[TxtEx]cond-consistent, 123 |
|
|
|
|
|
|
|
|
[TxtEx]tot-minded, 123 |
|
|
|
|
|
|
|
|
[TxtEx]gradualist, 123 |
|
|
|
|
|
|
|
|
[TxtEx]cautious, 123 |
|
|
|
|
|
|
|
|
[TxtEx]confident, 124 |
|
|
|
|
|
|
|
|
[TxtEx]dual-strong-monotonic, 124 |
|
|
|
|
|
|
|
|
[TxtEx]class-dual-strong-monotonic, 124 |
|
|
|
|
|
|
|
|
[TxtEx]dual-monotonic, 125 |
|
|
|
|
|
|
|
|
[TxtEx]class-dual-monotonic, 125 |
|
|
|
|