Clasp::Distributor::Policy Struct Reference

#include <shared_context.h>

List of all members.

Public Types
enum	Types {   no = 0, conflict = Constraint_t::learnt_conflict, loop = Constraint_t::learnt_loop, all = conflict | loop,   implicit = all + 1 }
Public Member Functions
	Policy (uint32 a_sz=0, uint32 a_lbd=0, uint32 a_type=0)
Public Attributes
uint32	lbd: 7
uint32	size: 22
uint32	types: 3

---

Detailed Description

Definition at line 354 of file shared_context.h.

---

Member Enumeration Documentation

enum Clasp::Distributor::Policy::Types

Enumerator:

no
conflict
loop
all
implicit

Definition at line 355 of file shared_context.h.

---

Constructor & Destructor Documentation

Clasp::Distributor::Policy::Policy	(	uint32	a_sz = 0,
		uint32	a_lbd = 0,
		uint32	a_type = 0
	)		[inline]

Definition at line 362 of file shared_context.h.

---

Member Data Documentation

uint32 Clasp::Distributor::Policy::lbd

Allow distribution up to this lbd only.

Definition at line 364 of file shared_context.h.

uint32 Clasp::Distributor::Policy::size

Allow distribution up to this size only.

Definition at line 363 of file shared_context.h.

uint32 Clasp::Distributor::Policy::types

Restrict distribution to these types.

Definition at line 365 of file shared_context.h.

---

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

• shared_context.h