cvc4-1.4
|
#include <emptyset.h>
Public Member Functions | |
size_t | operator() (const EmptySet &es) const |
Definition at line 77 of file emptyset.h.
|
inline |
Definition at line 78 of file emptyset.h.
References CVC4::EmptySet::getType().