Home
last modified time | relevance | path

Searched refs:DEFAULT_MAX_BASE_SIZE (Results 1 – 15 of 15) sorted by relevance

/dports/math/gap/gap-4.11.0/pkg/guava-3.15/src/leon/src/
H A Dgroup.h113 #ifndef DEFAULT_MAX_BASE_SIZE
114 #define DEFAULT_MAX_BASE_SIZE 62 macro
212 { CompileOptions localOpts = { DEFAULT_MAX_BASE_SIZE, MAX_NAME_LENGTH, \
H A Dcommut.c103 options.maxBaseSize = DEFAULT_MAX_BASE_SIZE; in main()
243 CompileOptions mainOpts = { DEFAULT_MAX_BASE_SIZE, MAX_NAME_LENGTH, in verifyOptions()
H A Dorbdes.c90 options.maxBaseSize = DEFAULT_MAX_BASE_SIZE; in main()
205 CompileOptions mainOpts = { DEFAULT_MAX_BASE_SIZE, MAX_NAME_LENGTH, in verifyOptions()
H A Dfndelt.c117 options.maxBaseSize = DEFAULT_MAX_BASE_SIZE; in main()
294 CompileOptions mainOpts = { DEFAULT_MAX_BASE_SIZE, MAX_NAME_LENGTH, in verifyOptions()
H A Drandobj.c107 options.maxBaseSize = DEFAULT_MAX_BASE_SIZE; in main()
305 CompileOptions mainOpts = { DEFAULT_MAX_BASE_SIZE, MAX_NAME_LENGTH, in verifyOptions()
H A Dutil.c46 printf( "\n Default maximum base size: %2d", DEFAULT_MAX_BASE_SIZE); in showLimits()
H A Dinter.c197 options.maxBaseSize = DEFAULT_MAX_BASE_SIZE; in main()
360 CompileOptions mainOpts = { DEFAULT_MAX_BASE_SIZE, MAX_NAME_LENGTH, in verifyOptions()
H A Dcompgrp.c133 options.maxBaseSize = DEFAULT_MAX_BASE_SIZE; in main()
440 CompileOptions mainOpts = { DEFAULT_MAX_BASE_SIZE, MAX_NAME_LENGTH, in verifyOptions()
H A Dgenerate.c219 options.maxBaseSize = DEFAULT_MAX_BASE_SIZE; in main()
496 CompileOptions mainOpts = { DEFAULT_MAX_BASE_SIZE, MAX_NAME_LENGTH, in verifyOptions()
H A Dcent.c256 options.maxBaseSize = DEFAULT_MAX_BASE_SIZE; in main()
558 CompileOptions mainOpts = { DEFAULT_MAX_BASE_SIZE, MAX_NAME_LENGTH, in verifyOptions()
H A Dsetstab.c272 options.maxBaseSize = DEFAULT_MAX_BASE_SIZE; in main()
608 CompileOptions mainOpts = { DEFAULT_MAX_BASE_SIZE, MAX_NAME_LENGTH, in verifyOptions()
H A Dorblist.c149 options.maxBaseSize = DEFAULT_MAX_BASE_SIZE; in main()
631 CompileOptions mainOpts = { DEFAULT_MAX_BASE_SIZE, MAX_NAME_LENGTH, in verifyOptions()
H A Dcjrndper.c165 options.maxBaseSize = DEFAULT_MAX_BASE_SIZE; in main()
615 CompileOptions mainOpts = { DEFAULT_MAX_BASE_SIZE, MAX_NAME_LENGTH, in verifyOptions()
H A Dwtdist.c260 options.maxBaseSize = DEFAULT_MAX_BASE_SIZE; in main()
958 CompileOptions mainOpts = { DEFAULT_MAX_BASE_SIZE, MAX_NAME_LENGTH,
H A Ddesauto.c289 options.maxBaseSize = DEFAULT_MAX_BASE_SIZE; in main()
779 CompileOptions mainOpts = { DEFAULT_MAX_BASE_SIZE, MAX_NAME_LENGTH, in verifyOptions()