ideas-1.6: Feedback services for intelligent tutoring systems

Index - R

randomDerivationIdeas.Common.DerivationTree
randomExerciseIdeas.Common.Exercise, Ideas.Common.Library
randomSeedIdeas.Encoding.Request
randomTermIdeas.Common.Exercise, Ideas.Common.Library
randomTermsIdeas.Common.Exercise, Ideas.Common.Library
rangesIdeas.Utils.Parsing
rangeSymbolIdeas.Text.OpenMath.Dictionary.Fns1
rareIdeas.Utils.QuickCheck
rateIdeas.Utils.TestSuite
rateOnErrorIdeas.Utils.TestSuite
RatingIdeas.Utils.TestSuite
ratingIdeas.Utils.TestSuite
rationalSymbolIdeas.Text.OpenMath.Dictionary.Nums1
readDifficultyIdeas.Common.Exercise, Ideas.Common.Library
readEncodingIdeas.Encoding.Request
readIntIdeas.Utils.Prelude
readMIdeas.Utils.Prelude, Ideas.Common.Library
readPathIdeas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library
readPathsIdeas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library
readRefIdeas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library
readRef2Ideas.Common.Rule.Parameter, Ideas.Common.Rule, Ideas.Common.Library
readRef3Ideas.Common.Rule.Parameter, Ideas.Common.Rule, Ideas.Common.Library
readRefDefaultIdeas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library
readRefMaybeIdeas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library
readSchemaIdeas.Encoding.Request
ready 
1 (Function)Ideas.Common.Strategy.Sequence
2 (Function)Ideas.Common.Exercise, Ideas.Common.Library
reasonIdeas.Utils.QuickCheck
reasonerIdIdeas.Service.DomainReasoner, Ideas.Main.Default
RecognizableIdeas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library
recognizeIdeas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library
recognizeAllIdeas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library
recognizedIdeas.Service.FeedbackScript.Run
RecognizedIsIdeas.Service.FeedbackScript.Syntax
RecognizerIdeas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library
recognizerIdeas.Common.Rule.Recognizer, Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library
recognizeRuleIdeas.Service.BasicServices
recognizeTransIdeas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library
Record 
1 (Type/Class)Ideas.Encoding.Logging
2 (Data Constructor)Ideas.Encoding.Logging
recursivelyShrinkIdeas.Utils.QuickCheck
RefIdeas.Common.Environment, Ideas.Common.Library
Reference 
1 (Data Constructor)Ideas.Text.XML.Document
2 (Type/Class)Ideas.Text.XML.Document
3 (Type/Class)Ideas.Common.Environment, Ideas.Common.Library
ReflIdeas.Utils.Typeable
ReinsertIdeas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library
relationIdeas.Text.OpenMath.FMP
relation1ListIdeas.Text.OpenMath.Dictionary.Relation1
RemoveIdeas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library
removeIdeas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library
renumberRewriteRuleIdeas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library
repeat 
1 (Function)Ideas.Common.Strategy.Derived
2 (Function)Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy
repeat1 
1 (Function)Ideas.Common.Strategy.Derived
2 (Function)Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library
repeatSIdeas.Common.Library
replaceIdeas.Common.Traversal.Utils
replaceAtIdeas.Utils.Prelude
replaceInContextIdeas.Common.Context, Ideas.Common.Library
replaceLabelIdeas.Common.Strategy.CyclicTree
replaceLeafIdeas.Common.Strategy.CyclicTree
replaceNodeIdeas.Common.Strategy.CyclicTree
replayIdeas.Utils.QuickCheck
replayPathIdeas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library
replayPathsIdeas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library
replayProcessIdeas.Common.Strategy.Prefix
replayStrategyIdeas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library
replicate 
1 (Function)Ideas.Common.Strategy.Derived
2 (Function)Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy
replicateSIdeas.Common.Library
ReplyIdeas.Service.ProblemDecomposition
Request 
1 (Type/Class)Ideas.Encoding.Request
2 (Data Constructor)Ideas.Encoding.Request
requestIdeas.Encoding.Options
requestInfoIdeas.Encoding.Request
requestinfoIdeas.Encoding.Logging
RequiredIdeas.Text.XML.Document
reservedNamesIdeas.Utils.Parsing
reservedOpNamesIdeas.Utils.Parsing
resizeIdeas.Utils.QuickCheck
ResponseIdeas.Text.JSON
responseErrorIdeas.Text.JSON
responseIdIdeas.Text.JSON
responseResultIdeas.Text.JSON
responsetimeIdeas.Encoding.Logging
restartIdeas.Service.State
restrictHeightIdeas.Common.DerivationTree
restrictWidthIdeas.Common.DerivationTree
Result 
1 (Type/Class)Ideas.Utils.QuickCheck
2 (Type/Class)Ideas.Utils.TestSuite
3 (Data Constructor)Ideas.Service.Types
4 (Type/Class)Ideas.Service.Submit
returnAIdeas.Encoding.Encoder
RevealIdeas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library
rewriteIdeas.Utils.Uniplate
rewriteMIdeas.Utils.Uniplate
RewriteRuleIdeas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library
rewriteRuleIdeas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library
rewriteRulesIdeas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library
rewriteRuleToFMPIdeas.Encoding.RulesInfo
right 
1 (Function)Ideas.Common.View, Ideas.Common.Library, Ideas.Encoding.Encoder
2 (Function)Ideas.Common.Traversal.Navigator
rightHandSideIdeas.Text.OpenMath.FMP
rightInverseSymbolIdeas.Text.OpenMath.Dictionary.Fns1
rightMostIdeas.Common.Traversal.Navigator
rightmostIdeas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library
rightMostAtIdeas.Common.Traversal.Navigator
rightMostLeafIdeas.Common.Traversal.Navigator
rightToLeftIdeas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library
rnfTyConIdeas.Utils.Typeable
rnfTypeRepIdeas.Utils.Typeable
root 
1 (Function)Ideas.Text.XML.Document
2 (Function)Ideas.Common.DerivationTree
rootSymbolIdeas.Text.OpenMath.Dictionary.Arith1
RPCHandlerIdeas.Text.JSON
RPCResponseIdeas.Text.JSON
Rule 
1 (Type/Class)Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library
2 (Data Constructor)Ideas.Service.Types
RuleBuilderIdeas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library
ruleDownIdeas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library
ruleDownLastIdeas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library
ruleidIdeas.Encoding.Logging
ruleLeftIdeas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library
ruleListIdeas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library
ruleMaybeIdeas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library
ruleOrderingIdeas.Common.Exercise, Ideas.Common.Library
ruleOrderingWithIdeas.Common.Exercise, Ideas.Common.Library
ruleRewriteIdeas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library
ruleRightIdeas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library
rulesetIdeas.Common.Exercise, Ideas.Common.Library
ruleSiblingsIdeas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library
rulesInfoXMLIdeas.Encoding.RulesInfo
rulesInStrategyIdeas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library
RuleSpecIdeas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library
ruleSpecTermIdeas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library
ruleToHTMLIdeas.Encoding.RulePresenter
ruleToStringIdeas.Service.FeedbackScript.Run
ruleTransIdeas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library
ruleUpIdeas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library
runIdeas.Encoding.Encoder
runKleisliIdeas.Encoding.Encoder
runParserIdeas.Utils.Parsing
runProcessIdeas.Common.Strategy.Process
runTestSuiteIdeas.Utils.TestSuite
runTestSuiteResultIdeas.Utils.TestSuite