Clasp::WeightConstraint::WL Struct Reference

List of all members.

Public Member Functions
uint8 *	address ()
WL *	clone ()
Literal	lit (uint32 i) const
uint32	refCount () const
void	release ()
bool	shareable () const
uint32	size () const
bool	unique () const
Var	var (uint32 i) const
weight_t	weight (uint32 i) const
bool	weights () const
	WL (uint32 s, bool shared, bool w)
Public Attributes
Literal	lits [0]
uint32	rc: 1
uint32	sz: 30
uint32	w: 1

---

Detailed Description

Definition at line 150 of file weight_constraint.h.

---

Constructor & Destructor Documentation

Clasp::WeightConstraint::WL::WL	(	uint32	s,
		bool	shared,
		bool	w
	)

Definition at line 135 of file weight_constraint.cpp.

---

Member Function Documentation

uint8 * Clasp::WeightConstraint::WL::address

(

)

Definition at line 136 of file weight_constraint.cpp.

WeightConstraint::WL * Clasp::WeightConstraint::WL::clone

(

)

Definition at line 137 of file weight_constraint.cpp.

Literal Clasp::WeightConstraint::WL::lit

(

uint32

i

)

const [inline]

Definition at line 156 of file weight_constraint.h.

uint32 Clasp::WeightConstraint::WL::refCount

(

)

const

Definition at line 155 of file weight_constraint.cpp.

void Clasp::WeightConstraint::WL::release

(

)

Definition at line 149 of file weight_constraint.cpp.

bool Clasp::WeightConstraint::WL::shareable

(

)

const [inline]

Definition at line 152 of file weight_constraint.h.

uint32 Clasp::WeightConstraint::WL::size

(

)

const [inline]

Definition at line 155 of file weight_constraint.h.

bool Clasp::WeightConstraint::WL::unique

(

)

const [inline]

Definition at line 153 of file weight_constraint.h.

Var Clasp::WeightConstraint::WL::var

(

uint32

i

)

const [inline]

Definition at line 157 of file weight_constraint.h.

weight_t Clasp::WeightConstraint::WL::weight

(

uint32

i

)

const [inline]

Definition at line 158 of file weight_constraint.h.

bool Clasp::WeightConstraint::WL::weights

(

)

const [inline]

Definition at line 154 of file weight_constraint.h.

---

Member Data Documentation

Literal Clasp::WeightConstraint::WL::lits[0]

Definition at line 166 of file weight_constraint.h.

uint32 Clasp::WeightConstraint::WL::rc

Definition at line 164 of file weight_constraint.h.

uint32 Clasp::WeightConstraint::WL::sz

Definition at line 163 of file weight_constraint.h.

uint32 Clasp::WeightConstraint::WL::w

Definition at line 165 of file weight_constraint.h.

---

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

• weight_constraint.h
• weight_constraint.cpp