API reference

The STP 3.x interfaces share terms, sorts and solver behaviour. The API guide introduces their use; these pages list the classes, functions and constants available in each language.

• C++ API
  • ArrayValue
  • CheckBudget
  • Entailment
  • Error
  • FloatValue
  • FunctionValue
  • Model
  • OptionInfo
  • Options
  • RationalValue
  • RecoverableError
  • Result
  • Solver
  • SolverOptions
  • Sort
  • Statistics
  • Term
  • Terminator
  • TermManager
  • UnsafeError
  • Version
  • Functions and operators
  • Enumerations
• C API
  • Handles
  • Enums
  • By-value structs
  • Library
  • Term manager
  • Sorts
  • Symbols and values
  • Generic construction
  • Named constructors
  • Terms
  • Options
  • Solver
  • Model
  • Statistics
• Python API
  • Classes
  • Functions
  • Constants