FiniteDomainSort constructor

FiniteDomainSort(Sym name, int size)

Implementation

FiniteDomainSort(this.name, this.size);