CAPD::DynSys Library
6.0.0
|
Typedefs | |
typedef capd::covrel::HSet2D< DMatrix, IMatrix > | HSet2D |
Functions | |
template<typename DynSysType , typename GridSet , typename ConditionT , typename HSet > | |
bool | moveGridAndCheckCondition (DynSysType &dynsys, const GridSet &grid, const ConditionT &condition, const HSet &hset) |
template<typename Map , typename HSet > | |
bool | checkCoveringRelation (Map &f, const HSet &N1, const HSet &N2) |
int | main () |
typedef capd::covrel::HSet2D<DMatrix, IMatrix> HSet2D |
bool checkCoveringRelation | ( | Map & | f, |
const HSet & | N1, | ||
const HSet & | N2 | ||
) |
int main | ( | ) |
bool moveGridAndCheckCondition | ( | DynSysType & | dynsys, |
const GridSet & | grid, | ||
const ConditionT & | condition, | ||
const HSet & | hset | ||
) |