Clasp::BasicSolveEvent Struct Reference

#include <solve_algorithms.h>

Inheritance diagram for Clasp::BasicSolveEvent:

List of all members.

Public Types
enum	EventOp {   event_none = 0, event_deletion = 'D', event_exit = 'E', event_grow = 'G',   event_restart = 'R' }
Public Member Functions
	BasicSolveEvent (const Solver &s, EventOp a_op, uint64 cLim, uint32 lLim)
Public Attributes
uint64	cLimit
uint32	lLimit

---

Detailed Description

Definition at line 107 of file solve_algorithms.h.

---

Member Enumeration Documentation

enum Clasp::BasicSolveEvent::EventOp

Enumerator:

event_none
event_deletion
event_exit
event_grow
event_restart

Definition at line 108 of file solve_algorithms.h.

---

Constructor & Destructor Documentation

Clasp::BasicSolveEvent::BasicSolveEvent	(	const Solver &	s,
		EventOp	a_op,
		uint64	cLim,
		uint32	lLim
	)		[inline]

Definition at line 109 of file solve_algorithms.h.

---

Member Data Documentation

uint64 Clasp::BasicSolveEvent::cLimit

Definition at line 112 of file solve_algorithms.h.

uint32 Clasp::BasicSolveEvent::lLimit

Definition at line 113 of file solve_algorithms.h.

---

The documentation for this struct was generated from the following file:

• solve_algorithms.h