z3-z3-4.12.6.src.model.model_pp.h Maven / Gradle / Ivy
/*++
Copyright (c) 2011 Microsoft Corporation
Module Name:
model_pp.h
Abstract:
Pretty printer for models for debugging purposes.
Author:
Leonardo de Moura (leonardo)
Revision History:
--*/
#pragma once
#include
class model_core;
void model_pp(std::ostream & out, model_core const & m);