La bibliothèque se documente elle-même · Diagrammes et graphes

stzMathSubstance

23 méthodes propres · 10 formes avec extensions, rangées sous leur méthode

la source: base/graph/stzMathDiagram.ring(s'ouvre dans un nouvel onglet) · Toutes les classes · La référence du domaine : Diagrammes et graphes

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 ; 4 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 stzMathSubstance(StzDotDomain()). 19 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

DomainQ

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

Declare

objectsQCSXTZZZIBWUMany

DeclareAll

"Set A, B, C"QCSXTZZZIBWU

HasObject

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

exemple composé

o1 = new stzMathSubstance(StzDotDomain())
? o1.HasObject("a")
#--> 0

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

aucune extension

TypeOf

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

Objects

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

ObjectNames

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

ObjectsOfType

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

Assert

relations ------------------------------------------------------------ Assert("Subset", [ "B", "A" ]) -- typechecked against the domain, because a relation over the wrong kind of object is a statement about nothing, and the earlier it is refused the nearer the refusal is to the line that made it.QCSXTZZZIBWU

Relations

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

Holds

Does the substance state pcPredicate over exactly these objects? Order matters unless the domain declared the predicate symmetric.

exemple composé

o1 = new stzMathSubstance(StzDotDomain())
? o1.Holds("a", [ 2, 3 ])
#--> 0

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

aucune extension

Define

function applications ------------------------------------------------ Define("u", "addV", [ "v", "w" ]): u is declared as the function's output type and remembered as its result. Typechecked like Assert.QCSXTZZZIBWU

Definitions

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

SetData

data ------------------------------------------------------------------ A NUMBER ON AN OBJECT. Penrose's Substance carries no numbers, and for a set or a point that is right: the content is the relation, not the coordinate. A table is different -- a cell IS its row, its column and its value -- and a heatmap is nothing but numbers. SetData puts one on an object under a key; any Style expression reads it as "x.key", to drive a position or, through a colour rule, a fill.QCSXTZZZIBWU

SetDataFrom

(sans commentaire dans la source : le nom se lit comme une phrase) set data fromQCSXTZZZIBWU

HasData

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

exemple composé

o1 = new stzMathSubstance(StzDotDomain())
? o1.HasData("a", "a")
#--> 0

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

aucune extension

DataOf

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

ToGraph

stzGraph folds node ids to lower case, and a substance's names are case-sensitive (DN7b). The true name rides as a node property, and two names that differ only by case are refused here, with the reason.QCSXTZZZIBWU

IsDefinedAs

Is pcName defined as pcFunction over exactly these objects, in order?

exemple composé

o1 = new stzMathSubstance(StzDotDomain())
? o1.IsDefinedAs("a", "a", [ 2, 3 ])
#--> 0

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

aucune extension

Label

labelsQCSXTZZZIBWU

AutoLabelAll

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

LabelOf

The label an object carries: the one given, else its own name when AutoLabel is on, else "".aucune extension