Struct TimeScheduler

pub struct TimeScheduler<'a> { /* private fields */ }

A manager of constrained time variables.

A time scheduler maintains a set of time windows according to a set of constraints.

The set of constraints (i.e. the graph) could be shared by many schedulers which could differ by their chosen slots (of course, the constraint set is satisfied for any scheduler). It could be useful to explore many scheduler without duplicating the constraints.

Implementations

impl TimeScheduler<'_>

pub fn new(graph: &TimeGraph) -> TimeScheduler<'_>

pub fn constraints(&self) -> &TimeGraph

pub fn scheduling(&self, i: Instant) -> Option<&TimeSlots>

pub fn schedule(&self) -> &[TimeSlots]

pub fn latest_beginning(&self) -> Timestamp

The minimum of the upper bounds of each scheduling

pub fn earliest_ending(&self) -> Timestamp

The maximum of the lower bounds of each scheduling

pub fn set_deadline( &mut self, deadline: Timestamp, ) -> Result<TimePropagation, TimeInconsistencyError>

Add constraint in order to guarantee that all the instants is scheduled before the specified deadline.

pub fn set_startline( &mut self, startline: Timestamp, ) -> Result<TimePropagation, TimeInconsistencyError>

Add constraint in order to guarantee that all the instants is scheduled after the specified startline.

pub fn retain<TW>( &mut self, i: u32, tw: TW, ) -> Result<TimePropagation, TimeInconsistencyError>

where TW: TimeContaining<TimeSlots> + TimeOverlapping<TimeSlots> + TimeWindow<TimePoint = Timestamp>, TimeSlots: BitAndAssign<TW>,

Add a new constraint on one scheduler entry

Only the timestamps in the specified time window are retained as possible values for instant i

pub fn remove<TW>( &mut self, i: u32, tw: TW, ) -> Result<TimePropagation, TimeInconsistencyError>

where TW::Output: TimeContaining<TimeSlots> + TimeOverlapping<TimeSlots> + TimeWindow<TimePoint = Timestamp>, TimeSlots: BitAndAssign<TW::Output>, TW: Not,

Trait Implementations

impl<'a> Clone for TimeScheduler<'a>

fn clone(&self) -> TimeScheduler<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TimeScheduler<'_>

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

Formats the value using the given formatter.

impl Display for TimeScheduler<'_>

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

Formats the value using the given formatter.

impl TimeSetFormat for TimeScheduler<'_>

fn format_timeset(&self, timefmt: &str) -> String