64 const std::vector<Domain>& v_domains,
const std::vector<std::string>& v_str_expected_doms);
75 const std::vector<Domain*>& v_ptr_domains,
const std::vector<std::string>& v_str_expected_doms);
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9
DomainsTypeException(const std::string &ctc_name, const std::vector< Domain *> &v_ptr_domains, const std::vector< std::string > &v_str_expected_doms)
Creates a DomainsTypeException from a vector of pointers to Domain objects.
static std::string exception_message(const std::string &ctc_name, const std::vector< Domain > &v_domains, const std::vector< std::string > &v_str_expected_doms)
Generates the Exception message.
Exception raised if the domains connected to a contractor in a CN are not consistent with the contrac...
Definition: codac_DomainsTypeException.h:27