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