ideas-1.6: Feedback services for intelligent tutoring systems

Index - C

calculus1ListIdeas.Text.OpenMath.Dictionary.Calculus1
canBeRestartedIdeas.Common.Exercise, Ideas.Common.Library
canonicalIdeas.Common.View, Ideas.Common.Library
canonicalWithIdeas.Common.View, Ideas.Common.Library
canonicalWithMIdeas.Common.View, Ideas.Common.Library
cartesianIdeas.Utils.Prelude
caseSensitiveIdeas.Utils.Parsing
castIdeas.Utils.Typeable
castBetweenIdeas.Utils.Typeable
castFromIdeas.Utils.Typeable, Ideas.Common.Exercise, Ideas.Common.Library
castToIdeas.Utils.Typeable, Ideas.Common.Exercise, Ideas.Common.Library
CDATAIdeas.Text.XML.Document
cgiBinIdeas.Encoding.Options
cgiBinaryIdeas.Encoding.Request
chainlIdeas.Utils.Parsing
chainl1Ideas.Utils.Parsing
chainrIdeas.Utils.Parsing
chainr1Ideas.Utils.Parsing
changeIdeas.Common.Traversal.Utils
changeAtIdeas.Utils.Prelude
changeFrequencyIdeas.Utils.QuickCheck
changeGIdeas.Common.Traversal.Utils
changeIdIdeas.Common.Id, Ideas.Common.Library
changeInContextIdeas.Common.Context, Ideas.Common.Library
changeLogIdeas.Encoding.Logging
changeMIdeas.Common.Traversal.Utils
changeRefIdeas.Common.Environment, Ideas.Common.Library
changeTermIdeas.Common.Context, Ideas.Common.Library
charIdeas.Utils.Parsing
CharDataIdeas.Text.XML.Document
CharParserIdeas.Utils.Parsing
CharRefIdeas.Text.XML.Document
chattyIdeas.Utils.QuickCheck
checkIdeas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library
checkConfluenceIdeas.Common.Rewriting.Confluence
checkConfluenceWithIdeas.Common.Rewriting.Confluence
checkExamplesIdeas.Common.ExerciseTests
checkExerciseIdeas.Common.ExerciseTests
checkLocationIdeas.Common.Strategy.Location, Ideas.Common.Strategy, Ideas.Common.Library
checkParserPrettyIdeas.Common.ExerciseTests
checkParserPrettyExIdeas.Common.ExerciseTests
checkReferencesIdeas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library
checkRuleIdeas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library
checksForDerivationIdeas.Common.ExerciseTests
checksForTermIdeas.Common.ExerciseTests
childnrIdeas.Common.Traversal.Navigator
ChildrenIdeas.Text.XML.Document
children 
1 (Function)Ideas.Utils.Uniplate
2 (Function)Ideas.Text.XML.Interface, Ideas.Text.XML
Choice 
1 (Data Constructor)Ideas.Text.XML.Document
2 (Type/Class)Ideas.Common.Strategy.Choice
choice 
1 (Function)Ideas.Utils.Parsing
2 (Function)Ideas.Common.Strategy.Choice
3 (Function)Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library
chooseIdeas.Utils.QuickCheck
classAIdeas.Text.HTML
classifyIdeas.Utils.QuickCheck
cleanUpStrategyIdeas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library
cleanUpStrategyAfterIdeas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library
CmdLineOptionIdeas.Main.CmdLineOptions
CoArbitraryIdeas.Utils.QuickCheck
coarbitraryIdeas.Utils.QuickCheck
coarbitraryEnumIdeas.Utils.QuickCheck
coarbitraryIntegralIdeas.Utils.QuickCheck
coarbitraryRealIdeas.Utils.QuickCheck
coarbitraryShowIdeas.Utils.QuickCheck
CollapseIdeas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library
collapseIdeas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library
collectIdeas.Utils.QuickCheck
collectExamplesIdeas.Encoding.RulesInfo
ColumnIdeas.Utils.Parsing
CombinatorIdeas.Common.Strategy.StrategyTree
combinatorIdeas.Common.Strategy.StrategyTree
commandIdeas.Text.Latex
commasIdeas.Text.Latex
commentEndIdeas.Utils.Parsing
commentLineIdeas.Utils.Parsing
commentStartIdeas.Utils.Parsing
commonIdeas.Utils.QuickCheck
compactJSONIdeas.Text.JSON
compactOutputIdeas.Encoding.Request
compactXMLIdeas.Text.XML.Interface, Ideas.Text.XML
compareIdIdeas.Common.Id, Ideas.Common.Library
complementIdeas.Common.Classes, Ideas.Common.Predicate, Ideas.Common.Library
completeIdeas.Utils.Parsing
complexityIdeas.Common.Rewriting.Confluence
composableIdeas.Common.Rewriting.Substitution
concatIdIdeas.Common.Id, Ideas.Common.Library
CondConstIdeas.Service.FeedbackScript.Syntax
ConditionIdeas.Service.FeedbackScript.Syntax
ConditionalIdeas.Text.XML.Document
conditionIdsIdeas.Service.FeedbackScript.Run
CondNotIdeas.Service.FeedbackScript.Syntax
CondRefIdeas.Service.FeedbackScript.Syntax
ConfigIdeas.Common.Rewriting.Confluence
ConfigActionIdeas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library
configureIdeas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library
configureSIdeas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library
conjoinIdeas.Utils.QuickCheck
Const 
1 (Type/Class)Ideas.Service.Types
2 (Data Constructor)Ideas.Service.Types
constGenIdeas.Utils.QuickCheck
constGensIdeas.Utils.QuickCheck
ContainerIdeas.Common.Classes, Ideas.Common.Library
Content 
1 (Type/Class)Ideas.Text.XML.Document
2 (Type/Class)Ideas.Text.XML.Interface
content 
1 (Function)Ideas.Text.XML.Document
2 (Function)Ideas.Text.XML.Interface, Ideas.Text.XML
ContentSpecIdeas.Text.XML.Document
Context 
1 (Type/Class)Ideas.Common.Context, Ideas.Common.Library
2 (Data Constructor)Ideas.Service.Types
ContextNavigatorIdeas.Common.Context, Ideas.Common.Library
contextsIdeas.Utils.Uniplate
contextViewIdeas.Common.Context, Ideas.Common.Library
ConverterIdeas.Encoding.Encoder
CorrectIdeas.Service.Diagnose
coshSymbolIdeas.Text.OpenMath.Dictionary.Transc1
cosSymbolIdeas.Text.OpenMath.Dictionary.Transc1
cothSymbolIdeas.Text.OpenMath.Dictionary.Transc1
cotSymbolIdeas.Text.OpenMath.Dictionary.Transc1
countIdeas.Utils.Parsing
counterexampleIdeas.Utils.QuickCheck
coverIdeas.Utils.QuickCheck
CPIdeas.Text.XML.Document
CPNameIdeas.Text.XML.Document
createIdeas.Service.BasicServices
cschSymbolIdeas.Text.OpenMath.Dictionary.Transc1
cscSymbolIdeas.Text.OpenMath.Dictionary.Transc1
currentIdeas.Common.Traversal.Utils
currentInContextIdeas.Common.Context, Ideas.Common.Library
currentTermIdeas.Common.Context, Ideas.Common.Library
cutIdeas.Common.Strategy.Choice
cutOnStepIdeas.Common.DerivationTree
cutOnTermIdeas.Common.DerivationTree
CyclicTreeIdeas.Common.Strategy.CyclicTree
CyclicTreeAlgIdeas.Common.Strategy.CyclicTree