ap
package ap
Package object making available some of the objects in sub-packages
- Alphabetic
- By Inheritance
- ap
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Package Members
- package algebra
Package object making available some of the objects in sub-packages
- package api
- package basetypes
- package interpolants
- package parameters
- package parser
- package proof
- package terfor
- package theories
Package object making available some of the objects in sub-packages
- package types
- package util
Type Members
- abstract class AbstractFileProver extends Prover
- class InputDialog extends JPanel
- 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
- 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
IntelliFileProverclass. - abstract class PrincessPanel extends JPanel
- 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
- class Signature extends AnyRef
Helper class for storing the sets of declared constants (of various kinds) and functions, together with the chosen
TermOrder. - type SimpleAPI = ap.api.SimpleAPI
Value Members
- val SimpleAPI: ap.api.SimpleAPI.type
- object AbstractFileProver
- object CmdlMain
- object DialogMain
- object DialogUtil
- object IntelliFileProver
- object JavaWrapper
A simple class to simulate commandline calls of Princess from within Java applications.
- object ParallelFileProver
- object PresburgerTools
A collection of tools for analysing and transforming formulae in Presburger arithmetic
- object Prover
- object ServerMain
- object Signature