cvc4-1.4
|
Representation for a Beth number, used only to construct Cardinality objects. More...
#include <cardinality.h>
Public Member Functions | |
CardinalityBeth (const Integer &beth) | |
const Integer & | getNumber () const throw () |
Representation for a Beth number, used only to construct Cardinality objects.
Definition at line 35 of file cardinality.h.
|
inline |
Definition at line 39 of file cardinality.h.
References CVC4::CheckArgument(), and CVC4::Integer::toString().
|
inline |
Definition at line 45 of file cardinality.h.