cvc4-1.4
|
An unresolved type (used in calls to DatatypeConstructor::addArg()) to allow a Datatype to refer to itself or to other mutually-recursive Datatypes. More...
#include <datatype.h>
Public Member Functions | |
DatatypeUnresolvedType (std::string name) | |
std::string | getName () const throw () |
An unresolved type (used in calls to DatatypeConstructor::addArg()) to allow a Datatype to refer to itself or to other mutually-recursive Datatypes.
Unresolved-type fields of Datatypes will be properly typed when a Type is created for the Datatype by the ExprManager (which calls Datatype::resolve()).
Definition at line 109 of file datatype.h.
|
inline |
Definition at line 662 of file datatype.h.
|
inline |
Definition at line 666 of file datatype.h.