times_indexed_var< DDType, IdxType > Class Template Reference

Defines multiplication operation with the idx-th variable. More...

#include <pbori_func.h>

List of all members.

Public Member Functions

DDType & operator() (DDType &lhs, IdxType idx) const

Detailed Description

template<class DDType, class IdxType = typename DDType::idx_type>
class times_indexed_var< DDType, IdxType >

Defines multiplication operation with the idx-th variable.


Member Function Documentation

template<class DDType , class IdxType = typename DDType::idx_type>
DDType& times_indexed_var< DDType, IdxType >::operator() ( DDType &  lhs,
IdxType  idx 
) const [inline]

The documentation for this class was generated from the following file:
Generated on Tue May 4 08:13:32 2010 for PolyBoRi by  doxygen 1.6.3