cvc4-1.4
|
A class used to parameterize a type ascription. More...
#include <ascription_type.h>
Public Member Functions | |
AscriptionType (Type t) throw () | |
Type | getType () const throw () |
bool | operator== (const AscriptionType &other) const throw () |
bool | operator!= (const AscriptionType &other) const throw () |
A class used to parameterize a type ascription.
For example, "nil :: list<nat>" is an expression of kind APPLY_TYPE_ASCRIPTION. The parameter is an ASCRIPTION_TYPE-kinded expression with an AscriptionType payload. (Essentially, all of this is a way to coerce a Type into the expression tree.)
Definition at line 33 of file ascription_type.h.
|
inline |
Definition at line 36 of file ascription_type.h.
|
inline |
Definition at line 37 of file ascription_type.h.
Referenced by CVC4::AscriptionTypeHashFunction::operator()(), and CVC4::operator<<().
|
inline |
Definition at line 41 of file ascription_type.h.
|
inline |
Definition at line 38 of file ascription_type.h.