CoCoALib-0.9905 date: 23 May 2007


CoCoA::DivMask Class Reference

Implementation of DivMask for fast divisibility test. More...

#include <DivMask.H>

List of all members.

Public Types

typedef std::bitset< MaskWidthmask_t

Static Public Attributes

static const std::size_t MaskWidth = 32

Friends

class DivMaskRuleBase
const mask_t bits (const DivMask &dm)


Detailed Description

Implementation of DivMask for fast divisibility test.

DivMask implements a generalization of the present/absent bitset of a PP for fast divisibility tests. It is represented as a bitset whose size must be defined at compile-time for efficiency (its main reason for existence!) and it must satisfy:

pp1 | pp2 ==> dm1 | dm2 ( lcm(pp1,pp2)=pp2 ==> dm1 && dm2 = dm2 )

See DivMaskRuleBase.

Definition at line 54 of file DivMask.H.


Member Typedef Documentation

typedef std::bitset<MaskWidth> CoCoA::DivMask::mask_t
 

Definition at line 58 of file DivMask.H.


Friends And Related Function Documentation

friend class DivMaskRuleBase [friend]
 

Definition at line 63 of file DivMask.H.

const mask_t bits const DivMask dm  )  [friend]
 

Definition at line 117 of file DivMask.H.


Member Data Documentation

const std::size_t CoCoA::DivMask::MaskWidth = 32 [static]
 

Definition at line 57 of file DivMask.H.


The documentation for this class was generated from the following file:
Generated on Wed May 23 13:46:16 2007 for CoCoALib by  doxygen 1.4.6