essential_types

Module solution

Source
Expand description

§Solutions

Data types that are used to create solutions to predicates.

Structs§

  • Mutation
    A mutation to a single key in state.
  • Solution
    A solution to predicates.
  • SolutionData
    The data the solver is required to provide to solve a predicate.

Type Aliases§