package utilities
Type Members
- case class BoundedSearchTree[T, S](bound: Int, branch: (T) => Set[(T, S)]) extends Product with Serializable
Provides a library for set theoretic programming, closely resembling mathematical expressions.
Provides a library for set theoretic programming, closely resembling mathematical expressions.
To get started import the library as follows:
import [[mathlib.set.SetTheory]]._