class Kanren::Solver(T)

• Kanren::Solver(T)
• Reference
• Object

Defined in:

kanren/solver.cr

Constructors

• .new(states : Array(Kanren::State(T)) = [State(T).new])

Instance Method Summary

• #branch(count, &)
• #fresh(count, &)
• #join(a : Var, b : Var)
• #join(a : T, b : T)
• #join(var : Var, value : T)
• #member(var : Var, *values)
• #query_var
• #solutions

Constructor Detail

Instance Method Detail