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