Sous chaque méthode, ses extensions (Q CS XT Z ZZ IB W U) : en gras et cochée, elle existe ; barrée, elle n'existe pas. Les extensions et leur sens
Exemples : 0 viennent des tests de la bibliothèque ; 3 ont été composés à partir de la signature de chaque méthode et exécutés pour cette page, sur un objet neuf, par exemple o1 = StzFalseObjectQ(). 53 méthodes n'en ont pas encore. Exemples exécutés le 2026-10-03 20:34 dans la bibliothèque au commit 0e72e2e2c.
Méthode
Explication, telle que la source la porte
Content
(sans commentaire dans la source : le nom se lit comme une phrase) contentaucune extension
Value
(sans commentaire dans la source : le nom se lit comme une phrase) valueaucune extension
StzType
(sans commentaire dans la source : le nom se lit comme une phrase) stz typeexemple composé
o1 = StzFalseObjectQ()
? o1.StzType()
#--> stzfalseobject
composé à partir de la signature, exécuté pour cette page aucune extension SetOrigin
NNL 2.0 (see doc/design/NNL_REVIEW.md) ----------------------------- The false premise as a DISCOURSE object: it remembers what it judged (origin), it absorbs every counting/comparison device with an honest explanation, and it powers the CONDITIONAL MOOD.aucune extension
Origin
(sans commentaire dans la source : le nom se lit comme une phrase) originaucune extension
SetWhyStopped
the CHAIN-STOPPED explanation (the user-facing debug surface, per the WhyChainStopped precedent): recorded at the failing checkaucune extension
WhyStopped
(sans commentaire dans la source : le nom se lit comme une phrase) why stoppedexemple composé
o1 = StzFalseObjectQ()
? o1.WhyStopped()
#--> a premise in the chain did not hold
composé à partir de la signature, exécuté pour cette page aucune extension WhyCheckFailed
(sans commentaire dans la source : le nom se lit comme une phrase) why check failedexemple composé
o1 = StzFalseObjectQ()
? o1.WhyCheckFailed()
#--> a premise in the chain did not hold
composé à partir de la signature, exécuté pour cette page aucune extension IfSo
conditional mood on the FALSE branch: IfSo skips, Otherwise recoversQCSXTZZZIBWU
Otherwise
(sans commentaire dans la source : le nom se lit comme une phrase) otherwiseQCSXTZZZIBWU
WasEver
(sans commentaire dans la source : le nom se lit comme une phrase) was everaucune extension
WasNever
(sans commentaire dans la source : le nom se lit comme une phrase) was neveraucune extension
UsedToBe
(sans commentaire dans la source : le nom se lit comme une phrase) used to beaucune extension
IsStill
(sans commentaire dans la source : le nom se lit comme une phrase) is stillaucune extension
VerifyConstraint
(sans commentaire dans la source : le nom se lit comme une phrase) verify constraintaucune extension
VerifyConstraints
(sans commentaire dans la source : le nom se lit comme une phrase) verify constraintsaucune extension
ApplyConstraints
(sans commentaire dans la source : le nom se lit comme une phrase) apply constraintsaucune extension
EnforceConstraint
(sans commentaire dans la source : le nom se lit comme une phrase) enforce constraintaucune extension
EnforceConstraints
(sans commentaire dans la source : le nom se lit comme une phrase) enforce constraintsaucune extension
EnforceConstraintWhile
(sans commentaire dans la source : le nom se lit comme une phrase) enforce constraint whileaucune extension
EnforceConstraintUntil
(sans commentaire dans la source : le nom se lit comme une phrase) enforce constraint untilaucune extension
RelaxConstraints
(sans commentaire dans la source : le nom se lit comme une phrase) relax constraintsaucune extension
QualifiesAs
(sans commentaire dans la source : le nom se lit comme une phrase) qualifies asQCSXTZZZIBWU
AndQ
Fluent boolean short-circuit: every check stays FALSE; AndQ/OrQ keep the -- chain going (so StartsWithXTQ(a).AndQ().EndsWithXT(b) is FALSE when a fails).aucune extension
OrQ
Q3: on a FALSE premise, OR gives the SECOND disjunct its chance -- the carried origin comes back to life ("is a number OR a string")aucune extension
NorQ
under neither...nor a failing predicate is what KEEPS the chain alive -- but once false for another reason, false absorbsaucune extension
BothQ
(sans commentaire dans la source : le nom se lit comme une phrase) both qaucune extension
IsEitherQ
(sans commentaire dans la source : le nom se lit comme une phrase) is either qaucune extension
IsNeitherQ
(sans commentaire dans la source : le nom se lit comme une phrase) is neither qaucune extension
NeitherQ
(sans commentaire dans la source : le nom se lit comme une phrase) neither qaucune extension
EachQ
(sans commentaire dans la source : le nom se lit comme une phrase) each qaucune extension
AnyQ
(sans commentaire dans la source : le nom se lit comme une phrase) any qaucune extension
NoneQ
(sans commentaire dans la source : le nom se lit comme une phrase) none qaucune extension
EachItemQ
(sans commentaire dans la source : le nom se lit comme une phrase) each item qaucune extension
AnyItemQ
(sans commentaire dans la source : le nom se lit comme une phrase) any item qaucune extension
NoItemQ
(sans commentaire dans la source : le nom se lit comme une phrase) no item qaucune extension
ANumberQ
(sans commentaire dans la source : le nom se lit comme une phrase) a number qaucune extension
AStringQ
(sans commentaire dans la source : le nom se lit comme une phrase) a string qaucune extension
AListQ
(sans commentaire dans la source : le nom se lit comme une phrase) a list qaucune extension
AnObjectQ
(sans commentaire dans la source : le nom se lit comme une phrase) an object qaucune extension
ACharQ
(sans commentaire dans la source : le nom se lit comme une phrase) a char qaucune extension
StartsWith
(sans commentaire dans la source : le nom se lit comme une phrase) starts withQCSXTZZZIBWU
StartsWithAny
(sans commentaire dans la source : le nom se lit comme une phrase) starts with anyaucune extension
EndsWith
(sans commentaire dans la source : le nom se lit comme une phrase) ends withQCSXTZZZIBWU
EndsWithAny
(sans commentaire dans la source : le nom se lit comme une phrase) ends with anyaucune extension
Where
(sans commentaire dans la source : le nom se lit comme une phrase) whereaucune extension
W
(sans commentaire dans la source : le nom se lit comme une phrase) waucune extension
EqualCSQ
(sans commentaire dans la source : le nom se lit comme une phrase) equal csqaucune extension
IsEqualTo
WITHOUT CASESENSITIVITYQCSXTZZZIBWU
EqualTo
(sans commentaire dans la source : le nom se lit comme une phrase) equal toQCSXTZZZIBWU
Equals
(sans commentaire dans la source : le nom se lit comme une phrase) equalsQCSXTZZZIBWU
EqualQ
(sans commentaire dans la source : le nom se lit comme une phrase) equal qaucune extension
IsDividableBy
(sans commentaire dans la source : le nom se lit comme une phrase) is dividable byQCSXTZZZIBWU
DividableBy
(sans commentaire dans la source : le nom se lit comme une phrase) dividable byQCSXTZZZIBWU
IsDivisibleBy
(sans commentaire dans la source : le nom se lit comme une phrase) is divisible byQCSXTZZZIBWU
DivisibleBy
(sans commentaire dans la source : le nom se lit comme une phrase) divisible byQCSXTZZZIBWU