CAPD DynSys Library 5.2.0
CnTest Struct Reference

Static Public Member Functions

template<class PM >
static void computePM (PM &pm)
 
template<class Solver >
static void setMask (Solver &solver)
 
static void checkNoMask ()
 
static void checkMask ()
 

Member Function Documentation

◆ checkMask()

static void CnTest::checkMask ( )
inlinestatic

◆ checkNoMask()

static void CnTest::checkNoMask ( )
inlinestatic

◆ computePM()

template<class PM >
static void CnTest::computePM ( PM &  pm)
inlinestatic

◆ setMask()

template<class Solver >
static void CnTest::setMask ( Solver solver)
inlinestatic