pc2.hpp

Go to the documentation of this file.

struct PC2 {
 
  // X = Y <op> Z
 
  struct Constraint {
    Sig op;
    AVar x;
    AVar y;
    AVar z;
  }
  vector<Constraint> constraints;
 
  vector<Sig> ops;
  vector<AVar> xs;
  vector<AVar> ys;
  vector<AVar> zs;
 
  vector<Interval> domains; // domains[x] = [0..10]
 
 
  int i = threadIdx.x;
  U& r1 = domains[xs[i]];
  U& r2 = domains[ys[i]];
  U& r3 = domains[zs[i]];
  switch(ops[i]) {
    case ADD: r3.embed(r1 + r2); r2.embed(r1 - r3); .. ...;
    case SUB: r3.embed(r1 - r2); ...;
  }
 
  struct BinConstraint {
    vector<AVar> xs;
    vector<AVar> ys;
    vector<AVar> zs;
  };
 
  vector<BinConstraint> eq_mul_constraints;
  vector<BinConstraint> eq_add_constraints;
  vector<BinConstraint> eq_sub_constraints;
 
 
};