View Source MSSMT.Node protocol (MSSMT v0.1.1)

Protocol defining the behavior for nodes in the MSSMT.

Summary

t()

All the types that implement this protocol.

copy(node)

Returns a copy of the node.

node_hash(node)

Computes the node's hash.

node_sum(node)

Computes the node's sum.

@type t() :: term()

All the types that implement this protocol.

@spec copy(t()) :: t()

Returns a copy of the node.

Since structs are immutable, this returns the node itself.

@spec node_hash(t()) :: MSSMT.NodeHash.t()

Computes the node's hash.

@spec node_sum(t()) :: non_neg_integer()

Computes the node's sum.