registerRelation method

void registerRelation(
  1. FuncDecl relation
)

Implementation

void registerRelation(FuncDecl relation) {
  _c._z3.fixedpoint_register_relation(
    _fp,
    _c._createFuncDecl(relation),
  );
}