Node

Xor-node

An AND gate node.

This is a product type, introduced by fty::defflexsum in support of node.

Fields

fanin0 — lit: First fanin literal of the AND gate
fanin1 — lit: Second fanin literal of the AND gate

Subtopics

Xor-node->fanin1: Get the fanin1 field from a xor-node.
Xor-node->fanin0: Get the fanin0 field from a xor-node.