Home
last modified time | relevance | path

Searched refs:removed_time (Results 1 – 6 of 6) sorted by relevance

/dports/games/minetest/minetest-5.4.1/src/
H A Dnodetimer.h81 double removed_time = n->second->first; in remove() local
87 if (removed_time == m_next_trigger_time) { in remove()
/dports/devel/p5-POE/POE-1.368/t/20_resources/00_base/
H A Devents.pm189 my ($removed_name, $removed_time, $removed_args) = @{$removed[0]};
191 is($removed_time, 4, "last alarm had the corrent due time");
/dports/cad/ngspice_rework/ngspice-35/src/xspice/evt/
H A Devtqueue.c133 next->removed_time = posted_time; in EVTqueue_output()
H A Devtbackup.c566 if(output->removed && (output->removed_time > new_time)) in EVTbackup_output_queue()
/dports/cad/ngspice_rework/ngspice-35/src/include/ngspice/
H A Devt.h166 double removed_time; /* Time at which event was deactivated */ member
/dports/security/arti/arti-9d0ede26801cdb182daa85c3eb5f0058dc178eb6/crates/tor-circmgr/src/timeouts/
H A Dpareto.rs205 Some(removed_time) => { in add_time()
208 self.dec_bucket(removed_time); in add_time()