compact.hpp File Reference

#include <algorithm>
#include <type_traits>

Go to the source code of this file.

Classes
class	Gecode::Int::Extensional::CompactActorFactory< TablePropagator, View >
class	Gecode::Int::Extensional::ReCompactActorFactory< TablePropagator, View, CtrlView, rm >
class	Gecode::Int::Extensional::CompactSupportPolicy< const BitSetData * >
class	Gecode::Int::Extensional::CompactSupportPolicy< CompressedSupport >
class	Gecode::Int::Extensional::PosCompactAlgorithm< Actor >
	Shared implementation of positive compact-table propagation. More...
class	Gecode::Int::Extensional::NegCompactAlgorithm< Actor >
	Shared implementation of negative compact-table propagation. More...
class	Gecode::Int::Extensional::ReCompactAlgorithm< Actor >
	Shared implementation of reified compact-table propagation. More...
class	Gecode::Int::Extensional::CompactCompressed< View, pos >
class	Gecode::Int::Extensional::CompactCompressed< View, pos >::ValidSupports
class	Gecode::Int::Extensional::CompactCompressed< View, pos >::LostSupports
class	Gecode::Int::Extensional::PosCompactCompressed< View, Table >
class	Gecode::Int::Extensional::NegCompactCompressed< View, Table >
class	Gecode::Int::Extensional::ReCompactCompressed< View, Table, CtrlView, rm >

Namespaces
namespace	Gecode
	Gecode toplevel namespace
namespace	Gecode::Int
	Finite domain integers.
namespace	Gecode::Int::Extensional
	Extensional propagators

Functions
template<class Factory, class Table, class Source>
Actor *	Gecode::Int::Extensional::compact_copy (Space &home, Source &source)
template<class Advisor>
bool	Gecode::Int::Extensional::compact_all (const Council< Advisor > &council)
template<class Advisor>
bool	Gecode::Int::Extensional::compact_atmostone (const Council< Advisor > &council)
template<class View, class Advisor, class ValidSupports, class Table>
void	Gecode::Int::Extensional::compact_setup (Space &home, Propagator &propagator, Council< Advisor > &council, const TupleSet &ts, Table &table, ViewArray< View > &x)
template<class Advisor, class Table>
bool	Gecode::Int::Extensional::compact_full (const Council< Advisor > &council, const Table &table)
template<class Advisor>
PropCost	Gecode::Int::Extensional::compact_cost (const Council< Advisor > &council)
template<class Support>
bool	Gecode::Int::Extensional::compact_support_empty (const Support &support)
template<class Table, class Support>
void	Gecode::Int::Extensional::compact_intersect (Table &table, const Support &support)
template<class View>
ExecStatus	Gecode::Int::Extensional::postposcompact (Home home, ViewArray< View > &x, const TupleSet &ts)
	Post function for positive compact table propagator.
template<class View>
ExecStatus	Gecode::Int::Extensional::postnegcompact (Home home, ViewArray< View > &x, const TupleSet &ts)
	Post function for compact table propagator.
template<class View, class CtrlView, ReifyMode rm>
ExecStatus	Gecode::Int::Extensional::postrecompact (Home home, ViewArray< View > &x, const TupleSet &ts, CtrlView b)
	Post function for compact table propagator.
template<class View>
ExecStatus	Gecode::Int::Extensional::postposcompact_compressed (Home home, ViewArray< View > &x, const TupleSet &ts)
	Post function for positive compact table with compressed supports.
template<class View>
ExecStatus	Gecode::Int::Extensional::postnegcompact_compressed (Home home, ViewArray< View > &x, const TupleSet &ts)
	Post function for negative compact table with compressed supports.
template<class View, class CtrlView, ReifyMode rm>
ExecStatus	Gecode::Int::Extensional::postrecompact_compressed (Home home, ViewArray< View > &x, const TupleSet &ts, CtrlView b)
	Post function for reified compact table with compressed supports.