finiteDomainSort function

FiniteDomainSort finiteDomainSort(
  1. String name,
  2. int size
)

The type of a finite domain with the given size, for use in the Datalog engine.

Implementation

FiniteDomainSort finiteDomainSort(String name, int size) =>
    FiniteDomainSort(Sym(name), size).declare();