klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
NullAssignment Struct Reference

Public Member Functions

bool operator() (Assignment *a) const
 

Detailed Description

Definition at line 92 of file CexCachingSolver.cpp.

Member Function Documentation

bool NullAssignment::operator() ( Assignment a) const
inline

Definition at line 93 of file CexCachingSolver.cpp.


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