#include <chain.h>
Definition at line 42 of file chain.h.
Definition at line 43 of file chain.h.
References CVC4::Chain::getOperator().