AERN-Net-0.2.1: Compositional lazy dataflow networks for exact real number computationContentsIndex
Search:
addEvent
AnswerAnyProt
1 (Type/Class)
2 (Data Constructor)
answerQuery
answerQueryAnyProt
applyFieldProcess
biasedSplitSyncProcess
boundingProcess
castIn
castInIO
castOut
castOutIO
Channel
ChannelForScheduler
ChannelLocal
ChannelLocalAnyProt
ChannelType
1 (Type/Class)
2 (Data Constructor)
chTBool
chTChanges
chTFn1
chTFn2
chTIx
chTLFTReal
chTList
chTMaybe
chTNat
chTProd
chTReal
chTUnit
connectNeighbour
constantChangedProcess
constantProcess
constantStatefulProcess
constructJS
emptyAndDo
emptyAndGetEvents
ernetevAns
ERNetEvAnsMade
ERNetEvAnsReceived
ERNetEvent
ernetevFromId
ernetevFromQryId
ernetevQry
ernetevQryId
ERNetEvQryMade
ERNetEvQryReceived
ernetevTime
ernetevToId
erprocDeploy
ERProcess
1 (Type/Class)
2 (Data Constructor)
ERProcessAction
ERProcessActionAnswer
ERProcessActionQuery
ERProcessActionRetryWhen
ERProcessDeploy
ERProcessExpandCallback
ERProcessName
erprocInputTypes
erprocName
erprocOutputTypes
firstJust
getEndpointValsProcess
improverIxSimpleProcess
improverNoIxSimpleProcess
integrateFAProcess
integrateIsectMeasureFAProcess
joinFADomProcess
joinStepValProcess
lftConst
LFTDigit
lftDigit2Tensor
lftMatrix
lftRealNumberBufferForkProcess
lftRealNumberIncremProcess
LFTTensor
1 (Type/Class)
2 (Data Constructor)
lftTensorBinary
lftTensorCompose
lftTensorComposeUnary
lftTensorInfo
lftTensorIsPositive
lftTNScoeffs
lftTNSrank
LFT_L
LFT_M
LFT_R
LFT_SG_INF
LFT_SG_NEG
LFT_SG_POS
LFT_SG_ZER
Logger
LoggerLocal
makeAnswerFn1ByBoxesNoIx
makeAnswerFn1NoIx
makeAnswerList
makeAnswerMaybe
makeAnswerProd
makeAnswerR
makeAnswerRNoIx
makeAnswerRs
makeAnswerRsNoIx
makeQuery
makeQueryAnyProt
Manager
ManagerID
ManagerLocal
ManagerName
maxOverDomProcess
maybePassThroughProcess
new
1 (Function)
2 (Function)
3 (Function)
passThroughBinaryProcess
passThroughBinaryStatefulProcess
passThroughProcess
passThroughStatefulProcess
precProcess
putCompleteLog
putLogWhileRunning
qaaSetMinGran
QABoolQ
1 (Type/Class)
2 (Data Constructor)
QAChangesA
QAChangesAGivenUp
QAChangesANew
QAChangesASame
QAChangesQ
1 (Type/Class)
2 (Data Constructor)
QAChangesQIfNew
QAChangesQWhenNew
QAFn1A
1 (Type/Class)
2 (Data Constructor)
QAFn1APt
QAFn1Q
QAFn1QAll
QAFn1QDom
QAFn1QPt
QAFn2A
QAFn2APt
QAFn2Q
QAFn2QPt
QAIxA
1 (Type/Class)
2 (Data Constructor)
QAIxQ
1 (Type/Class)
2 (Data Constructor)
QALFTRealA
1 (Type/Class)
2 (Data Constructor)
QALFTRealQ
1 (Type/Class)
2 (Data Constructor)
QAListA
1 (Type/Class)
2 (Data Constructor)
QAListALength
QAListASingle
QAListQ
QAListQAllHomog
QAListQLength
QAListQPrefix
QAListQSingle
qaMatch
qaMatchDefaultMessage
QAMaybeA
1 (Type/Class)
2 (Data Constructor)
QAMaybeAIsNothing
QAMaybeQ
1 (Type/Class)
2 (Data Constructor)
QAMaybeQIsNothing
QANatA
1 (Type/Class)
2 (Data Constructor)
QANatQ
1 (Type/Class)
2 (Data Constructor)
QAProdA
QAProdABoth
QAProdAFirst
QAProdASecond
QAProdQ
QAProdQBoth
QAProdQFirst
QAProdQSecond
QAProtocol
QARealA
1 (Type/Class)
2 (Data Constructor)
QARealQ
1 (Type/Class)
2 (Data Constructor)
QAUnitA
1 (Type/Class)
2 (Data Constructor)
QAUnitQ
1 (Type/Class)
2 (Data Constructor)
QueryAnyProt
1 (Type/Class)
2 (Data Constructor)
QueryId
querySyncR
rateFnProcess
rateProcess
rateRProcess
rateRsProcess
replyFn
replyFn2Fn
replyFnNoIx
runDialogue
runProcess
showNQ
splitFADomProcess
splitSyncProcess
subnetProcess
switchMultiProcess
waitForAnswer
waitForAnswerMulti
waitForQuery
waitForQueryMulti