[−][src]Function llhd::const_time
pub fn const_time(time: BigRational, delta: usize, epsilon: usize) -> Const
Create a new time constant.
pub fn const_time(time: BigRational, delta: usize, epsilon: usize) -> Const
Create a new time constant.