dmodvar.lib
constant
testdmodvarlib
type
type
returntype
constant
dmodvarAssumeViolation
type
type
returntype
constant
safeVarName
type
type
string
→
(
string
→
returntype
)
constant
coDim
type
type
ideal
→
returntype
constant
ORDstr2list
type
type
int
→
(
string
→
returntype
)
constant
SannfsVar
type
type
list
→
(
ideal
→
returntype
)
constant
bfctVarAnn
type
type
list
→
(
ideal
→
returntype
)
constant
makeMalgrange
type
type
list
→
(
ideal
→
returntype
)
constant
bfctVarIn
type
type
list
→
(
ideal
→
returntype
)
constant
smallGenCoDim
type
type
int
→
(
ideal
→
returntype
)