Class XVariables.XVarSymbolic

    • Constructor Detail

      • XVarSymbolic

        protected XVarSymbolic​(String id,
                               Types.TypeVar type,
                               Domains.IDom dom)
        Builds a symbolic variable with the specified id, type and domain.