Clasp::Distributor::Policy Struct Reference

#include <shared_context.h>

Collaboration diagram for Clasp::Distributor::Policy:

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	size: 22
uint32	lbd: 7
uint32	types: 3

Member Enumeration Documentation

enum Clasp::Distributor::Policy::Types

Enumerator
no
conflict
loop
all
implicit

Constructor & Destructor Documentation

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

inline

Member Data Documentation

uint32 Clasp::Distributor::Policy::lbd

Allow distribution up to this lbd only.

uint32 Clasp::Distributor::Policy::size

Allow distribution up to this size only.

uint32 Clasp::Distributor::Policy::types

Restrict distribution to these types.

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/shared_context.h