cvc4-1.3
|
A class to represent a chained, built-in operator. More...
#include <chain.h>
Public Member Functions | |
Chain (Kind k) | |
bool | operator== (const Chain &ch) const |
bool | operator!= (const Chain &ch) const |
Kind | getOperator () const |
|
inline |
Definition at line 35 of file chain.h.
Referenced by CVC4::ChainHashFunction::operator()(), and CVC4::operator<<().
|
inline |
|
inline |