Gecode::Int::Extensional::ReCompactActorFactory< TablePropagator, View, CtrlView, rm > Class Template Reference

#include <gecode/int/extensional/compact.hpp>

Static Public Member Functions
template<class Table, class Source>
static Actor *	copy (Space &home, Source &source)

Detailed Description

template<template< class, class, class, ReifyMode > class TablePropagator, class View, class CtrlView, ReifyMode rm>
class Gecode::Int::Extensional::ReCompactActorFactory< TablePropagator, View, CtrlView, rm >

Definition at line 207 of file compact.hpp.

Member Function Documentation

copy()

template<template< class, class, class, ReifyMode > class TablePropagator, class View, class CtrlView, ReifyMode rm>

template<class Table, class Source>

Actor * Gecode::Int::Extensional::ReCompactActorFactory< TablePropagator, View, CtrlView, rm >::copy ( Space & home, Source & source )

inlinestatic

Definition at line 210 of file compact.hpp.

---

The documentation for this class was generated from the following file:

• gecode/int/extensional/compact.hpp