srdatalog.ffi.wrapper

This is the definition of the lightweight wrapper class created when using FFI with a SRDatalog program.

Module Contents

Classes

DatalogFFI

API

class srdatalog.ffi.wrapper.DatalogFFI(header_path: str, binary_path: str)

Initialization

__del__()

load_data(root_dir: str)

Loads all data within the specified directory to the program. The directory should contain files with names matching the INPUT pragmas specified in the program schema.

run(max_iters: int = 2**63 - 1)

Runs the program.