La bibliothèque se documente elle-même · Traitement du langage et linguistique

stzTruthChain

16 méthodes propres · 0 formes avec extensions, rangées sous leur méthode

la source: base/natural/stzTruthChain.ring(s'ouvre dans un nouvel onglet) · Toutes les classes · La référence du domaine : Traitement du langage et linguistique

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 = new stzTruthChain(1). 13 méthodes n'en ont pas encore. Exemples exécutés le 2026-10-03 20:23 dans la bibliothèque au commit 0e72e2e2c.

Méthode

Explication, telle que la source la porte

init

(sans commentaire dans la source : le nom se lit comme une phrase) initaucune extension

IsA

(sans commentaire dans la source : le nom se lit comme une phrase) is aaussi écrite: IsAnaucune extension

IsNotA

(sans commentaire dans la source : le nom se lit comme une phrase) is not aaucune extension

AndIsA

(sans commentaire dans la source : le nom se lit comme une phrase) and is aaussi écrite: AndIsAnaucune extension

AndIsNotA

(sans commentaire dans la source : le nom se lit comme une phrase) and is not aaucune extension

OrIsA

(sans commentaire dans la source : le nom se lit comme une phrase) or is aaussi écrite: OrIsAnaucune extension

OrIsNotA

(sans commentaire dans la source : le nom se lit comme une phrase) or is not aaucune extension

Containing

(sans commentaire dans la source : le nom se lit comme une phrase) containingaucune extension

AndContaining

(sans commentaire dans la source : le nom se lit comme une phrase) and containingaucune extension

OrContaining

(sans commentaire dans la source : le nom se lit comme une phrase) or containingaucune extension

AndNotContaining

(sans commentaire dans la source : le nom se lit comme une phrase) and not containingaucune extension

OrNotContaining

(sans commentaire dans la source : le nom se lit comme une phrase) or not containingaucune extension

Holds

Fold the atoms LEFT-TO-RIGHT (the natural reading of a boolean narrative: "a and b or c" = ((a and b) or c)). One pass, no eval of user code -- each atom is a lexicon-resolved descriptor / contains test. Records Why + marks the verdict CERTAIN (deterministic).aussi écrite: IsTrue · Verdict

exemple composé

o1 = new stzTruthChain(1)
? o1.Holds()
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

Why

(sans commentaire dans la source : le nom se lit comme une phrase) why

exemple composé

o1 = new stzTruthChain(1)
? o1.Why()
#--> no atoms: nothing to decide

composé à partir de la signature, exécuté pour cette page

aucune extension

NumberOfAtoms

(sans commentaire dans la source : le nom se lit comme une phrase) number of atoms

exemple composé

o1 = new stzTruthChain(1)
? o1.NumberOfAtoms()
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

Content

(sans commentaire dans la source : le nom se lit comme une phrase) contentaucune extension