addFact method

void addFact(
  1. FuncDecl relation,
  2. List<int> args
)

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);
  }
}