Package

ap

theories

Permalink

package theories

Package object making available some of the objects in sub-packages

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. theories
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. class ADT extends Theory

    Permalink

    Theory solver for algebraic data-types.

  2. trait MulTheory extends Theory

    Permalink

    Trait for theories providing general, non-linear multiplication.

  3. class SimpleArray extends Theory

    Permalink

    Simple implementation of an array theory.

  4. trait Theory extends AnyRef

    Permalink

    trait for representing signature and axioms of theories, e.g., the theory of arrays.

    trait for representing signature and axioms of theories, e.g., the theory of arrays. This is used to make sure that theory symbols are unique.

  5. abstract class TheoryBuilder extends AnyRef

    Permalink

    Interface to construct theory objects with complex parameters.

  6. class TheoryCollector extends CollectingVisitor[Unit, Unit] with Cloneable

    Permalink

    Class to find out which theories where used in a given set of formulae/expressions

Value Members

  1. object ADT

    Permalink
  2. object BitShiftMultiplication extends MulTheory

    Permalink

    Multiplication by means of axioms describing shift-and-add

  3. object FunctionalConsistency extends Theory

    Permalink

    A dummy theory that represents the functional consistency axioms for functional predicates.

  4. val GroebnerMultiplication: theories.nia.GroebnerMultiplication.type

    Permalink

    Non-linear arithmetic, support for general multiplication

  5. object Incompleteness

    Permalink

    Temporary hack to track incompleteness of theory implementations.

  6. val ModuloArithmetic: theories.bitvectors.ModuloArithmetic.type

    Permalink

    Bit-vectors and modular arithmetic

  7. object MulTheory

    Permalink
  8. object SimpleArray

    Permalink
  9. object Theory

    Permalink
  10. object TheoryBuilder

    Permalink
  11. object TheoryRegistry

    Permalink

    Class for keeping track of instantiated theories.

  12. package bitvectors

    Permalink
  13. package nia

    Permalink
  14. package rationals

    Permalink
  15. package strings

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped