#include <emptyset.h>
Definition at line 34 of file emptyset.h.
◆ EmptySet()
CVC4::EmptySet::EmptySet |
( |
SetType | setType | ) |
|
|
inline |
Constructs an emptyset of the specified type.
Note that the argument is the type of the set itself, NOT the type of the elements.
Definition at line 45 of file emptyset.h.
◆ ~EmptySet()
CVC4::EmptySet::~EmptySet |
( |
| ) |
|
throw | ( | ) | | | |
|
inline |
◆ getType()
SetType CVC4::EmptySet::getType |
( |
| ) |
const |
|
inline |
◆ operator!=()
bool CVC4::EmptySet::operator!= |
( |
const EmptySet & | es | ) |
const |
throw | ( | ) | | | |
|
inline |
◆ operator<()
bool CVC4::EmptySet::operator< |
( |
const EmptySet & | es | ) |
const |
throw | ( | ) | | | |
|
inline |
◆ operator<=()
bool CVC4::EmptySet::operator<= |
( |
const EmptySet & | es | ) |
const |
throw | ( | ) | | | |
|
inline |
◆ operator==()
bool CVC4::EmptySet::operator== |
( |
const EmptySet & | es | ) |
const |
throw | ( | ) | | | |
|
inline |
◆ operator>()
bool CVC4::EmptySet::operator> |
( |
const EmptySet & | es | ) |
const |
throw | ( | ) | | | |
|
inline |
◆ operator>=()
bool CVC4::EmptySet::operator>= |
( |
const EmptySet & | es | ) |
const |
throw | ( | ) | | | |
|
inline |
The documentation for this class was generated from the following file: