klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::ImpliedValue Namespace Reference

Functions

void getImpliedValues (ref< Expr > e, ref< ConstantExpr > cvalue, ImpliedValueList &result)
 
void checkForImpliedValues (Solver *S, ref< Expr > e, ref< ConstantExpr > cvalue)
 

Function Documentation

void klee::ImpliedValue::checkForImpliedValues ( Solver S,
ref< Expr e,
ref< ConstantExpr cvalue 
)