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:

Generated on Wed Sep 2 12:41:47 2009 by  doxygen 1.5.8