Type Members

1.  abstract class AbstractStringTheory extends StringTheory

   Abstract class defining relevant string operations as sorted functions/predicates

2.  abstract class AbstractStringTheoryWithSort extends AbstractStringTheory

   Abstract class defining relevant string operations as sorted functions/predicates, as well as an infinite string sort together with constructor and selector operations.

3.  class SeqStringTheory extends AbstractStringTheory

   String theory implemented using a list ADT.

4.  class SeqStringTheoryBuilder extends StringTheoryBuilder

   Interface to construct string theory objects with complex parameters.

5.  case class StringMonoid(stringTheory: StringTheory) extends Monoid with Product with Serializable

   Every string theory gives rise to a monoid.

6.  trait StringTheory extends Theory

   Generic class describing string theories.

7.  abstract class StringTheoryBuilder extends TheoryBuilder

   Interface to construct string theory objects with complex parameters.