satsolver  0.17.2
Macros | Functions
problems.h File Reference

Go to the source code of this file.

Macros

#define SOLVER_SOLUTION_JOB   (0)
 
#define SOLVER_SOLUTION_DISTUPGRADE   (-1)
 
#define SOLVER_SOLUTION_INFARCH   (-2)
 

Functions

void solver_disableproblem (struct _Solver *solv, Id v)
 
void solver_enableproblem (struct _Solver *solv, Id v)
 
int solver_prepare_solutions (struct _Solver *solv)
 
unsigned int solver_problem_count (struct _Solver *solv)
 
Id solver_next_problem (struct _Solver *solv, Id problem)
 
unsigned int solver_solution_count (struct _Solver *solv, Id problem)
 
Id solver_next_solution (struct _Solver *solv, Id problem, Id solution)
 
unsigned int solver_solutionelement_count (struct _Solver *solv, Id problem, Id solution)
 
Id solver_next_solutionelement (struct _Solver *solv, Id problem, Id solution, Id element, Id *p, Id *rp)
 
void solver_take_solutionelement (struct _Solver *solv, Id p, Id rp, Queue *job)
 
void solver_take_solution (struct _Solver *solv, Id problem, Id solution, Queue *job)
 
Id solver_findproblemrule (struct _Solver *solv, Id problem)
 
void solver_findallproblemrules (struct _Solver *solv, Id problem, Queue *rules)
 

Macro Definition Documentation

#define SOLVER_SOLUTION_JOB   (0)
#define SOLVER_SOLUTION_DISTUPGRADE   (-1)

Definition at line 24 of file problems.h.

Referenced by convertsolution(), solver_printsolution(), and solver_solutionelement2str().

#define SOLVER_SOLUTION_INFARCH   (-2)

Definition at line 25 of file problems.h.

Referenced by convertsolution(), solver_printsolution(), and solver_solutionelement2str().

Function Documentation

void solver_disableproblem ( struct _Solver solv,
Id  v 
)
void solver_enableproblem ( struct _Solver solv,
Id  v 
)
int solver_prepare_solutions ( struct _Solver solv)

Definition at line 491 of file problems.c.

References _Queue::count, _Queue::elements, _Solver::problems, queue_push(), and _Solver::solutions.

Referenced by solver_solve().

unsigned int solver_problem_count ( struct _Solver solv)

Definition at line 639 of file problems.c.

References _Queue::count, and _Solver::problems.

Id solver_next_problem ( struct _Solver solv,
Id  problem 
)

Definition at line 645 of file problems.c.

References _Queue::count, and _Solver::problems.

Referenced by solver_printallsolutions().

unsigned int solver_solution_count ( struct _Solver solv,
Id  problem 
)
Id solver_next_solution ( struct _Solver solv,
Id  problem,
Id  solution 
)
unsigned int solver_solutionelement_count ( struct _Solver solv,
Id  problem,
Id  solution 
)

Definition at line 671 of file problems.c.

References _Queue::elements, _Solver::problems, and _Solver::solutions.

Id solver_next_solutionelement ( struct _Solver solv,
Id  problem,
Id  solution,
Id  element,
Id p,
Id rp 
)

Definition at line 704 of file problems.c.

References _Queue::elements, _Solver::problems, and _Solver::solutions.

Referenced by solver_printsolution(), and solver_take_solution().

void solver_take_solutionelement ( struct _Solver solv,
Id  p,
Id  rp,
Queue job 
)
void solver_take_solution ( struct _Solver solv,
Id  problem,
Id  solution,
Queue job 
)

Definition at line 745 of file problems.c.

References solver_next_solutionelement(), and solver_take_solutionelement().

Id solver_findproblemrule ( struct _Solver solv,
Id  problem 
)

Definition at line 860 of file problems.c.

References _Queue::elements, findproblemrule_internal(), and _Solver::problems.

Referenced by solver_printprobleminfo().

void solver_findallproblemrules ( struct _Solver solv,
Id  problem,
Queue rules 
)