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


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