Up – Package index » logtk » Library logtk.solving » Logtk_solving » Lpo

Module `Logtk_solving.Lpo`Source

Constraint Solving for LPO

Sourcemodule Constraint : sig ... end

Sourcemodule Solution : sig ... end

Sourceval solve_multiple : Constraint.t list -> Solution.t Logtk.LazyList.t

A lazy list of partial orders over symbols, that satisfy the given list of constraints

Sourcemodule FO : sig ... end

Sourcemodule TypedSTerm : sig ... end