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

stzMathDomain

18 méthodes propres · 5 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 ; 10 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 = StzGraphDomain(). 8 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

Name_

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

exemple composé

o1 = StzGraphDomain()
? o1.Name_()
#--> graph

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

aucune extension

AddType

typesQCSXTZZZIBWU

AddSubtype

"Hydrogen <: Atom": wherever an Atom is expected, a Hydrogen matches.QCSXTZZZIBWU

HasType

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

exemple composé

o1 = StzGraphDomain()
? o1.HasType("a")
#--> 0

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

aucune extension

Types

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

exemple composé

o1 = StzGraphDomain()
? @@( o1.Types() )
#--> [ "Vertex", "Edge", "Arc" ]

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

aucune extension

TypeMatches

TRUE when an object of pcActual may stand where pcWanted is asked for -- the same type, or a subtype of it, at any depth.

exemple composé

o1 = StzGraphDomain()
? o1.TypeMatches("a", "a")
#--> 1

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

aucune extension

AddPredicate

predicatesQCSXTZZZIBWU

AddSymmetricPredicate

Symmetric: Disjoint(A, B) IS Disjoint(B, A). Penrose restricts this to binary predicates over one type, and so does this.QCSXTZZZIBWU

HasPredicate

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

exemple composé

o1 = StzGraphDomain()
? o1.HasPredicate("a")
#--> 0

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

aucune extension

PredicateArity

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

exemple composé

o1 = StzGraphDomain()
? o1.PredicateArity("a")
#--> -1

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

aucune extension

IsSymmetric

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

exemple composé

o1 = StzGraphDomain()
? o1.IsSymmetric("a")
#--> 0

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

aucune extension

Predicates

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

exemple composé

o1 = StzGraphDomain()
? @@( o1.Predicates() )
#--> [ "Highlighted" ]

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

aucune extension

AddFunction

functions and constructorsQCSXTZZZIBWU

AddConstructor

a constructor is a function whose name is its output typeaucune extension

HasFunction

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

exemple composé

o1 = StzGraphDomain()
? o1.HasFunction("a")
#--> 0

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

aucune extension

FunctionOutputType

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

FunctionArity

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

exemple composé

o1 = StzGraphDomain()
? o1.FunctionArity("a")
#--> -1

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

aucune extension