Combinator Design and Implementation

Internally, the Combinators use custom trace types.

Gen.VectorTrace — Type

VectorTrace <: Trace

U is the type of the subtrace, R is the return value type for the kernel

source

Gen.process_all_new! — Function

Process all new applications.

source

Process all new applications.

source

Gen.update_recurse_merge — Function

update_recurse_merge(prev_choices::ChoiceMap, choices::ChoiceMap)

Returns choices that are in constraints, merged with all choices in the previous trace that do not have the same address as some choice in the constraints."

source

Gen.update_discard — Function

update_discard(prev_choices::ChoiceMap, choices::ChoiceMap, new_choices::ChoiceMap)

Returns choices from previous trace that:

have an address which does not appear in the new trace.
have an address which does appear in the constraints.

source