C++ (Cpp) Tuple::arity Examples

Example #1

File: varimp.cpp Project: Wushaowei001/cprelmaster

ModEvent CPTupleVarImp::exclude(Space& home, const Tuple& t) {
  TupleSet s(t.arity()); s.add(t);
  return exclude(home,s);
}

Example #2

File: varimp.cpp Project: Wushaowei001/cprelmaster

ModEvent CPTupleVarImp::assign(Space& home, const Tuple& t) {
  TupleSet s(t.arity());
  s.add(t);
  return exclude(home,s.complement());
}