1 /* Copyright (c) 2015 Regents of the University of California
3 * Author: Brian Demsky <bdemsky@uci.edu>
5 * This program is free software; you can redistribute it and/or
6 * modify it under the terms of the GNU General Public License
7 * version 2 as published by the Free Software Foundation.
11 #include "execpoint.h"
14 CGoal::CGoal(unsigned int _num, uint64_t *vals) :
19 valarray=(uint64_t *)model_malloc(sizeof(uint64_t)*num);
20 for(unsigned int i=0;i<num;i++) {
21 hash^=(valarray[i]=vals[i]);
31 model_print("goal: ");
33 for(uint i=0;i<num;i++) {
34 model_print("%llu",valarray[i]);
41 bool CGoalEquals(CGoal *cg1, CGoal *cg2) {
45 if (cg1->hash!=cg2->hash||
49 for(unsigned int i=0;i<cg1->num;i++) {
50 if (cg1->valarray[i]!=cg2->valarray[i])
58 unsigned int CGoalHash(CGoal *cg) {