Esempi in C++ (Cpp) per LEAN_COPY_REF

Esempio n. 1

File: discr_tree.cpp Progetto: GallagherCommaJack/lean

discr_tree::node & discr_tree::node::operator=(node const & n) { LEAN_COPY_REF(n); }

Esempio n. 2

File: expr.cpp Progetto: sakas--/lean

macro_definition & macro_definition::operator=(macro_definition const & s) { LEAN_COPY_REF(s); }

Esempio n. 3

File: environment.cpp Progetto: sakas--/lean

environment_id & environment_id::operator=(environment_id const & s) { m_depth = s.m_depth; LEAN_COPY_REF(s); }

Esempio n. 4

File: parse_table.cpp Progetto: vishallama/lean

parse_table & parse_table::operator=(parse_table const & s) { LEAN_COPY_REF(s); }

Esempio n. 5

File: level.cpp Progetto: pazthor/lean

level & level::operator=(level const & l) { LEAN_COPY_REF(l); }

Esempio n. 6

File: declaration.cpp Progetto: GallagherCommaJack/lean

declaration & declaration::operator=(declaration const & s) { LEAN_COPY_REF(s); }