drwnVarAssignment.h File Reference

Data structures and utilities for encoding assignments to variables. More...

Go to the source code of this file.

Classes
class	drwnPartialAssignment
	defines an assignment to a subset of the variables More...

Typedefs
typedef std::vector< int >	drwnFullAssignment
	defines a complete assignment to all variables in the universe

Functions
void	successor (drwnFullAssignment &assignment, const drwnVarUniverse &universe)
	next full assignment
void	predecessor (drwnFullAssignment &assignment, const drwnVarUniverse &universe)
	previous full assignment
void	successor (drwnPartialAssignment &assignment, const drwnVarUniverse &universe)
	next partial assignment
void	predecessor (drwnPartialAssignment &assignment, const drwnVarUniverse &universe)
	previous partial assignment

Detailed Description

Data structures and utilities for encoding assignments to variables.