Struct NoClocks 

pub struct NoClocks();

A time representation not supporting any real-valued clocks.

Trait Implementations

impl Clone for NoClocks

fn clone(&self) -> NoClocks

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NoClocks

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for NoClocks

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for NoClocks

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for NoClocks

fn eq(&self, other: &NoClocks) -> 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 NoClocks

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 NoClocks

type Valuations = ()

Type used to represent potentially infinite sets of clock valuations.

type External = ()

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

type CompiledDifference = ()

Type used to represent the difference between two clocks.

type CompiledClocks = ()

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 future(&self, _valuations: Self::Valuations) -> Self::Valuations

Extrapolates the future of the given valuations.

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

impl Eq for NoClocks

impl StructuralPartialEq for NoClocks