addFact method
Implementation
void addFact(FuncDecl relation, List<int> args) {
final argsPtr = calloc<UnsignedInt>(args.length);
try {
for (var i = 0; i < args.length; i++) {
argsPtr[i] = args[i];
}
_c._z3.fixedpoint_add_fact(
_fp,
_c._createFuncDecl(relation),
args.length,
argsPtr,
);
} finally {
malloc.free(argsPtr);
}
}