Class Propagator

gecode/kernel/core.hpp:136–136

  class ActorLink;
  class Actor;
  class Propagator;
  class SubscribedPropagators;
  class LocalObject;
  class Advisor;