Struct GraphvizStyle 

pub struct GraphvizStyle { /* private fields */ }

Parameters for Graphviz rendering.

Global parameters

• rankdir

Nodes

The following nodes can be rendered using GraphvizNodeStyle:

• AigNode::False
• AigNode::Input
• AigNode::Latch
• AigNode::And
• output (by default, invisible node just to get an arrow)
• xor gate (for miter)
• or gate (for miter).

Edges

Edge styles are additive. All edges implement the edge_all style. To that can be added:

• edge_latch if the edge is pointing at a latch
• edge_complement if the edge is complemented
• edge_output if the edge is directed to a final output (an output for an AIG, the output of the final OR/XOR gate for a miter depending on its structure).

Implementations

impl GraphvizStyle

pub fn debug() -> Self

Trait Implementations

impl Default for GraphvizStyle

fn default() -> Self

Returns the “default value” for a type.