Struct HwKnowledgeGraph 

pub struct HwKnowledgeGraph {
    pub signals: Vec<KgSignal>,
    pub properties: Vec<KgProperty>,
    pub edges: Vec<KgEdge>,
    pub entities: Vec<(String, HwEntityType)>,
    pub typed_edges: Vec<(String, String, HwRelation)>,
}

Hardware Knowledge Graph — extracted from Kripke-lowered FOL.

Fields

signals: Vec<KgSignal>

properties: Vec<KgProperty>

edges: Vec<KgEdge>

entities: Vec<(String, HwEntityType)>

Typed entities from the formal ontology (Sprint 0E).

typed_edges: Vec<(String, String, HwRelation)>

Typed relations from the formal ontology (Sprint 0E).

Implementations

impl HwKnowledgeGraph

pub fn new() -> Self

pub fn add_entity(&mut self, name: impl Into<String>, entity: HwEntityType)

pub fn add_typed_edge( &mut self, from: impl Into<String>, to: impl Into<String>, relation: HwRelation, )

pub fn to_json(&self) -> String

Serialize the KG to JSON for LLM consumption.

pub fn add_signal( &mut self, name: impl Into<String>, width: u32, role: SignalRole, )

pub fn add_property( &mut self, name: impl Into<String>, property_type: impl Into<String>, operator: impl Into<String>, )

pub fn add_edge( &mut self, from: impl Into<String>, to: impl Into<String>, relation: KgRelation, property: Option<String>, )

Trait Implementations

impl Clone for HwKnowledgeGraph

fn clone(&self) -> HwKnowledgeGraph

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HwKnowledgeGraph

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

Formats the value using the given formatter.

impl Default for HwKnowledgeGraph

fn default() -> Self

Returns the “default value” for a type.