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

◆ value_type

Member Function Documentation

◆ operator!=()

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

Definition at line 81 of file datatype.h.

◆ operator*()

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

Definition at line 76 of file datatype.h.

◆ operator++() [1/2]

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

Definition at line 78 of file datatype.h.

◆ operator++() [2/2]

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

Definition at line 79 of file datatype.h.

◆ operator->()

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

Definition at line 77 of file datatype.h.

◆ operator==()

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

Definition at line 80 of file datatype.h.

Friends And Related Function Documentation

◆ DatatypeConstructor

friend class DatatypeConstructor
friend

Definition at line 69 of file datatype.h.


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