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