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.
10 #ifndef BRANCHRECORD_H
11 #define BRANCHRECORD_H
12 #include "classlist.h"
16 BranchRecord(EPRecord *record, uint numvars, Constraint **vars, bool isalwaysexecuted);
18 Constraint * getAnyBranch();
19 Constraint * getBranch(EPValue *val);
20 Constraint * getNewBranch();
21 int getBranchValue(bool *array);
22 int numDirections() {return numdirections;}
23 bool hasNextRecord() {return hasNext;}