The congress.datalog.builtin Module

class congress.datalog.builtin.CongressBuiltinCategoryMap(start_builtin_map)

Bases: object

add_map(newmap)

builtin(table)

Return a CongressBuiltinPred for given Tablename or None.

builtin_is_registered(predtotest)

Given a CongressBuiltinPred, check if it has been registered.

delete_all_in_category(category)

delete_builtin(category, name, inputs)

delete_category(category)

delete_from_category(category, pred)

delete_map(newmap)

dict_predtriple_to_pred(predtriple)

exists_category(category)

get_category_name(predname, predinputs)

insert_category(category)

insert_to_category(category, pred)

is_builtin(table, arity=None)

Given a Tablename and arity, check if it is a builtin.

list_available_builtins()

Print out the list of builtins, by category.

mapequal(othercbc)

sync_with_predlist(predname, pred, category, operation)

class congress.datalog.builtin.CongressBuiltinPred(name, arglist, num_inputs, code)

Bases: object

string_to_pred(predstring)

class congress.datalog.builtin.DatetimeBuiltins

Bases: object

classmethod datetime_equal(x, y)

classmethod datetime_greaterthan(x, y)

classmethod datetime_greaterthanequal(x, y)

classmethod datetime_lessthan(x, y)

classmethod datetime_lessthanequal(x, y)

classmethod datetime_minus(x, y)

classmethod datetime_plus(x, y)

classmethod datetime_to_seconds(x)

classmethod extract_date(x)

classmethod extract_time(x)

classmethod now()

classmethod pack_date(year, month, day)

classmethod pack_datetime(year, month, day, hour, minute, second)

classmethod pack_time(hour, minute, second)

classmethod to_datetime(x)

classmethod to_timedelta(x)

classmethod unpack_date(x)

classmethod unpack_datetime(x)

classmethod unpack_time(x)

class congress.datalog.builtin.NetworkAddressBuiltins

Bases: object

classmethod ip_in_network(ip, cidr)

classmethod ips_equal(ip1, ip2)

classmethod ips_greaterthan(ip1, ip2)

classmethod ips_greaterthan_equal(ip1, ip2)

classmethod ips_lessthan(ip1, ip2)

classmethod ips_lessthan_equal(ip1, ip2)

classmethod networks_equal(cidr1, cidr2)

classmethod networks_overlap(cidr1, cidr2)