OBDD.Linopt
type
Item
v w
linopt
fill
noadd
add