cvc4-1.4
CVC4::DatatypeConstructorArgIterator Class Reference

#include <datatype.h>

Public Types

typedef const DatatypeConstructorArgvalue_type
 

Public Member Functions

const DatatypeConstructorArgoperator* () const
 
const DatatypeConstructorArgoperator-> () const
 
DatatypeConstructorArgIteratoroperator++ ()
 
DatatypeConstructorArgIterator operator++ (int)
 
bool operator== (const DatatypeConstructorArgIterator &other) const
 
bool operator!= (const DatatypeConstructorArgIterator &other) const
 

Friends

class DatatypeConstructor
 

Detailed Description

Definition at line 65 of file datatype.h.

Member Typedef Documentation

Member Function Documentation

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

Definition at line 81 of file datatype.h.

const DatatypeConstructorArg& CVC4::DatatypeConstructorArgIterator::operator* ( ) const
inline

Definition at line 76 of file datatype.h.

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

Definition at line 78 of file datatype.h.

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

Definition at line 79 of file datatype.h.

const DatatypeConstructorArg* CVC4::DatatypeConstructorArgIterator::operator-> ( ) const
inline

Definition at line 77 of file datatype.h.

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

Definition at line 80 of file datatype.h.

Friends And Related Function Documentation

friend class DatatypeConstructor
friend

Definition at line 69 of file datatype.h.


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