satsolver
0.17.2
Main Page
Related Pages
Classes
Files
File List
File Members
src
solverdebug.h
Go to the documentation of this file.
1
/*
2
* Copyright (c) 2008, Novell Inc.
3
*
4
* This program is licensed under the BSD license, read LICENSE.BSD
5
* for further information
6
*/
7
8
/*
9
* solverdebug.h
10
*
11
*/
12
13
#ifndef SATSOLVER_SOLVERDEBUG_H
14
#define SATSOLVER_SOLVERDEBUG_H
15
16
#include "
pooltypes.h
"
17
#include "
pool.h
"
18
#include "
solver.h
"
19
20
extern
Id
*
solver_create_decisions_obsoletesmap
(
Solver
*solv);
21
extern
void
solver_printruleelement
(
Solver
*solv,
int
type,
Rule
*r,
Id
v);
22
extern
void
solver_printrule
(
Solver
*solv,
int
type,
Rule
*r);
23
extern
void
solver_printruleclass
(
Solver
*solv,
int
type,
Rule
*r);
24
extern
void
solver_printproblem
(
Solver
*solv,
Id
v);
25
extern
void
solver_printwatches
(
Solver
*solv,
int
type);
26
extern
void
solver_printdecisionq
(
Solver
*solv,
int
type);
27
extern
void
solver_printdecisions
(
Solver
*solv);
28
extern
void
solver_printtransaction
(
Solver
*solv);
29
extern
void
solver_printproblemruleinfo
(
Solver
*solv,
Id
rule);
30
extern
void
solver_printprobleminfo
(
Solver
*solv,
Id
problem);
31
extern
void
solver_printcompleteprobleminfo
(
Solver
*solv,
Id
problem);
32
extern
void
solver_printsolution
(
Solver
*solv,
Id
problem,
Id
solution);
33
extern
void
solver_printallsolutions
(
Solver
*solv);
34
extern
void
solver_printtrivial
(
Solver
*solv);
35
36
extern
const
char
*
solver_select2str
(
Pool
*pool,
Id
select,
Id
what);
37
extern
const
char
*
pool_job2str
(
Pool
*pool,
Id
how,
Id
what,
int
withflags);
38
extern
const
char
*
solver_problemruleinfo2str
(
Solver
*solv,
SolverRuleinfo
type,
Id
source,
Id
target,
Id
dep);
39
extern
const
char
*
solver_solutionelement2str
(
Solver
*solv,
Id
p,
Id
rp);
40
extern
const
char
*
policy_illegal2str
(
Solver
*solv,
int
illegal,
Solvable
*s,
Solvable
*rs);
41
42
43
#endif
/* SATSOLVER_SOLVERDEBUG_H */
44
Generated by
1.8.4