copilot-libraries-3.5: Libraries for the Copilot language.

Index

!!Copilot.Library.Utils, Copilot.Library.Libraries
always 
1 (Function)Copilot.Library.MTL
2 (Function)Copilot.Library.LTL, Copilot.Library.Libraries
alwaysBeen 
1 (Function)Copilot.Library.PTLTL, Copilot.Library.Libraries
2 (Function)Copilot.Library.MTL
aMajorityCopilot.Library.Voting, Copilot.Library.Libraries
case'Copilot.Library.Utils, Copilot.Library.Libraries
clkCopilot.Library.Clocks, Copilot.Library.Libraries
clk1Copilot.Library.Clocks, Copilot.Library.Libraries
copilotRegexpCopilot.Library.RegExp, Copilot.Library.Libraries
copilotRegexpBCopilot.Library.RegExp, Copilot.Library.Libraries
cycleCopilot.Library.Utils, Copilot.Library.Libraries
eventually 
1 (Function)Copilot.Library.MTL
2 (Function)Copilot.Library.LTL, Copilot.Library.Libraries
eventuallyPrev 
1 (Function)Copilot.Library.PTLTL, Copilot.Library.Libraries
2 (Function)Copilot.Library.MTL
majorityCopilot.Library.Voting, Copilot.Library.Libraries
matchingReleaseCopilot.Library.MTL
matchingSinceCopilot.Library.MTL
matchingTriggerCopilot.Library.MTL
matchingUntilCopilot.Library.MTL
maxCopilot.Library.Statistics, Copilot.Library.Libraries
meanCopilot.Library.Statistics, Copilot.Library.Libraries
meanNowCopilot.Library.Statistics, Copilot.Library.Libraries
minCopilot.Library.Statistics, Copilot.Library.Libraries
nextCopilot.Library.LTL, Copilot.Library.Libraries
nfoldlCopilot.Library.Utils, Copilot.Library.Libraries
nfoldl1Copilot.Library.Utils, Copilot.Library.Libraries
nfoldrCopilot.Library.Utils, Copilot.Library.Libraries
nfoldr1Copilot.Library.Utils, Copilot.Library.Libraries
nscanlCopilot.Library.Utils, Copilot.Library.Libraries
nscanl1Copilot.Library.Utils, Copilot.Library.Libraries
nscanrCopilot.Library.Utils, Copilot.Library.Libraries
nscanr1Copilot.Library.Utils, Copilot.Library.Libraries
periodCopilot.Library.Clocks, Copilot.Library.Libraries
phaseCopilot.Library.Clocks, Copilot.Library.Libraries
previousCopilot.Library.PTLTL, Copilot.Library.Libraries
release 
1 (Function)Copilot.Library.MTL
2 (Function)Copilot.Library.LTL, Copilot.Library.Libraries
since 
1 (Function)Copilot.Library.PTLTL, Copilot.Library.Libraries
2 (Function)Copilot.Library.MTL
stackCopilot.Library.Stacks, Copilot.Library.Libraries
stack'Copilot.Library.Stacks, Copilot.Library.Libraries
sumCopilot.Library.Statistics, Copilot.Library.Libraries
tailsCopilot.Library.Utils, Copilot.Library.Libraries
takeCopilot.Library.Utils, Copilot.Library.Libraries
triggerCopilot.Library.MTL
until 
1 (Function)Copilot.Library.MTL
2 (Function)Copilot.Library.LTL, Copilot.Library.Libraries