Module encode

Encode and Decode Predicates

Encoding

Predicate

Field	Size (bytes)	Description
number_of_nodes	2	The number of nodes in the predicate.
nodes	35 * number_of_nodes	The nodes in the predicate.
number_of_edges	2	The number of edges in the predicate.
edges	2 * number_of_edges	The edges in the predicate.

Node

Field	Size (bytes)	Description
edge_start	2	The index of the first edge in the edge list.
program_address	32	The address of the program.
reads	1	The type of state this program has access to.

Edge

Field	Size (bytes)	Description
edge	2	The index of the node that this edge points to.

Enums

• PredicateDecodeError
  Errors that can occur when decoding a predicate.
• PredicateEncodeError
  Errors that can occur when encoding a predicate.

Functions

• decode_predicate
  Decode a predicate from bytes.
• encode_predicate
  Encode a predicate into bytes.
• predicate_encoded_size
  The size of the encoded predicate.