scala-automata/org.maraist.fa.samples/Samples

Samples

object Samples extends Sampler

Sample automata, and printing a guide to them.

trait Sampler
class Object
trait Matchable
class Any

Value members

Concrete methods

override
def addSamples(guide: LaTeXdoc): FilesCleaner
Definition Classes
def dfa1: DFA[String, Int]

Return a DFA derived from a fresh copy of the builder [[dfa1B]]

Return a DFA derived from a fresh copy of the builder [[dfa1B]]

def dfa1B: DFABuilder[String, Int]

Return a fresh copy of a sample DFA builder

Return a fresh copy of a sample DFA builder

def dlhPfa57: PFABuilder[Int, String]

Return a DFA converted from a fresh copy of the sample NFA-with-hyperedge builder [[hndfa4B]] def hndfa4dfa: HyperedgeDFA[Set[String],Int] = { hndfa4.toDFA }

Return a DFA converted from a fresh copy of the sample NFA-with-hyperedge builder [[hndfa4B]] def hndfa4dfa: HyperedgeDFA[Set[String],Int] = { hndfa4.toDFA }

def ndfa2: NFA[String, Int]

Return an NFA, derived from a fresh copy of the sample builder [[ndfa2B]]

Return an NFA, derived from a fresh copy of the sample builder [[ndfa2B]]

def ndfa2B: NFABuilder[String, Int]

Return a fresh copy of a sample NFA builder

Return a fresh copy of a sample NFA builder

def ndfa2dfa: DFA[Set[String], Int]

Return a DFA converted from a fresh copy of the sample NFA builder [[ndfa2B]]

Return a DFA converted from a fresh copy of the sample NFA builder [[ndfa2B]]

def samplesFromNfaBuilder[S, T, ThisDFA <: DFA[Set[S], T], ThisNFA <: NFA[S, T], K >: NFAelements[S, T] <: Matchable](doc: LaTeXdoc, cleaner: FilesCleaner, builder: NFABuilder[S, T], tag: String, width: String): Unit

Inherited methods

protected
def graphable[X, Y, Style <: (GraphStyle)](doc: LaTeXdoc, cleaner: FilesCleaner, what: Graphable[X, Y, Style], tag: String, title: String, width: String)(using options: Style[X, Y]): Unit
Inherited from
Sampler
protected
def graphable[X, Y, Style <: (GraphStyle)](doc: LaTeXdoc, cleaner: FilesCleaner, what: Graphable[X, Y, Style], tag: String, width: String)(using options: Style[X, Y]): Unit
Inherited from
Sampler
protected
def latexable(doc: LaTeXdoc, title: String, what: LaTeXRenderable): Unit
Inherited from
Sampler
protected
def latexable(doc: LaTeXdoc, what: LaTeXRenderable): Unit
Inherited from
Sampler
protected
def newCleaner(): FilesCleaner
Inherited from
Sampler
protected
def section(doc: LaTeXdoc, title: String): Unit
Inherited from
Sampler
protected
def subsection(doc: LaTeXdoc, title: String): Unit
Inherited from
Sampler