- r -

• r() : lala::TFormula< Allocator, ExtendedSig >
• reset() : lala::FixpointSubsetCPU< FixpointEngine >
• reset_data() : lala::VStore< U, Allocator >
• restore() : lala::FixpointSubsetCPU< FixpointEngine > , lala::VarEnv< Allocator > , lala::VStore< U, Allocator >
• reverse() : lala::Interval< U >