libcspm-1.0.0: A library providing a parser, type checker and evaluator for CSPM.

Index - C

cannotCheckSetMembershipErrorCSPM.Evaluator.Exceptions
cannotConvertIntegersToListMessageCSPM.Evaluator.Exceptions
cannotConvertProcessesToListMessageCSPM.Evaluator.Exceptions
cannotDifferenceSetsMessageCSPM.Evaluator.Exceptions
cardCSPM.Evaluator.ValueSet, CSPM.Evaluator
cardOfInfiniteSetMessageCSPM.Evaluator.Exceptions
CartDotCSPM.Evaluator.ValueSet, CSPM.Evaluator
CartesianProductCSPM.Evaluator.ValueSet, CSPM.Evaluator
cartesianProduct 
1 (Function)Util.List
2 (Function)CSPM.Evaluator.ValueSet, CSPM.Evaluator
cartProductUtil.Prelude
CartProductTypeCSPM.Evaluator.ValueSet, CSPM.Evaluator
CartTupleCSPM.Evaluator.ValueSet, CSPM.Evaluator
cat 
1 (Function)Util.PrettyPrint
2 (Function)Util.MonadicPrettyPrintInternal, Util.MonadicPrettyPrint
CEqCSPM.DataStructures.Types, CSPM
ChannelCSPM.DataStructures.Syntax, CSPM
CharCSPM.DataStructures.Literals
char 
1 (Function)Util.PrettyPrint
2 (Function)Util.MonadicPrettyPrintInternal, Util.MonadicPrettyPrint
ChaseCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
ChrUtil.MonadicPrettyPrintInternal, Util.MonadicPrettyPrint, Util.PrettyPrint
CInputableCSPM.DataStructures.Types, CSPM
closeseqCSPM.Parser.Lexer
collectConstraintsCSPM.DataStructures.Types, CSPM
colon 
1 (Function)Util.PrettyPrint
2 (Function)Util.MonadicPrettyPrintInternal, Util.MonadicPrettyPrint
combineDotsCSPM.Evaluator.Dot
combineSpansUtil.Annotated
comma 
1 (Function)Util.PrettyPrint
2 (Function)Util.MonadicPrettyPrintInternal, Util.MonadicPrettyPrint
commaSeparatedInt 
1 (Function)Util.MonadicPrettyPrint
2 (Function)Util.PrettyPrint
comparableForEqualityDataTypesCSPM.TypeChecker.Monad
compareValuesCSPM.Evaluator.Values, CSPM.Evaluator, CSPM
compareValueSetsCSPM.Evaluator.ValueSet, CSPM.Evaluator
componentsCSPM.Evaluator.ProcessValues, CSPM.Evaluator
composeFunctionsUtil.PartialFunctions
CompositeSetCSPM.Evaluator.ValueSet, CSPM.Evaluator
compressCSPM.TypeChecker.Monad
CompressableCSPM.TypeChecker.Compressor
compressIntoEnumeratedSetCSPM.Evaluator.Dot
compressTypeSchemeCSPM.TypeChecker.Monad
ConcatCSPM.DataStructures.Syntax, CSPM
concatLeftListCSPM.DataStructures.Syntax, CSPM
concatMapMUtil.Monad
concatRightListCSPM.DataStructures.Syntax, CSPM
ConstraintCSPM.DataStructures.Types, CSPM
constraintImpliedByCSPM.DataStructures.Types, CSPM
constraintsCSPM.DataStructures.Types, CSPM
constraintUnificationErrorMessageCSPM.TypeChecker.Exceptions
convertExceptionsToPanicsUtil.Exception
COrdCSPM.DataStructures.Types, CSPM
CSetCSPM.DataStructures.Types, CSPM
CSPMCSPM
CSPMFile 
1 (Type/Class)CSPM.DataStructures.Syntax, CSPM
2 (Data Constructor)CSPM.DataStructures.Syntax, CSPM
CSPMMonadCSPM
CSPMSessionCSPM
CSPOperatorCSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
currentExpressionLocationCSPM.Evaluator.Monad
currentStartCodeCSPM.Parser.Monad
CyclicSCCData.Graph.ST
CYieldableCSPM.DataStructures.Types, CSPM