55   class UnaryPropagator : public Propagator {
62     UnaryPropagator(Space& home, Propagator& p, View x0);
84   class BinaryPropagator : public Propagator {
93     BinaryPropagator(Space& home, Propagator& p, View x0, View x1);
113   class TernaryPropagator : public Propagator {
122     TernaryPropagator(Space& home, Propagator& p, View x0, View x1, View x2);
142   class NaryPropagator : public Propagator {
149     NaryPropagator(Space& home, Propagator& p, ViewArray<View>& x);
172   class NaryOnePropagator : public Propagator {
181     NaryOnePropagator(Space& home, Propagator& p, ViewArray<View>& x, View y);
204   class MixBinaryPropagator : public Propagator {
215     MixBinaryPropagator(Space& home, Propagator& p, View0 x0, View1 x1);
237   class MixTernaryPropagator : public Propagator {
250     MixTernaryPropagator(Space& home, Propagator& p,
272   class MixNaryOnePropagator : public Propagator {
283     MixNaryOnePropagator(Space& home, Propagator& p,
303     : Propagator(home), x0(y0) {  in UnaryPropagator()
312     : Propagator(home,p) {  in UnaryPropagator()
319   (Space& home, Propagator& p, View y0)  in UnaryPropagator()
320     : Propagator(home,p) {  in UnaryPropagator()
342     (void) Propagator::dispose(home);  in dispose()
354     : Propagator(home), x0(y0), x1(y1) {  in BinaryPropagator()
365     : Propagator(home,p) {  in BinaryPropagator()
373   (Space& home, Propagator& p, View y0, View y1)  in BinaryPropagator()
374     : Propagator(home,p) {  in BinaryPropagator()
401     (void) Propagator::dispose(home);  in dispose()
413     : Propagator(home), x0(y0), x1(y1), x2(y2) {  in TernaryPropagator()
425     : Propagator(home,p) {  in TernaryPropagator()
434   (Space& home, Propagator& p, View y0, View y1, View y2)  in TernaryPropagator()
435     : Propagator(home,p) {  in TernaryPropagator()
465     (void) Propagator::dispose(home);  in dispose()
477     : Propagator(home), x(y) {  in NaryPropagator()
486     : Propagator(home,p) {  in NaryPropagator()
493   (Space& home, Propagator& p, ViewArray<View>& x0)  in NaryPropagator()
494     : Propagator(home,p) {  in NaryPropagator()
516     (void) Propagator::dispose(home);  in dispose()
528     : Propagator(home), x(x0), y(y0) {  in NaryOnePropagator()
539     : Propagator(home,p) {  in NaryOnePropagator()
547   (Space& home, Propagator& p, ViewArray<View>& x0, View y0)  in NaryOnePropagator()
548     : Propagator(home,p) {  in NaryOnePropagator()
575     (void) Propagator::dispose(home);  in dispose()
587     : Propagator(home), x0(y0), x1(y1) {  in MixBinaryPropagator()
598     : Propagator(home,p) {  in MixBinaryPropagator()
606   (Space& home, Propagator& p, View0 y0, View1 y1)  in MixBinaryPropagator()
607     : Propagator(home,p) {  in MixBinaryPropagator()
635     (void) Propagator::dispose(home);  in dispose()
648     : Propagator(home), x0(y0), x1(y1), x2(y2) {  in MixTernaryPropagator()
664     : Propagator(home,p) {  in MixTernaryPropagator()
674   (Space& home, Propagator& p, View0 y0, View1 y1, View2 y2)  in MixTernaryPropagator()
675     : Propagator(home,p) {  in MixTernaryPropagator()
711     (void) Propagator::dispose(home);  in dispose()
723     : Propagator(home), x(x0), y(y0) {  in MixNaryOnePropagator()
734     : Propagator(home,p) {  in MixNaryOnePropagator()
742   (Space& home, Propagator& p, ViewArray<View0>& x0, View1 y0)  in MixNaryOnePropagator()
743     : Propagator(home,p) {  in MixNaryOnePropagator()
771     (void) Propagator::dispose(home);  in dispose()