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

#include <capd/diffIncl/DiffInclusion.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 >
static void capd::diffIncl::DiffInclusionSetMove< T, SetT >::move ( SetT &  set,
SetT &  result,
T &  solver 
)
inlinestatic

◆ move() [2/2]

template<class T , class SetT >
static void capd::diffIncl::DiffInclusionSetMove< T, SetT >::move ( SetT &  set,
T &  solver 
)
inlinestatic
The documentation for this struct was generated from the following file: