Package

ap

Permalink

package ap

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

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

Type Members

  1. abstract class AbstractFileProver extends Prover

    Permalink
  2. class InputDialog extends JPanel

    Permalink
  3. class IntelliFileProver extends AbstractFileProver

    Permalink

    A prover that decides, depending on the kind of the problem, whether it should try to construct a proof tree or just search for counterexamples

  4. class ParallelFileProver extends Prover

    Permalink

    Prover that tries to solve a given problem using a number of different strategies in parallel.

    Prover that tries to solve a given problem using a number of different strategies in parallel. Each individual strategy is run using the IntelliFileProver class.

  5. abstract class PrincessPanel extends JPanel

    Permalink
  6. trait Prover extends AnyRef

    Permalink

    Trait characterising provers, which receive some problem (e.g., from a file) and try to construct a proof, a countermodel, or interpolants

  7. class Signature extends AnyRef

    Permalink

    Helper class for storing the sets of declared constants (of various kinds) and functions, together with the chosen TermOrder.

    Helper class for storing the sets of declared constants (of various kinds) and functions, together with the chosen TermOrder.

  8. type SimpleAPI = ap.api.SimpleAPI

    Permalink

Value Members

  1. object AbstractFileProver

    Permalink
  2. object AllTests extends App

    Permalink
  3. object CmdlMain

    Permalink
  4. object DialogMain

    Permalink
  5. object DialogUtil

    Permalink
  6. object IntelliFileProver

    Permalink
  7. object JavaWrapper

    Permalink

    A simple class to simulate commandline calls of Princess from within Java applications.

  8. object ParallelFileProver

    Permalink
  9. object PresburgerTools

    Permalink

    A collection of tools for analysing and transforming formulae in Presburger arithmetic

  10. object Prover

    Permalink
  11. object ServerMain

    Permalink
  12. object Signature

    Permalink
  13. val SimpleAPI: ap.api.SimpleAPI.type

    Permalink
  14. package algebra

    Permalink

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

  15. package api

    Permalink
  16. package basetypes

    Permalink
  17. package interpolants

    Permalink
  18. package parameters

    Permalink
  19. package parser

    Permalink
  20. package proof

    Permalink
  21. package terfor

    Permalink
  22. package theories

    Permalink

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

  23. package types

    Permalink
  24. package util

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped