report_properties.h File Reference

Property Reporting. More...

#include "solver.h"
#include "solver_types.h"

Include dependency graph for report_properties.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
void	report_properties (const std::vector< propertyt > &)
solver_resultt	overall_outcome (const std::vector< propertyt > &)

Detailed Description

Property Reporting.

Definition in file report_properties.h.

Function Documentation

overall_outcome()

solver_resultt overall_outcome

(

const std::vector< propertyt > &

properties

)

Definition at line 96 of file report_properties.cpp.

report_properties()

void report_properties

(

const std::vector< propertyt > &

properties

)

Definition at line 16 of file report_properties.cpp.