P4Tools::P4Testgen::Bmv2::Bmv2Concolic Class Reference

Inheritance diagram for P4Tools::P4Testgen::Bmv2::Bmv2Concolic:

Static Public Member Functions
static const ConcolicMethodImpls::ImplList *	getBmv2ConcolicMethodImpls ()
Static Public Member Functions inherited from P4Tools::P4Testgen::Concolic
static const ConcolicMethodImpls::ImplList *	getCoreConcolicMethodImpls ()

Member Function Documentation

getBmv2ConcolicMethodImpls()

const ConcolicMethodImpls::ImplList * P4Tools::P4Testgen::Bmv2::Bmv2Concolic::getBmv2ConcolicMethodImpls ( )

static

Returns

the concolic functions that are implemented for this particular target.