stp.FuncEntry
¶
class
stp.
FuncEntry
(
args
,
value
)
¶
One case of a function interpretation: (arg values…) -> value.
num_args
(
)
¶
arg_value
(
i
)
¶
value
(
)
¶
as_tuple
(
)
¶
STP
The Simple Theorem Prover
Overview
Building STP
Architecture
Running STP
The 3.x API (C++, C and Python)
API reference
C++ API
C API
Python API
Classes
Functions
Constants
2.x C API handle lifetime
Array extensionality
Uninterpreted functions
Incremental solving
Bit-vector abstraction
Floating-point abstraction
Linear real arithmetic
SMT-LIB 2.7 compatibility
Source code layout
Testing
Developer tools
Making a release
Benchmarks
Source code on GitHub
