StructureFunction

[michaelhglass]

• Provide an equivalent of the structure function phi: 2^X -> {0,1} that, given a set of variables that are assigned a value, returns true or false
• This models whether a system can still work given a set of operational and/or failed components
• It is already implicitly included e.g. in a BDD representing a Term, but there is no direct interface to access this information from the BDD without additional code hassle