|
|
|---|
|
|
|
|---|
Display the list of objects corresponding to the Boolean variables used in the symbolic representation of an object
Logically, this returns its second argument; its first argument should be a variable symbol. This finds which Boolean variables are used in the representation of the object (second argument) and prints out the objects from which those variables were generated.
If you want to do anything else with this list of objects, you can get that
list using