Packages

p

ap

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
  2. class InputDialog extends JPanel
  3. class IntelliFileProver extends AbstractFileProver

    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

    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
  6. trait Prover extends AnyRef

    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

    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

Value Members

  1. val SimpleAPI: ap.api.SimpleAPI.type
  2. object AbstractFileProver
  3. object AllTests extends App
  4. object CmdlMain
  5. object DialogMain
  6. object DialogUtil
  7. object IntelliFileProver
  8. object JavaWrapper

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

  9. object ParallelFileProver
  10. object PresburgerTools

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

  11. object Prover
  12. object ServerMain
  13. object Signature

Inherited from AnyRef

Inherited from Any

Ungrouped