Spaces:
Sleeping
Sleeping
File size: 1,287 Bytes
7952f32 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 | """Constraint vocabulary and dispatch.
Three families (PROPOSAL.md §2.2):
* Structural — node_exists, edge_exists, module_count, acyclic_imports,
fan_in_max, fan_out_max, dag_depth_max, internal_only, …
* Type / signature — signature_matches, return_type, arg_type,
type_consistency, no_any_types, pure_function (TODO)
* Behavioral / materialization — materializes, imports_resolve,
type_checks, behavioral_test_passes, error_handling_present|absent
Currently shipped: tier-0 subset of structural + ``materializes``. Additional
kinds land as new discriminated members in :mod:`schema` and matching
``_check_*`` functions in :mod:`checker`.
"""
from graphforge.constraints.checker import (
SatisfactionReport,
check,
evaluate_all,
)
from graphforge.constraints.schema import (
AcyclicImports,
Constraint,
EdgeExists,
Materializes,
ModuleCount,
ModuleResponsibility,
ModuleSizeMax,
NodeAbsent,
NodeExists,
STRUCTURAL_KINDS,
)
__all__ = [
"AcyclicImports",
"Constraint",
"EdgeExists",
"Materializes",
"ModuleCount",
"ModuleResponsibility",
"ModuleSizeMax",
"NodeAbsent",
"NodeExists",
"STRUCTURAL_KINDS",
"SatisfactionReport",
"check",
"evaluate_all",
]
|