cvc4-1.4
|
#include <datatype.h>
Public Types | |
typedef const DatatypeConstructorArg & | value_type |
Public Member Functions | |
const DatatypeConstructorArg & | operator* () const |
const DatatypeConstructorArg * | operator-> () const |
DatatypeConstructorArgIterator & | operator++ () |
DatatypeConstructorArgIterator | operator++ (int) |
bool | operator== (const DatatypeConstructorArgIterator &other) const |
bool | operator!= (const DatatypeConstructorArgIterator &other) const |
Friends | |
class | DatatypeConstructor |
Definition at line 65 of file datatype.h.
Definition at line 75 of file datatype.h.
|
inline |
Definition at line 81 of file datatype.h.
|
inline |
Definition at line 76 of file datatype.h.
|
inline |
Definition at line 78 of file datatype.h.
|
inline |
Definition at line 79 of file datatype.h.
|
inline |
Definition at line 77 of file datatype.h.
|
inline |
Definition at line 80 of file datatype.h.
|
friend |
Definition at line 69 of file datatype.h.