# families.h File Reference

Go to the source code of this file.

## Variables
bdd | a1 = bdd_ithvar(1)
bdd | b1 = bdd_ithvar(2)
bdd | c1 = bdd_ithvar(3)
bdd | d1 = bdd_ithvar(4)
bdd | e1 = bdd_ithvar(5)
bdd | f1 = bdd_ithvar(6)
bdd | g1 = bdd_ithvar(7)
bdd | h1 = bdd_ithvar(8)
bdd | i1 = bdd_ithvar(9)
bdd | j1 = bdd_ithvar(10)
bdd | k1 = bdd_ithvar(11)
bdd | l1 = bdd_ithvar(12)
bdd | m1 = bdd_ithvar(13)
bdd | n1 = bdd_ithvar(14)
bdd | o1 = bdd_ithvar(15)
bdd | p1 = bdd_ithvar(16)
bdd | temp1

## Variable Documentation

bdd a1 = bdd_ithvar(1)

bdd b1 = bdd_ithvar(2)

bdd c1 = bdd_ithvar(3)

bdd d1 = bdd_ithvar(4)

bdd e1 = bdd_ithvar(5)

bdd f1 = bdd_ithvar(6)

bdd g1 = bdd_ithvar(7)

bdd h1 = bdd_ithvar(8)

bdd i1 = bdd_ithvar(9)

bdd j1 = bdd_ithvar(10)

bdd k1 = bdd_ithvar(11)

bdd l1 = bdd_ithvar(12)

bdd m1 = bdd_ithvar(13)

bdd n1 = bdd_ithvar(14)

bdd o1 = bdd_ithvar(15)

bdd p1 = bdd_ithvar(16)

bdd temp1