View Source Guesswork.Constraint.Simple (Guesswork v0.8.0)
A simple, uni-directional constraint built from a Guesswork.Answer.Computation
.
Summary
Types
@type t() :: %Guesswork.Constraint.Simple{ computation: Guesswork.Answer.Computation.t(), negated: boolean(), result: Guesswork.Ast.Variable.t() | Guesswork.Ast.Term.t() }
Functions
@spec new( Guesswork.Answer.Computation.t(), Guesswork.Ast.Variable.t() | Guesswork.Ast.Term.t(), boolean() ) :: t()