CAPD DynSys Library 5.2.0
capd::dynsys::C2SetMove< 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>
static void capd::dynsys::C2SetMove< 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>
static void capd::dynsys::C2SetMove< T, SetT, isSet >::move ( SetT &  set,
T &  solver 
)
inlinestatic