branchrecord.h

   1 /*      Copyright (c) 2015 Regents of the University of California
   2  *
   3  *      Author: Brian Demsky <bdemsky@uci.edu>
   4  *
   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.
   8  */
   9
  10 #ifndef BRANCHRECORD_H
  11 #define BRANCHRECORD_H
  12 #include "classlist.h"
  13
  14 class BranchRecord {
  15 public:
  16         BranchRecord(EPRecord *record, uint numvars, Constraint **vars, bool isalwaysexecuted);
  17         ~BranchRecord();
  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;}
  24         MEMALLOC;
  25 private:
  26         EPRecord *branch;
  27         bool hasNext;
  28         uint numvars;
  29         uint numdirections;
  30         bool alwaysexecuted;
  31         Constraint **vars;
  32 };
  33 #endif