Struct ComponentSynthQuery 

pub struct ComponentSynthQuery {
    pub target_sort: String,
    pub spec: String,
    pub inputs: Vec<(String, String)>,
}

A component-based synthesis query.

Fields

target_sort: String

The target sort to synthesise.

spec: String

The logical specification.

inputs: Vec<(String, String)>

Available inputs (name, sort).

Implementations

impl ComponentSynthQuery

pub fn new( target_sort: impl Into<String>, spec: impl Into<String>, inputs: Vec<(String, String)>, ) -> Self

Build a synthesis query.

Trait Implementations

impl Clone for ComponentSynthQuery

fn clone(&self) -> ComponentSynthQuery

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ComponentSynthQuery

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

Formats the value using the given formatter.