Commit cbe1121e authored by Bharat Garhewal's avatar Bharat Garhewal
Browse files

Fix docs

parent 34a0c439
Pipeline #60651 passed with stages
in 2 minutes and 59 seconds
#![warn(clippy::pedantic)]
//! L# Learning Library
//! # L# Learning Library
//!
//! This library implements the L# learning algorithm
//! as mentioned in `A New Approach for Active Automata Learning Based on Apartness` at TACAS 2022,
......
......@@ -17,13 +17,13 @@ pub enum EqOracle {
Internal,
/// Generates tests using Observation tree, see [`SequenceOracle`](crate::oracles::equivalence::sep_seq::SequenceOracle).
SepSeq,
/// FSMLib HSI implementation, see [`SouchaOracle`](crate::oracles::equivalence::soucha::h::SouchaOracle).
/// FSMLib HSI implementation, see [`SouchaOracle`](crate::oracles::equivalence::soucha::SouchaOracle).
SouchaH,
/// FSMLib HSI implementation, see [`SouchaOracle`](crate::oracles::equivalence::soucha::hsi::SouchaOracle).
/// FSMLib HSI implementation, see [`SouchaOracle`](crate::oracles::equivalence::soucha::SouchaOracle).
SouchaHSI,
/// FSMLib HSI implementation, see [`SouchaOracle`](crate::oracles::equivalence::soucha::spy::SouchaOracle).
/// FSMLib HSI implementation, see [`SouchaOracle`](crate::oracles::equivalence::soucha::SouchaOracle).
SouchaSPY,
/// FSMLib HSI implementation, see [`SouchaOracle`](crate::oracles::equivalence::soucha::spyh::SouchaOracle).
/// FSMLib HSI implementation, see [`SouchaOracle`](crate::oracles::equivalence::soucha::SouchaOracle).
SouchaSPYH,
/// IADS implementation.
Iads,
......
......@@ -18,7 +18,7 @@ pub fn inputs_iterator<'a>(size: usize) -> impl Iterator<Item = InputSymbol> + '
///
/// This struct is only meant for storing
/// sequences for which we want a prefix-closure.
/// See the [`prefix_closure`] method for usage.
/// See the [`Self::prefix_closure`] method for usage.
///
/// # Example
/// ```
......@@ -27,7 +27,6 @@ pub fn inputs_iterator<'a>(size: usize) -> impl Iterator<Item = InputSymbol> + '
/// // The following then gives an iterator for the prefix closure.
/// seq.prefix_closure();
/// ```
/// [prefix_closure]: Seq::prefix_closure
pub struct Seq<T> {
inner: Vec<T>,
}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment