Clasp::SatElite::SatElite::Progress Struct Reference

#include <satelite.h>

Inheritance diagram for Clasp::SatElite::SatElite::Progress:

List of all members.

Public Types
enum	EventOp { event_algorithm = '*', event_bce = 'B', event_var_elim = 'E', event_subsumption = 'S' }
Public Member Functions
	Progress (SatElite *p, EventOp o, uint32 i, uint32 m)
Public Attributes
uint32	cur
uint32	max
SatElite *	self

---

Detailed Description

Definition at line 49 of file satelite.h.

---

Member Enumeration Documentation

enum Clasp::SatElite::SatElite::Progress::EventOp

Enumerator:

event_algorithm
event_bce
event_var_elim
event_subsumption

Definition at line 50 of file satelite.h.

---

Constructor & Destructor Documentation

Clasp::SatElite::SatElite::Progress::Progress	(	SatElite *	p,
		EventOp	o,
		uint32	i,
		uint32	m
	)		[inline]

Definition at line 51 of file satelite.h.

---

Member Data Documentation

uint32 Clasp::SatElite::SatElite::Progress::cur

Definition at line 55 of file satelite.h.

uint32 Clasp::SatElite::SatElite::Progress::max

Definition at line 56 of file satelite.h.

SatElite* Clasp::SatElite::SatElite::Progress::self

Definition at line 54 of file satelite.h.

---

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

• satelite.h