- u -

• uniproc() : mc2lib::memconsistency::model12::Checker
• unset_props() : mc2lib::sets::Relation< Ts >
• UpdateObs() : mc2lib::codegen::armv7::Delay , mc2lib::codegen::armv7::DMB_ST , mc2lib::codegen::armv7::Read , mc2lib::codegen::armv7::Return , mc2lib::codegen::armv7::Write , mc2lib::codegen::Compiler< Operation, Backend > , mc2lib::codegen::NullOp< Backend, EvtState > , mc2lib::codegen::Op< Backend, EvtStateT > , mc2lib::codegen::strong::CacheFlush , mc2lib::codegen::strong::Delay , mc2lib::codegen::strong::Read , mc2lib::codegen::strong::ReadModifyWrite , mc2lib::codegen::strong::Return