registerRelation method

void registerRelation(
  1. FuncDecl relation
)

Register relation as Fixedpoint defined. Fixedpoint defined relations have least-fixedpoint semantics. For example, the relation is empty if it does not occur in a head or a fact.

Implementation

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