less_bdd Struct Reference
#include <pfa.h>
List of all members.
|
Public Member Functions |
bool | operator() (const bdd x, const bdd y) const |
bool | lessbdd (const bdd x, const bdd y) const |
Detailed Description
Product Family Algebra Module This module contains the functions that correspond to the DOT and PLUS in Product Family Algebra. The module provides the upper set-layer. PFA is a set of sets for the set model and a set of bags in the bag model. This utilizes the STL library as a wrapper to the sets(bdds), or bags(bdds) in the lower level. This is a comparison function that works as an orderering relation between the upper level of sets. The sets of sets or the sets of bags.
Member Function Documentation
bool less_bdd::lessbdd |
( |
const bdd |
x, |
|
|
const bdd |
y | |
|
) |
| | const [inline] |
bool less_bdd::operator() |
( |
const bdd |
x, |
|
|
const bdd |
y | |
|
) |
| | const [inline] |
The documentation for this struct was generated from the following file: