capd::dynsys::C1SetMove< 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>

static void capd::dynsys::C1SetMove< 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>

static void capd::dynsys::C1SetMove< T, SetT, isSet >::move ( SetT &  set, T &  solver  )

inlinestatic