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.
12 #include "classlist.h"
19 CGoal(unsigned int num, uint64_t *vals);
21 unsigned int getNum() {return num;}
22 uint64_t getValue(unsigned int i) {return valarray[i];}
23 void setOutput(uint64_t _output) { outputvalue=_output;}
24 uint64_t getOutput() {return outputvalue;}
34 friend bool CGoalEquals(CGoal *cg1, CGoal *cg2);
35 friend unsigned int CGoalHash(CGoal *cg);
38 bool CGoalEquals(CGoal *cg1, CGoal *cg2);
39 unsigned int CGoalHash(CGoal *cg);
41 typedef HashSet<CGoal *, uintptr_t, 0, model_malloc, model_calloc, model_free, CGoalHash, CGoalEquals> CGoalSet;
42 typedef HSIterator<CGoal *, uintptr_t, 0, model_malloc, model_calloc, model_free, CGoalHash, CGoalEquals> CGoalIterator;