Package

ap

Permalink

package ap

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

Linear Supertypes

AnyRef, Any

Ordering

Alphabetic
By Inheritance

Inherited

ap
AnyRef
Any

Hide All
Show All

Visibility

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.
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

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
val SimpleAPI: ap.api.SimpleAPI.type
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

Inherited from AnyRef

Inherited from Any

Ungrouped