View Source Guesswork.Constraint.Simple (Guesswork v0.8.0)

A simple, uni-directional constraint built from a Guesswork.Answer.Computation.

Summary

Types

t()

@type t() :: %Guesswork.Constraint.Simple{
  computation: Guesswork.Answer.Computation.t(),
  negated: boolean(),
  result: Guesswork.Ast.Variable.t() | Guesswork.Ast.Term.t()
}

Functions

new(computation, result, negated)