Type Definition libspartan::VarsAssignment [−][src]
type VarsAssignment = Assignment;
VarsAssignment
holds an assignment of values to variables in an Instance
type VarsAssignment = Assignment;
VarsAssignment
holds an assignment of values to variables in an Instance