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 #include "equalsrecord.h"
11 #include "constraint.h"
15 EqualsRecord::EqualsRecord(ConstGen *cg, EPRecord *eq) : equals(eq) {
19 EqualsRecord::~EqualsRecord() {
22 Constraint * EqualsRecord::getValueEncoding(uint64_t val) {
26 return vars->negate();