setPredicateRepresentation method

void setPredicateRepresentation(
  1. FuncDecl relation,
  2. List<Sym> kinds
)

Configure the predicate representation.

Implementation

void setPredicateRepresentation(FuncDecl relation, List<Sym> kinds) {
  final kindsPtr = calloc<Z3_symbol>(kinds.length);
  try {
    for (var i = 0; i < kinds.length; i++) {
      kindsPtr[i] = _c._createSymbol(kinds[i]);
    }
    _c._z3.fixedpoint_set_predicate_representation(
      _fp,
      _c._createFuncDecl(relation),
      kinds.length,
      kindsPtr,
    );
  } finally {
    malloc.free(kindsPtr);
  }
}