cvc4-1.4
CVC4::DatatypeConstructorIterator Class Reference

#include <datatype.h>

Public Types

typedef const DatatypeConstructorvalue_type
 

Public Member Functions

const DatatypeConstructoroperator* () const
 
const DatatypeConstructoroperator-> () const
 
DatatypeConstructorIteratoroperator++ ()
 
DatatypeConstructorIterator operator++ (int)
 
bool operator== (const DatatypeConstructorIterator &other) const
 
bool operator!= (const DatatypeConstructorIterator &other) const
 

Friends

class Datatype
 

Detailed Description

Definition at line 46 of file datatype.h.

Member Typedef Documentation

Member Function Documentation

bool CVC4::DatatypeConstructorIterator::operator!= ( const DatatypeConstructorIterator other) const
inline

Definition at line 62 of file datatype.h.

const DatatypeConstructor& CVC4::DatatypeConstructorIterator::operator* ( ) const
inline

Definition at line 57 of file datatype.h.

DatatypeConstructorIterator& CVC4::DatatypeConstructorIterator::operator++ ( )
inline

Definition at line 59 of file datatype.h.

DatatypeConstructorIterator CVC4::DatatypeConstructorIterator::operator++ ( int  )
inline

Definition at line 60 of file datatype.h.

const DatatypeConstructor* CVC4::DatatypeConstructorIterator::operator-> ( ) const
inline

Definition at line 58 of file datatype.h.

bool CVC4::DatatypeConstructorIterator::operator== ( const DatatypeConstructorIterator other) const
inline

Definition at line 61 of file datatype.h.

Friends And Related Function Documentation

friend class Datatype
friend

Definition at line 50 of file datatype.h.


The documentation for this class was generated from the following file: