Method FiniteDomainSort

src/api/java/FiniteDomainSort.java:36–39

(Context ctx, long obj)

    }

    FiniteDomainSort(Context ctx, long obj)
    {
        super(ctx, obj);
    }

    FiniteDomainSort(Context ctx, Symbol name, long size)
    {