# 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:

- pfa.h