Struct Float64Zone 

pub struct Float64Zone { /* private fields */ }

A time representation using f64 clock zones.

Trait Implementations

impl Clone for Float64Zone

fn clone(&self) -> Float64Zone

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Float64Zone

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Float64Zone

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Float64Zone

fn eq(&self, other: &Float64Zone) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Float64Zone

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TimeType for Float64Zone

fn future(&self, valuations: Self::Valuations) -> Self::Valuations

Extrapolates the future of the given valuations.

type Valuations = DBM<ConstantBound<NotNan<f64>>>

Type used to represent potentially infinite sets of clock valuations.

type External = <Float64Zone as TimeType>::Valuations

Type used to represent partially infinite sets of clock valuations externally.

type CompiledDifference = (usize, usize)

Type used to represent the difference between two clocks.

type CompiledClocks = Vec<usize>

Type used to represent a compiled set of clocks.

fn new(network: &Network) -> Result<Self, String>

Crates a new instance of TimeType for the given network.

fn compile_difference( &self, left: &Clock, right: &Clock, ) -> Self::CompiledDifference

Takes two clocks and returns a compiled difference between left and right.

fn compile_clocks(&self, clocks: &HashSet<Clock>) -> Self::CompiledClocks

Takes a set of clocks and returns a compiled set of clocks.

fn is_empty(&self, valuations: &Self::Valuations) -> bool

Checks the provided set of valuations is empty.

fn create_valuations( &self, constraints: Vec<Constraint<Self>>, ) -> Result<Self::Valuations, String>

Creates a set of valuations based on the given constraints.

fn constrain( &self, valuations: Self::Valuations, difference: &Self::CompiledDifference, is_strict: bool, bound: Value, ) -> Self::Valuations

Constrain a set of valuations with the given constraint.

fn reset( &self, valuations: Self::Valuations, clocks: &Self::CompiledClocks, ) -> Self::Valuations

Resets the clocks of the given set to 0.

fn externalize(&self, valuations: Self::Valuations) -> Self::External

impl Eq for Float64Zone

impl StructuralPartialEq for Float64Zone