strings

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.