resultt Struct Reference

Public Attributes
PROCESS_TYPE	type
uint64_t	k

Member Data Documentation

k

uint64_t resultt::k

type

PROCESS_TYPE resultt::type

---

The documentation for this struct was generated from the following file:

• src/esbmc/parseoptions/k_induction.cpp