cvc4-1.4
|
Representation for an unknown cardinality. More...
#include <cardinality.h>
Public Member Functions | |
CardinalityUnknown () throw () | |
~CardinalityUnknown () throw () | |
Representation for an unknown cardinality.
Definition at line 54 of file cardinality.h.
|
inline |
Definition at line 56 of file cardinality.h.
|
inline |
Definition at line 57 of file cardinality.h.