[PEP] Could all BooleanVars be auto-linked? #3671
Description
Summary
It seems like, in Pyomo 7, if we're going to still link between Boolean and binary (which could also be debated), it would be nicer if all BooleanVars were autolinked and we did not give the user control of the linking from Boolean to binary.
Rationale
The current design is very confusing since we do this for Disjunct indicator variables, but nothing else. It also leaves open a lot of potential for bugs that come from reassigning the links between binaries and Booleans.
Description
This is mostly a placeholder that we should include this conversation in our Pyomo 7 discussions...