smt_function_application_termt::has_indicest< functiont, std::void_t< decltype(std::declval< functiont >().indices())> > Struct Template Reference

Inheritance diagram for smt_function_application_termt::has_indicest< functiont, std::void_t< decltype(std::declval< functiont >().indices())> >:

Collaboration diagram for smt_function_application_termt::has_indicest< functiont, std::void_t< decltype(std::declval< functiont >().indices())> >:

Detailed Description

template<class functiont>
struct smt_function_application_termt::has_indicest< functiont, std::void_t< decltype(std::declval< functiont >().indices())> >

Definition at line 150 of file smt_terms.h.

---

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

• /home/runner/work/cbmc/cbmc/src/solvers/smt2_incremental/ast/smt_terms.h