 #x:open-namespace
#x:model-name ::#x:model-name(const dzn::locator& locator)
: #x:meta
, dzn_locator(std::move(locator.clone().set(dzn_rt).set(dzn_pump)))
 #x:injected-instance-initializer
 #x:injected-instance-system-initializer
 #x:non-injected-instance-initializer
 #x:provides-port-reference-initializer
 #x:requires-port-reference-initializer
, dzn_pump()
{
  #x:shell-provides-meta-initializer
  #x:shell-requires-meta-initializer

  #x:shell-provides-in
  #x:shell-requires-out
  #x:shell-provides-out
  #x:shell-requires-in

  #x:shell-non-injected-instance-meta
  #x:system-port-connect
  #x:system-rank
}

void #x:model-name ::check_bindings() const
{
  dzn::check_bindings(&dzn_meta);
}

void #x:model-name ::dump_tree(std::ostream& os) const
{
  dzn::dump_tree(os, &dzn_meta);
}
 #x:close-namespace