pcp/propagation/
mod.rs

1// Copyright 2015 Pierre Talbot (IRCAM)
2
3// Licensed under the Apache License, Version 2.0 (the "License");
4// you may not use this file except in compliance with the License.
5// You may obtain a copy of the License at
6
7//     http://www.apache.org/licenses/LICENSE-2.0
8
9// Unless required by applicable law or agreed to in writing, software
10// distributed under the License is distributed on an "AS IS" BASIS,
11// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12// See the License for the specific language governing permissions and
13// limitations under the License.
14
15//! Propagation is a set of algorithmic components to verify the consistency of a constraint conjunction, called the *constraints store*.
16//!
17//! The constraints store is parametrized by the type of the variables store to keep both concrete implementation independents. Stores are stacked in a hierarchical manner and they communicate only from top to bottom; the variables store is not aware of the constraints store.
18
19
20pub mod reactor;
21pub mod reactors;
22pub mod scheduler;
23pub mod schedulers;
24pub mod events;
25pub mod store;
26pub mod ops;
27pub mod concept;
28
29pub use propagation::reactor::Reactor;
30pub use propagation::scheduler::Scheduler;
31pub use propagation::ops::*;
32pub use propagation::concept::*;
33
34pub type CStoreFD<VStore> =
35  store::Store<VStore, events::FDEvent, reactors::IndexedDeps, schedulers::RelaxedFifo>;
pcp/propagation/mod.rs

pcp/propagation/
mod.rs
