|
#############################################################################
##
#W globals.g automgrp package Yevgen Muntyan
#W Dmytro Savchuk
##
#Y Copyright (C) 2003 - 2018 Yevgen Muntyan, Dmytro Savchuk
##
###############################################################################
##
## AG_Globals
##
## This record contains various global variables for automata package.
## It's made as one record with million (possible) entries in order to not
## pollute global namespace (and we can put any trash in here).
##
BindGlobal("AG_Globals", rec(
identity_symbol := "1",
state_symbol := "a",
state_symbol_dual := "d",
bind_vars_autom_family := true,
round_spectra := 7,
scilab_stacksize := 100000000,
run_tests_forever := false,
max_rws_relator_len := 2,
unit_test_dots := false,
));
###############################################################################
##
#V InfoAutomGrp
##
DeclareInfoClass("InfoAutomGrp");
SetInfoLevel(InfoAutomGrp, 0);
#E
[ Dauer der Verarbeitung: 0.22 Sekunden
(vorverarbeitet)
]
|
