Packages

p

ap.theories

sequences

package sequences

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Type Members

  1. class ArraySeqTheory extends SeqTheory
  2. class ArraySeqTheoryBuilder extends SeqTheoryBuilder
  3. case class SeqMonoid(seqTheory: SeqTheory) extends Monoid with Product with Serializable

    Every string theory gives rise to a monoid.

  4. trait SeqTheory extends Theory
  5. abstract class SeqTheoryBuilder extends TheoryBuilder

    Interface to construct sequence theory objects.

Value Members

  1. object ArraySeqTheory
  2. object SeqTheory
  3. object SeqTheoryBuilder

Ungrouped