bddRelationConst Class Reference

#include <bddRelation.h>

Inheritance diagram for bddRelationConst:

Inheritance graph
[legend]
Collaboration diagram for bddRelationConst:

Collaboration graph
[legend]

Detailed Description

Definition at line 612 of file bddRelation.h.

Public Member Functions

 bddRelationConst (bddRelation pRel)


Constructor & Destructor Documentation

bddRelationConst::bddRelationConst ( bddRelation  pRel  )  [inline]

Definition at line 615 of file bddRelation.h.


The documentation for this class was generated from the following file:
Generated on Fri Jun 6 22:22:28 2008 for CrocoPat by  doxygen 1.5.1