report_properties.cpp File Reference

Solver. More...

#include "report_properties.h"
#include <util/console.h>

Include dependency graph for report_properties.cpp:

Go to the source code of this file.

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

Detailed Description

Solver.

Definition in file report_properties.cpp.

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.