CAPD::DynSys Library  6.0.0
Static Public Member Functions | List of all members
capd::dynsys::CnSetMove< T, SetT, isSet > Struct Template Reference

#include <capd/dynsys/Move.h>

Static Public Member Functions

static void move (SetT &set, T &solver)
 
static void move (SetT &set, SetT &result, T &solver)
 

Member Function Documentation

◆ move() [1/2]

template<class T , class SetT , bool isSet = capd::dynset::SetTraits<typename SetT::SetType>::isC0Set or capd::dynset::SetTraits<typename SetT::SetType>::isC1Set or capd::dynset::SetTraits<typename SetT::SetType>::isC2Set or capd::dynset::SetTraits<typename SetT::SetType>::isCnSet>
static void capd::dynsys::CnSetMove< T, SetT, isSet >::move ( SetT &  set,
SetT &  result,
T &  solver 
)
inlinestatic

◆ move() [2/2]

template<class T , class SetT , bool isSet = capd::dynset::SetTraits<typename SetT::SetType>::isC0Set or capd::dynset::SetTraits<typename SetT::SetType>::isC1Set or capd::dynset::SetTraits<typename SetT::SetType>::isC2Set or capd::dynset::SetTraits<typename SetT::SetType>::isCnSet>
static void capd::dynsys::CnSetMove< T, SetT, isSet >::move ( SetT &  set,
T &  solver 
)
inlinestatic
The documentation for this struct was generated from the following file: