cvc4-1.4
|
#include <datatype.h>
Public Types | |
typedef const DatatypeConstructor & | value_type |
Public Member Functions | |
const DatatypeConstructor & | operator* () const |
const DatatypeConstructor * | operator-> () const |
DatatypeConstructorIterator & | operator++ () |
DatatypeConstructorIterator | operator++ (int) |
bool | operator== (const DatatypeConstructorIterator &other) const |
bool | operator!= (const DatatypeConstructorIterator &other) const |
Friends | |
class | Datatype |
Definition at line 46 of file datatype.h.
typedef const DatatypeConstructor& CVC4::DatatypeConstructorIterator::value_type |
Definition at line 56 of file datatype.h.
|
inline |
Definition at line 62 of file datatype.h.
|
inline |
Definition at line 57 of file datatype.h.
|
inline |
Definition at line 59 of file datatype.h.
|
inline |
Definition at line 60 of file datatype.h.
|
inline |
Definition at line 58 of file datatype.h.
|
inline |
Definition at line 61 of file datatype.h.
|
friend |
Definition at line 50 of file datatype.h.