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
- All
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
IntelliFileProver
class. - 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 AllTests extends App
- 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