Public Member Functions | Public Attributes
Clasp::Solver::DLevel Struct Reference

List of all members.

Public Member Functions

 DLevel (uint32 pos=0, ConstraintDB *u=0)

Public Attributes

uint32 freeze: 1
uint32 marked: 1
uint32 trailPos: 30
ConstraintDBundo

Detailed Description

Definition at line 787 of file solver.h.


Constructor & Destructor Documentation

Clasp::Solver::DLevel::DLevel ( uint32  pos = 0,
ConstraintDB u = 0 
) [inline, explicit]

Definition at line 788 of file solver.h.


Member Data Documentation

Definition at line 795 of file solver.h.

Definition at line 794 of file solver.h.

Definition at line 793 of file solver.h.

Definition at line 796 of file solver.h.


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


clasp
Author(s): Benjamin Kaufmann
autogenerated on Thu Aug 27 2015 12:41:41