C++ (Cpp) Z3_sort_to_string Exemples

Exemple #1

Fichier : Z3Objects.cpp Projet : abhishekudupa/kinara

string Z3Sort::ToString(u32 Verbosity) const
{
    if (Ctx != Z3Ctx::NullPtr && Sort != nullptr) {
        return Z3_sort_to_string(*Ctx, Sort);
    } else {
        return "nullsort";
    }
}

Exemple #2

Fichier : Z3Objects.cpp Projet : BenCaulfield/sygus-comp14

 string Z3Sort::ToString() const
 {
     if (Ctx != nullptr && Sort != nullptr) {
         string Retval = Z3_sort_to_string(Ctx, Sort);
         return Retval;
     } else {
         throw InternalError((string)"Error ToString() called on null Z3Sort object");
     }
 }