Struct momba_explore::time::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 copy of the value.

pub 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 Eq for NoClocks

impl Hash for NoClocks

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

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

impl PartialEq<NoClocks> for NoClocks

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

This method tests for self and other values to be equal, and is used by ==.

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

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 StructuralEq for NoClocks

impl StructuralPartialEq for NoClocks

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