graph_primitives

Edge metadata and graph error definitions.

pysatl_core.distributions.registry.graph_primitives.DEFAULT_COMPUTATION_KEY: str = 'PySATL_default_computation': Default label for computation edges when no specific label is provided.

class pysatl_core.distributions.registry.graph_primitives.EdgeMeta(method, constraint=<factory>)[source]

Bases: object

Metadata for a computation edge in the characteristic graph.

Parameters:

method (ComputationMethod) – The computation method that defines the edge.
constraint (GraphPrimitiveConstraint) – Constraint determining when this edge is applicable to a distribution. Defaults to a pass-through constraint that always allows.

method: ComputationMethod[Any, Any]

constraint: GraphPrimitiveConstraint

__init__(method, constraint=<factory>)

Parameters:

method (ComputationMethod[Any, Any])
constraint (GraphPrimitiveConstraint)

Return type:

None

exception pysatl_core.distributions.registry.graph_primitives.GraphInvariantError[source]

Bases: RuntimeError

Raised when characteristic graph invariants are violated.

This error occurs when creating a RegistryView and the filtered graph does not satisfy the required invariants (e.g., definitive subgraph is not strongly connected).