Typedef AssignmentContainer

• Defined in File model_sampler.h

Typedef Documentation

typedef std::vector<uint32_t> AssignmentContainer

model_sampler.h

Purpose: Classes for storing and managing partial and complete SAT assignments.

Copyright (C) 2018 Zayd Hammoudeh. All rights reserved.

Author

Zayd Hammoudeh zayd@ucsc.edu

Version

0.00.00

This software may be modified and distributed under the terms of the MIT license. See the LICENSE file for details.

Original Author: Marc Thurley. Defines the encoding for variable states in the assignment.