Index of module types


B
BaseTypes [Ltree]
Input signature for functor

C
CandGen [InvGenMiner]
Conv [SMTExpr]

D
Domain [InvGenDomain]
Signature of the modules describing an order relation over some values.

G
Graph [InvGenGraph]
Signature of the modules created by the graph functor.

H
HStringSExpr
HashedType [Hashcons]

I
Inst [SolverSig]
Sigature of a solver instance

O
Out [InvGen]
Signature of the module returned by the Make invariant generation functor when given a module with signature In.

P
Params [SolverSig]
Solver paramters
PostAnalysis

R
RelayMessage [Messaging]
A message to be relayed to other processes and conversions

S
S [Trie]
Output signature is an extended map
S [SExprBase]
Output signature of the functor SExprBase.Make
S [Messaging]
S [Hashcons]
S [SolverSig]
S [SolverDriver]
S [Ltree]
Output signature of functor
SExprAtom [SExprBase]
Signature of an S-expression atom as input for the functor SExprBase.Make
SLog [Log]
SMTLIBSolverDriver [SMTLIBSolver]
Sig [TestgenStrategies]
Signature for test generation strategies.
Sig [Log]