Struct CompiledGenerator 

pub struct CompiledGenerator { /* private fields */ }

A compiled SVA generator — P1 output.

Captures the synthesis result for a fixed spec. Calling generate(clock) reconstructs the SVA with the given clock, without re-parsing or re-synthesizing.

Implementations

impl CompiledGenerator

pub fn generate(&self, clock: &str) -> Result<SynthesizedSva, String>

Generate SVA for this fixed spec with the given clock.

This is the “compiled” path — no spec parsing, no KG extraction, no synthesis. Pure string formatting from cached data.

pub fn spec_hash(&self) -> u64

Check if this generator was compiled from a specific spec.

pub fn body(&self) -> &str

Get the cached body (no synthesis overhead).

pub fn signals(&self) -> &[String]

Get the cached signals.

Trait Implementations

impl Clone for CompiledGenerator

fn clone(&self) -> CompiledGenerator

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CompiledGenerator

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.