&& | Language.Copilot.Language, Language.Copilot |
* | Language.Copilot.Language, Language.Copilot |
+ | Language.Copilot.Language, Language.Copilot |
++ | Language.Copilot.Language, Language.Copilot |
- | Language.Copilot.Language, Language.Copilot |
.= | Language.Copilot.Language, Language.Copilot |
/ | Language.Copilot.Language, Language.Copilot |
/= | Language.Copilot.Language, Language.Copilot |
< | Language.Copilot.Language, Language.Copilot |
<= | Language.Copilot.Language, Language.Copilot |
<> | Language.Copilot.Language.FunctionCalls, Language.Copilot.Language, Language.Copilot |
== | Language.Copilot.Language, Language.Copilot |
==> | Language.Copilot.Language, Language.Copilot |
> | Language.Copilot.Language, Language.Copilot |
>= | Language.Copilot.Language, Language.Copilot |
abs | Language.Copilot.Language, Language.Copilot |
AllSpecSet | Language.Copilot.Analyser, Language.Copilot |
always | Language.Copilot.Libs.LTL |
alwaysBeen | Language.Copilot.Libs.PTLTL |
Append | Language.Copilot.Core |
ArgConstVar | Language.Copilot.Core |
Args | Language.Copilot.Core |
arrayInit | Language.Copilot.AdHocC |
arrDecl | Language.Copilot.AdHocC |
arrDecs | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
atomConstructor | Language.Copilot.Core |
AtomToC | |
1 (Type/Class) | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
2 (Data Constructor) | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
atomType | Language.Copilot.Core |
BackEnd | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
BadDrop | Language.Copilot.Analyser, Language.Copilot |
BadPArrSpec | Language.Copilot.Analyser, Language.Copilot |
BadSyntax | Language.Copilot.Analyser, Language.Copilot |
BadType | Language.Copilot.Analyser, Language.Copilot |
BadTypeExt | Language.Copilot.Analyser, Language.Copilot |
baseOpts | Language.Copilot.Interface, Language.Copilot |
bMap | Language.Copilot.Core, Language.Copilot |
Bool | Language.Copilot.Language, Language.Copilot |
C | Language.Copilot.Core |
c | Language.Copilot.Examples.LTLExamples |
cast | Language.Copilot.Language.Casting, Language.Copilot.Language, Language.Copilot |
check | Language.Copilot.Analyser, Language.Copilot |
clock | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
cName | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
compile | Language.Copilot.Interface, Language.Copilot |
compiler | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
Const | Language.Copilot.Core |
const | Language.Copilot.Language, Language.Copilot |
constD | Language.Copilot.Language, Language.Copilot |
constF | Language.Copilot.Language, Language.Copilot |
constI16 | Language.Copilot.Language, Language.Copilot |
constI32 | Language.Copilot.Language, Language.Copilot |
constI64 | Language.Copilot.Language, Language.Copilot |
constI8 | Language.Copilot.Language, Language.Copilot |
constW16 | Language.Copilot.Language, Language.Copilot |
constW32 | Language.Copilot.Language, Language.Copilot |
constW64 | Language.Copilot.Language, Language.Copilot |
constW8 | Language.Copilot.Language, Language.Copilot |
copilotToAtom | Language.Copilot.Compiler, Language.Copilot |
DefaultVerbose | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
DependsOnClosePast | Language.Copilot.Analyser, Language.Copilot |
DependsOnFuture | Language.Copilot.Analyser, Language.Copilot |
dispatch | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
distrib | Language.Copilot.Examples.Examples |
div | Language.Copilot.Language, Language.Copilot |
div0 | Language.Copilot.Language, Language.Copilot |
dMap | Language.Copilot.Core, Language.Copilot |
Drop | Language.Copilot.Core |
drop | Language.Copilot.Language, Language.Copilot |
DropSpecSet | Language.Copilot.Analyser, Language.Copilot |
emptySM | Language.Copilot.Core, Language.Copilot |
engine | |
1 (Function) | Language.Copilot.Examples.Examples |
2 (Function) | Language.Copilot.Examples.PTLTLExamples |
engineRun | Language.Copilot.Examples.PTLTLExamples |
Error | Language.Copilot.Analyser, Language.Copilot |
eventually | Language.Copilot.Libs.LTL |
eventuallyPrev | Language.Copilot.Libs.PTLTL |
Exs | Language.Copilot.Core |
Ext | Language.Copilot.Core |
extArrB | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
extArrD | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
extArrF | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
extArrI16 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
extArrI32 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
extArrI64 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
extArrI8 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
extArrW16 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
extArrW32 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
extArrW64 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
extArrW8 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
extB | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
extD | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
externalAtomConstructor | Language.Copilot.Core |
extF | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
extI16 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
extI32 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
extI64 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
extI8 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
ExtRet | Language.Copilot.Core |
ExtRetA | Language.Copilot.Core |
ExtRetV | Language.Copilot.Core |
ExtV | Language.Copilot.Core |
extW16 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
extW32 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
extW64 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
extW8 | Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot |
F | Language.Copilot.Core |
F2 | Language.Copilot.Core |
F3 | Language.Copilot.Core |
False | Language.Copilot.Language, Language.Copilot |
false | Language.Copilot.Language, Language.Copilot |
fib | Language.Copilot.Examples.Examples |
filterStreamableMaps | Language.Copilot.Core |
fMap | Language.Copilot.Core, Language.Copilot |
foldStreamableMaps | Language.Copilot.Core |
Fractional | Language.Copilot.Language, Language.Copilot |
fromInteger | Language.Copilot.Language, Language.Copilot |
fromOp | Language.Copilot.Tests.Random, Language.Copilot.Language.RandomOps, Language.Copilot |
Fun | Language.Copilot.Core |
fun | Language.Copilot.Language.FunctionCalls, Language.Copilot.Language, Language.Copilot |
funcDecl | Language.Copilot.AdHocC |
funcShow | Language.Copilot.Core |
FunSpecSet | Language.Copilot.Analyser, Language.Copilot |
gccOpts | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
gcd | Language.Copilot.Examples.Examples |
gcd' | Language.Copilot.Examples.Examples |
getAtomType | Language.Copilot.Core |
getElem | Language.Copilot.Core |
getExternalVars | Language.Copilot.Analyser, Language.Copilot |
getMaybeElem | Language.Copilot.Core |
getMaybeVar | Language.Copilot.Core |
getPeriod | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
getPrePostCode | Language.Copilot.AtomToC, Language.Copilot |
getSends | Language.Copilot.Core |
getSpecs | Language.Copilot.Core |
getSubMap | Language.Copilot.Core |
getTriggers | Language.Copilot.Core |
getVars | Language.Copilot.Core |
help | Language.Copilot.Interface, Language.Copilot |
helpStr | Language.Copilot.Help, Language.Copilot |
i16Map | Language.Copilot.Core, Language.Copilot |
i32Map | Language.Copilot.Core, Language.Copilot |
i64Map | Language.Copilot.Core, Language.Copilot |
i8 | Language.Copilot.Examples.Examples |
i8Map | Language.Copilot.Core, Language.Copilot |
includeBracket | Language.Copilot.AdHocC |
includeQuote | Language.Copilot.AdHocC |
int16Chk | Language.Copilot.Libs.ErrorChks |
interface | Language.Copilot.Interface, Language.Copilot |
interpret | Language.Copilot.Interface, Language.Copilot |
Interpreted | |
1 (Type/Class) | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
2 (Data Constructor) | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
interpreted | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
Interpreter | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
interpretStreams | Language.Copilot.Interpreter, Language.Copilot |
isEmptySM | Language.Copilot.Core |
Iterations | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
LangElems | |
1 (Type/Class) | Language.Copilot.Core |
2 (Data Constructor) | Language.Copilot.Core |
latest | Language.Copilot.Libs.Indexes |
latestFail | Language.Copilot.Libs.Indexes |
ltl | Language.Copilot.Libs.LTL |
mapStreamableMaps | Language.Copilot.Core |
mapStreamableMapsM | Language.Copilot.Core |
max | Language.Copilot.Libs.Statistics |
mean | Language.Copilot.Libs.Statistics |
min | Language.Copilot.Libs.Statistics |
mod | Language.Copilot.Language, Language.Copilot |
mod0 | Language.Copilot.Language, Language.Copilot |
mux | Language.Copilot.Language, Language.Copilot |
Name | Language.Copilot.Core |
negate | Language.Copilot.Language, Language.Copilot |
next | Language.Copilot.Libs.LTL |
nOneChk | Language.Copilot.Libs.ErrorChks |
NonNegativeWeightedClosedPath | Language.Copilot.Analyser, Language.Copilot |
noOpts | Language.Copilot.Interface, Language.Copilot |
normalizeVar | Language.Copilot.Core |
not | Language.Copilot.Language, Language.Copilot |
notConstVarErr | Language.Copilot.Core, Language.Copilot.Language, Language.Copilot |
NotInterpreted | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
nPosChk | Language.Copilot.Libs.ErrorChks |
Num | Language.Copilot.Language, Language.Copilot |
OnlyErrors | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
Operator | |
1 (Type/Class) | Language.Copilot.Tests.Random, Language.Copilot.Language.RandomOps, Language.Copilot |
2 (Data Constructor) | Language.Copilot.Tests.Random, Language.Copilot.Language.RandomOps, Language.Copilot |
Operators | Language.Copilot.Tests.Random, Language.Copilot.Language.RandomOps, Language.Copilot |
opsF | Language.Copilot.Language.RandomOps |
opsF2 | Language.Copilot.Language.RandomOps |
opsF3 | Language.Copilot.Language.RandomOps |
Options | Language.Copilot.Interface, Language.Copilot |
Opts | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
output | Language.Copilot.Examples.LTLExamples |
outputDir | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
PArr | Language.Copilot.Core |
PArrSet | Language.Copilot.Analyser, Language.Copilot |
Period | Language.Copilot.Core |
Port | |
1 (Type/Class) | Language.Copilot.Core |
2 (Data Constructor) | Language.Copilot.Core |
port | Language.Copilot.Language, Language.Copilot |
prePostCode | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
previous | Language.Copilot.Libs.PTLTL |
printf | Language.Copilot.AdHocC |
printfNewline | Language.Copilot.AdHocC |
ptltl | Language.Copilot.Libs.PTLTL |
PVar | Language.Copilot.Core |
q1 | Language.Copilot.Examples.PTLTLExamples |
q2 | Language.Copilot.Examples.PTLTLExamples |
randomStreams | Language.Copilot.Tests.Random, Language.Copilot.Language.RandomOps, Language.Copilot |
release | Language.Copilot.Libs.LTL |
Send | |
1 (Type/Class) | Language.Copilot.Core |
2 (Data Constructor) | Language.Copilot.Core |
send | Language.Copilot.Language, Language.Copilot |
sendName | Language.Copilot.Core |
sendPort | Language.Copilot.Core |
sendVar | Language.Copilot.Core |
setArrs | Language.Copilot.Interface, Language.Copilot |
setC | Language.Copilot.Interface, Language.Copilot |
setClock | Language.Copilot.Interface, Language.Copilot |
setDir | Language.Copilot.Interface, Language.Copilot |
setE | Language.Copilot.Interface, Language.Copilot |
setGCC | Language.Copilot.Interface, Language.Copilot |
setI | Language.Copilot.Interface, Language.Copilot |
setN | Language.Copilot.Interface, Language.Copilot |
setO | Language.Copilot.Interface, Language.Copilot |
setP | Language.Copilot.Interface, Language.Copilot |
setPP | Language.Copilot.Interface, Language.Copilot |
setR | Language.Copilot.Interface, Language.Copilot |
setV | Language.Copilot.Interface, Language.Copilot |
showAsC | Language.Copilot.Core |
signum | Language.Copilot.Language, Language.Copilot |
since | Language.Copilot.Libs.PTLTL |
SM | Language.Copilot.Core, Language.Copilot |
snds | Language.Copilot.Core |
soonest | Language.Copilot.Libs.Indexes |
soonestFail | Language.Copilot.Libs.Indexes |
Spec | Language.Copilot.Core, Language.Copilot |
SpecSet | Language.Copilot.Analyser, Language.Copilot |
Stream | Language.Copilot.Core |
Streamable | Language.Copilot.Core |
StreamableMaps | Language.Copilot.Core, Language.Copilot |
Streams | Language.Copilot.Core, Language.Copilot |
strms | Language.Copilot.Core |
sum | Language.Copilot.Libs.Statistics |
t0 | |
1 (Function) | Language.Copilot.Examples.StatExamples |
2 (Function) | Language.Copilot.Examples.LTLExamples |
t1 | |
1 (Function) | Language.Copilot.Examples.Examples |
2 (Function) | Language.Copilot.Examples.LTLExamples |
t11 | Language.Copilot.Examples.Examples |
t3 | Language.Copilot.Examples.Examples |
t4 | Language.Copilot.Examples.Examples |
t5 | Language.Copilot.Examples.Examples |
t99 | Language.Copilot.Examples.Examples |
tAB | Language.Copilot.Examples.PTLTLExamples |
tAlways | Language.Copilot.Examples.LTLExamples |
tEP | Language.Copilot.Examples.PTLTLExamples |
test | Language.Copilot.Interface, Language.Copilot |
testArr | Language.Copilot.Examples.Examples |
testCoercions | Language.Copilot.Examples.Examples |
testCoercions2 | Language.Copilot.Examples.Examples |
testCoercions3 | Language.Copilot.Examples.Examples |
testing | Language.Copilot.Examples.LTLExamples |
testRules | Language.Copilot.Examples.LTLExamples |
tFuture | Language.Copilot.Examples.LTLExamples |
tLatest | Language.Copilot.Examples.LTLExamples |
tMean | Language.Copilot.Examples.StatExamples |
tmpArrName | Language.Copilot.Compiler, Language.Copilot |
tmpSampleStr | Language.Copilot.Compiler, Language.Copilot |
tmpVarName | Language.Copilot.Compiler, Language.Copilot |
tNext | Language.Copilot.Examples.LTLExamples |
tprv | Language.Copilot.Examples.PTLTLExamples |
trap | Language.Copilot.Examples.Examples |
tRelease0 | Language.Copilot.Examples.LTLExamples |
tRelease1 | Language.Copilot.Examples.LTLExamples |
trigArgs | Language.Copilot.Core |
Trigger | |
1 (Type/Class) | Language.Copilot.Core |
2 (Data Constructor) | Language.Copilot.Core |
trigger | Language.Copilot.Language.FunctionCalls, Language.Copilot.Language, Language.Copilot |
Triggers | Language.Copilot.Core |
trigName | Language.Copilot.Core |
trigs | Language.Copilot.Core |
trigVar | Language.Copilot.Core |
True | Language.Copilot.Language, Language.Copilot |
true | Language.Copilot.Language, Language.Copilot |
tSince | Language.Copilot.Examples.PTLTLExamples |
tSinExt | Language.Copilot.Examples.PTLTLExamples |
tSinExt2 | Language.Copilot.Examples.PTLTLExamples |
tSoonest | Language.Copilot.Examples.LTLExamples |
tstdat1Sin | Language.Copilot.Examples.PTLTLExamples |
tstdat2Sin | Language.Copilot.Examples.PTLTLExamples |
tstdatAB | Language.Copilot.Examples.PTLTLExamples |
tstdatEP | Language.Copilot.Examples.PTLTLExamples |
tstdatprv | Language.Copilot.Examples.PTLTLExamples |
tUntil | Language.Copilot.Examples.LTLExamples |
typeId | Language.Copilot.Core |
typeIdPrec | Language.Copilot.Core |
unit | Language.Copilot.Core |
until | Language.Copilot.Libs.LTL |
updateSubMap | Language.Copilot.Core |
V | Language.Copilot.Core |
Var | |
1 (Data Constructor) | Language.Copilot.Core |
2 (Type/Class) | Language.Copilot.Core |
var | Language.Copilot.Language, Language.Copilot |
varB | Language.Copilot.Language, Language.Copilot |
varD | Language.Copilot.Language, Language.Copilot |
varDecl | Language.Copilot.AdHocC |
varF | Language.Copilot.Language, Language.Copilot |
varI16 | Language.Copilot.Language, Language.Copilot |
varI32 | Language.Copilot.Language, Language.Copilot |
varI64 | Language.Copilot.Language, Language.Copilot |
varI8 | Language.Copilot.Language, Language.Copilot |
varInit | Language.Copilot.AdHocC |
Vars | Language.Copilot.Core |
varW16 | Language.Copilot.Language, Language.Copilot |
varW32 | Language.Copilot.Language, Language.Copilot |
varW64 | Language.Copilot.Language, Language.Copilot |
varW8 | Language.Copilot.Language, Language.Copilot |
Verbose | |
1 (Type/Class) | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
2 (Data Constructor) | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
verify | Language.Copilot.Interface, Language.Copilot |
void | Language.Copilot.Language.FunctionCalls, Language.Copilot.Language, Language.Copilot |
vPre | Language.Copilot.Core |
w16Map | Language.Copilot.Core, Language.Copilot |
w32Map | Language.Copilot.Core, Language.Copilot |
w64Map | Language.Copilot.Core, Language.Copilot |
w8Map | Language.Copilot.Core, Language.Copilot |
xx | Language.Copilot.Examples.Examples |
yy | Language.Copilot.Examples.Examples |
z | Language.Copilot.Examples.PTLTLExamples |
zz | Language.Copilot.Examples.Examples |
^ | Language.Copilot.Language, Language.Copilot |
|| | Language.Copilot.Language, Language.Copilot |