sweetpea.backend module

This module provides functionality for making requests to the backend.

class sweetpea.backend.LowLevelRequest(comparison, k, variables)

Bases: object

Represents an individual low-level request to the backend.

Parameters

• comparison (str) –

• k (int) –

• variables (List[int]) –

comparisons = ['EQ', 'LT', 'GT']

to_dict()

Converts this request to a dict suitable for conversion to json and then the backend.

to_generation_request()

class sweetpea.backend.BackendRequest(fresh, cnfs=[], ll_requests=[])

Bases: object

Represents a full request to the backend, including CNFs, LowLevelRequests, and unigen arguments.

Parameters

• fresh (int) –

• cnfs (List[And]) –

• ll_requests (List[LowLevelRequest]) –

get_cnfs_as_json()

get_requests_as_json()

get_requests_as_generation_requests()