klee
NullAssignment Struct Reference

Public Member Functions

bool operator() (Assignment *a) const
 

Detailed Description

Definition at line 105 of file CexCachingSolver.cpp.

Member Function Documentation

◆ operator()()

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

Definition at line 106 of file CexCachingSolver.cpp.


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