Contents
Index
boltzmann-brain-1.4: Boltzmann sampler compiler for combinatorial systems.
Index
add
Data.Boltzmann.Compiler.Haskell.Helpers
Algebraic
Data.Boltzmann.System
and
Data.Boltzmann.Compiler.Haskell.Helpers
annotations
Data.Boltzmann.System
applyF
Data.Boltzmann.Compiler.Haskell.Helpers
Arg
Data.Boltzmann.System
argName
Data.Boltzmann.System
args
Data.Boltzmann.System
bind
Data.Boltzmann.Compiler.Haskell.Helpers
bindP
Data.Boltzmann.Compiler.Haskell.Helpers
BlackCol
Data.Boltzmann.System.Renderer
bold
Data.Boltzmann.Internal.Utils
boldColor
Data.Boltzmann.Internal.Utils
brackets
Data.Boltzmann.Internal.Parser
closest
Data.Boltzmann.Internal.Utils
ColorScheme
Data.Boltzmann.System.Renderer
compile
Data.Boltzmann.Compiler
,
Data.Boltzmann.Compiler.Haskell.Algebraic
,
Data.Boltzmann.Compiler.Haskell.Rational
compileNote
1 (Function)
Data.Boltzmann.Compiler.Haskell.Algebraic
2 (Function)
Data.Boltzmann.Compiler.Haskell.Rational
conExp
Data.Boltzmann.Compiler.Haskell.Helpers
Conf
1 (Type/Class)
Data.Boltzmann.Compiler.Haskell.Algebraic
2 (Data Constructor)
Data.Boltzmann.Compiler.Haskell.Algebraic
3 (Type/Class)
Data.Boltzmann.Compiler.Haskell.Rational
4 (Data Constructor)
Data.Boltzmann.Compiler.Haskell.Rational
config
Data.Boltzmann.Compiler
,
Data.Boltzmann.Compiler.Haskell.Algebraic
,
Data.Boltzmann.Compiler.Haskell.Rational
Configuration
Data.Boltzmann.Compiler
Cons
1 (Type/Class)
Data.Boltzmann.System
2 (Data Constructor)
Data.Boltzmann.System
constructors
Data.Boltzmann.System
csv
Data.Boltzmann.Internal.Utils
Cummulative
Data.Boltzmann.System.Tuner
CVXOPT
Data.Boltzmann.System.Tuner
declADT
Data.Boltzmann.Compiler.Haskell.Helpers
declareADTs
Data.Boltzmann.Compiler.Haskell.Helpers
declArg
Data.Boltzmann.Compiler.Haskell.Helpers
declCon
Data.Boltzmann.Compiler.Haskell.Helpers
declTFun
Data.Boltzmann.Compiler.Haskell.Helpers
defaultArgs
Data.Boltzmann.System.Tuner
defs
Data.Boltzmann.System
dot
Data.Boltzmann.Compiler.Haskell.Helpers
double
Data.Boltzmann.Internal.Parser
ECOS
Data.Boltzmann.System.Tuner
ensureLn
Data.Boltzmann.Internal.Utils
errors
Data.Boltzmann.System.Errors
eval
Data.Boltzmann.System
evalA
Data.Boltzmann.System
evalC
Data.Boltzmann.System
evalT
Data.Boltzmann.System
exportFunc
Data.Boltzmann.Compiler.Haskell.Helpers
exportType
Data.Boltzmann.Compiler.Haskell.Helpers
exportTypes
Data.Boltzmann.Compiler.Haskell.Helpers
fail
Data.Boltzmann.Internal.Logging
fail'
Data.Boltzmann.Internal.Logging
frequency
Data.Boltzmann.System
func
Data.Boltzmann.System
getIdx
Data.Boltzmann.System
greater
Data.Boltzmann.Compiler.Haskell.Helpers
hasAtoms
Data.Boltzmann.System
hint
Data.Boltzmann.Internal.Logging
hint'
Data.Boltzmann.Internal.Logging
importFrom
Data.Boltzmann.Compiler.Haskell.Helpers
importFunc
Data.Boltzmann.Compiler.Haskell.Helpers
importType
Data.Boltzmann.Compiler.Haskell.Helpers
info
Data.Boltzmann.Internal.Logging
initType
Data.Boltzmann.System
integer
Data.Boltzmann.Internal.Parser
isAtomic
Data.Boltzmann.System
isEmptyAtZero
Data.Boltzmann.System.Utils
italic
Data.Boltzmann.Internal.Utils
less
Data.Boltzmann.Compiler.Haskell.Helpers
lessEq
Data.Boltzmann.Compiler.Haskell.Helpers
lessF
Data.Boltzmann.Compiler.Haskell.Helpers
lexeme
Data.Boltzmann.Internal.Parser
List
Data.Boltzmann.System
Log
1 (Type/Class)
Data.Boltzmann.Internal.Logging
2 (Data Constructor)
Data.Boltzmann.Internal.Logging
lvl
Data.Boltzmann.Internal.Logging
maxiters
Data.Boltzmann.System.Tuner
moduleName
1 (Function)
Data.Boltzmann.Compiler.Haskell.Algebraic
2 (Function)
Data.Boltzmann.Compiler.Haskell.Rational
msg
Data.Boltzmann.Internal.Logging
name
Data.Boltzmann.System.Sampler
nodes
Data.Boltzmann.System.Sampler
param
Data.Boltzmann.System
Parametrisation
Data.Boltzmann.System.Tuner
paramSys
1 (Function)
Data.Boltzmann.Compiler.Haskell.Algebraic
2 (Function)
Data.Boltzmann.Compiler.Haskell.Rational
paramTypes
Data.Boltzmann.System
paramTypesW
Data.Boltzmann.System
parens
Data.Boltzmann.Internal.Parser
PArg
1 (Type/Class)
Data.Boltzmann.System.Tuner
2 (Data Constructor)
Data.Boltzmann.System.Tuner
parseFileSpec
Data.Boltzmann.System.Parser
parseFromFile
Data.Boltzmann.Internal.Parser
parseN
Data.Boltzmann.Internal.Parser
parseSpec
Data.Boltzmann.System.Parser
precision
Data.Boltzmann.System.Tuner
printError
Data.Boltzmann.Internal.Parser
PSolver
Data.Boltzmann.System.Tuner
PSystem
1 (Type/Class)
Data.Boltzmann.System
2 (Data Constructor)
Data.Boltzmann.System
quote
Data.Boltzmann.Internal.Utils
RandomCol
Data.Boltzmann.System.Renderer
Rational
Data.Boltzmann.System
readPaganini
Data.Boltzmann.System.Tuner
Regular
Data.Boltzmann.System.Tuner
runPaganini
Data.Boltzmann.System.Tuner
sampleStr
Data.Boltzmann.System.Sampler
sampleStrIO
Data.Boltzmann.System.Sampler
sc
Data.Boltzmann.Internal.Parser
SCS
Data.Boltzmann.System.Tuner
sepBy2
Data.Boltzmann.Internal.Parser
seqTypes
Data.Boltzmann.System
size
Data.Boltzmann.System
solver
Data.Boltzmann.System.Tuner
Structure
1 (Type/Class)
Data.Boltzmann.System.Sampler
2 (Data Constructor)
Data.Boltzmann.System.Sampler
sub
Data.Boltzmann.Compiler.Haskell.Helpers
symbol
1 (Function)
Data.Boltzmann.Internal.Parser
2 (Function)
Data.Boltzmann.Compiler.Haskell.Helpers
System
1 (Type/Class)
Data.Boltzmann.System
2 (Data Constructor)
Data.Boltzmann.System
system
Data.Boltzmann.System
systemNote
Data.Boltzmann.Compiler.Haskell.Helpers
SystemT
Data.Boltzmann.System
SystemType
Data.Boltzmann.System
systemType
Data.Boltzmann.System
sysType
Data.Boltzmann.System.Tuner
toDotFile
Data.Boltzmann.System.Renderer
toLit
Data.Boltzmann.Compiler.Haskell.Helpers
toSystemT
Data.Boltzmann.System
Type
Data.Boltzmann.System
typeCons
Data.Boltzmann.Compiler.Haskell.Helpers
typeList
Data.Boltzmann.System
types
Data.Boltzmann.System
typeVar
Data.Boltzmann.Compiler.Haskell.Helpers
typeWeight
Data.Boltzmann.System
underline
Data.Boltzmann.Internal.Utils
unname
Data.Boltzmann.Compiler.Haskell.Helpers
Unsupported
Data.Boltzmann.System
value
Data.Boltzmann.System
values
Data.Boltzmann.System
varExp
Data.Boltzmann.Compiler.Haskell.Helpers
warn
Data.Boltzmann.Internal.Logging
warn'
Data.Boltzmann.Internal.Logging
warnings
Data.Boltzmann.System.Warnings
weight
Data.Boltzmann.System
weights
Data.Boltzmann.System
wellFoundedAtZero
Data.Boltzmann.System.Utils
withBool
Data.Boltzmann.Internal.Annotations
withDefault
Data.Boltzmann.Internal.Annotations
withDouble
Data.Boltzmann.Internal.Annotations
withInt
Data.Boltzmann.Internal.Annotations
withIO
1 (Function)
Data.Boltzmann.Compiler.Haskell.Algebraic
2 (Function)
Data.Boltzmann.Compiler.Haskell.Rational
withLists
Data.Boltzmann.Compiler.Haskell.Algebraic
withShow
1 (Function)
Data.Boltzmann.Compiler.Haskell.Algebraic
2 (Function)
Data.Boltzmann.Compiler.Haskell.Rational
withString
Data.Boltzmann.Internal.Annotations
writeSpecification
Data.Boltzmann.System.Tuner
zeroCoordinates
Data.Boltzmann.System.Utils