void constraints() {
OKLIB_MODELS_CONCEPT_TAG(IncDir, IncludeDirective);
OKLIB_MODELS_CONCEPT_REQUIRES(IncDir, BasicRequirements);
OKLIB_MODELS_CONCEPT_TAG(IncDir, BasicRequirements);
OKLIB_MODELS_CONCEPT_REQUIRES(IncDir, FullyConstructibleEq);
OKLIB_MODELS_CONCEPT_TAG(IncDir, FullyConstructibleEq);
OKLIB_MODELS_CONCEPT_REQUIRES(IncDir, EqualitySubstitutable);
OKLIB_MODELS_CONCEPT_TAG(IncDir, EqualitySubstitutable);
OKLIB_MODELS_CONCEPT_REQUIRES(IncDir, OutputStreamable);
OKLIB_MODELS_CONCEPT_TAG(IncDir, OutputStreamable);
OKLIB_MODELS_CONCEPT_REQUIRES(string_type, FullyConstructible);
IncDir(str_c, s_c, s_c, if_c);
static_cast<boost::filesystem::path>(dir_c);
size_type siz; string_type str; Include_forms inc;
str = static_cast<string_type>(dir_c.header_file());
static_cast<string_type&>(dir.header_file()) = str;
siz = static_cast<size_type>(dir_c.number_spaces_after_hash());
static_cast<size_type&>(dir.number_spaces_after_hash()) = siz;
siz = static_cast<size_type>(dir_c.number_spaces_after_include());
static_cast<size_type&>(dir.number_spaces_after_include()) = siz;
inc = static_cast<Include_forms>(dir_c.include_form());
static_cast<Include_forms&>(dir.include_form()) = inc;
str = static_cast<string_type>(dir_c.opening());
str = static_cast<string_type>(dir.opening());
str = static_cast<string_type>(dir_c.closing());
str = static_cast<string_type>(dir.closing());
}
void constraints() {
OKLIB_MODELS_CONCEPT_TAG(Var, Variables);
OKLIB_MODELS_CONCEPT_REQUIRES(Var, BasicRequirements);
OKLIB_MODELS_CONCEPT_TAG(Var, BasicRequirements);
OKLIB_MODELS_CONCEPT_REQUIRES(Var, FullyConstructible);
OKLIB_MODELS_CONCEPT_TAG(Var, FullyConstructible);
OKLIB_MODELS_CONCEPT_REQUIRES(Var, EqualitySubstitutable);
OKLIB_MODELS_CONCEPT_TAG(Var, EqualitySubstitutable);
OKLIB_MODELS_CONCEPT_REQUIRES(Var, LinearOrder);
OKLIB_MODELS_CONCEPT_TAG(Var, LinearOrder);
bool b;
b = static_cast<bool>(v);
b = static_cast<bool>(vc);
}
void constraints() {
OKLIB_MODELS_CONCEPT_TAG(Var, VariablesAsIndex);
OKLIB_MODELS_CONCEPT_REQUIRES(Var, VariablesWithIndex);
OKLIB_MODELS_CONCEPT_TAG(Var, VariablesWithIndex);
dummy_use_v(Var(i));
dummy_use_v(Var(ic));
}
void constraints() {
OKLIB_MODELS_CONCEPT_TAG(Var, VariablesWithIndex);
OKLIB_MODELS_CONCEPT_REQUIRES(Var, Variables);
OKLIB_MODELS_CONCEPT_TAG(Var, Variables);
index_type ind;
ind = static_cast<index_type>(v);
ind = static_cast<index_type>(vc);
}
void constraints() {
OKLIB_MODELS_CONCEPT_TAG(Lit, Literals);
OKLIB_MODELS_CONCEPT_REQUIRES(Lit, BasicRequirements);
OKLIB_MODELS_CONCEPT_TAG(Lit, BasicRequirements);
OKLIB_MODELS_CONCEPT_REQUIRES(Lit, FullyConstructible);
OKLIB_MODELS_CONCEPT_TAG(Lit, FullyConstructible);
OKLIB_MODELS_CONCEPT_REQUIRES(Lit, EqualitySubstitutable);
OKLIB_MODELS_CONCEPT_TAG(Lit, EqualitySubstitutable);
OKLIB_MODELS_CONCEPT_REQUIRES(Lit, LinearOrder);
OKLIB_MODELS_CONCEPT_TAG(Lit, LinearOrder);
OKLIB_MODELS_CONCEPT_REQUIRES(var_type, Concepts::Variables);
OKLIB_MODELS_CONCEPT_TAG(var_type, Concepts::Variables);
OKLIB_MODELS_CONCEPT_REQUIRES(cond_type, Concepts::AtomicCondition);
OKLIB_MODELS_CONCEPT_TAG(cond_type, Concepts::AtomicCondition);
static_cast<var_type>(OKlib::Literals::var(lc));
static_cast<var_type>(OKlib::Literals::var(l));
static_cast<cond_type>(OKlib::Literals::cond(lc));
OKlib::Literals::set_cond(l, c);
dummy_use(Lit(v));
}
