fhelium.backend.triton._matching
Recognize pure RNS expressions and NTT dependencies from Program facts.
RegionMatcher
class View source
python
RegionMatcher(*, include_ntt: bool)1
Analyze growing fusion candidates during one read-only scheduling window.
Probes update only the proposed operation and its affected escaping results, then roll back. Committing a candidate retains those facts for the next probe. Layout memoization belongs to this matcher and is discarded after scheduling.
reset
method
python
def reset() -> None: ...1
Start a new region while retaining immutable per-value layout facts.
append
method
python
def append(operation: Operation) -> None: ...1
Commit the operation chosen by the scheduler, including nonmatches.
probe
method
python
def probe(operation: Operation) -> int | None: ...1
Check one extension without changing the committed region.
match_region
function View source
python
def match_region(operations: Sequence[Operation], *, include_ntt: bool) -> int | None: ...1
Return supported computational-op count, zero for plumbing, or None.