INTERSECTBDDNODE(3) - Linux manual page online | Library functions

Tests for an intersection between two bdd nodes.