ideas-1.5: Feedback services for intelligent tutoring systems

Index - D

DIdeas.Text.JSON
DataFormatIdeas.Service.Request
dataformat 
1 (Function)Ideas.Service.Request
2 (Function)Ideas.Main.Logging
Decl 
1 (Type/Class)Ideas.Common.Strategy.StrategyTree
2 (Type/Class)Ideas.Service.FeedbackScript.Syntax
decl0Ideas.Common.Strategy.Abstract
decl1Ideas.Common.Strategy.Abstract
decl2Ideas.Common.Strategy.Abstract
declNIdeas.Common.Strategy.Abstract
DeclTypeIdeas.Service.FeedbackScript.Syntax
decodeIdeas.Text.UTF8
decodeMIdeas.Text.UTF8
DecoderIdeas.Encoding.Encoder
decoderForIdeas.Encoding.Encoder
decodingIdeas.Text.XML.Unicode
defaultCGIIdeas.Main.Default
defaultConfigIdeas.Common.Rewriting.Confluence
DefaultDeclIdeas.Text.XML.Document
defaultDerivationIdeas.Common.Exercise, Ideas.Common.Library
defaultMainIdeas.Main.Default
defaultScriptIdeas.Service.DomainReasoner, Ideas.Main.Default
defintSymbolIdeas.Text.OpenMath.Dictionary.Calculus1
deleteRefIdeas.Common.Environment, Ideas.Common.Library
deMorganAndIdeas.Common.Algebra.BooleanLaws
deMorganOrIdeas.Common.Algebra.BooleanLaws
DependencyGraphIdeas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library
dependencyGraphIdeas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library
deprecateIdeas.Service.Types
depthIdeas.Common.Traversal.Navigator
DerivationIdeas.Common.Derivation, Ideas.Common.Library
derivationIdeas.Common.DerivationTree
derivationLengthIdeas.Common.Derivation, Ideas.Common.Library
derivationListIdeas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library
derivationMIdeas.Common.Derivation, Ideas.Common.Library
derivationsIdeas.Common.DerivationTree
derivationtextIdeas.Service.FeedbackText
DerivationTreeIdeas.Common.DerivationTree
descendIdeas.Common.Utils.Uniplate
descendMIdeas.Common.Utils.Uniplate
describeIdeas.Common.Id, Ideas.Common.Library
descriptionIdeas.Common.Id, Ideas.Common.Library
Detour 
1 (Data Constructor)Ideas.Service.Diagnose
2 (Data Constructor)Ideas.Service.Submit
diagnoseIdeas.Service.Diagnose
DiagnosisIdeas.Service.Diagnose
dictionaryIdeas.Text.OpenMath.Symbol
diffEnvironmentIdeas.Common.Exercise, Ideas.Common.Library
difference 
1 (Function)Ideas.Common.Rewriting.Difference
2 (Function)Ideas.Service.Diagnose
differenceEqual 
1 (Function)Ideas.Common.Rewriting.Difference
2 (Function)Ideas.Service.Diagnose
differenceEqualWithIdeas.Common.Rewriting.Difference
differenceWithIdeas.Common.Rewriting.Difference
DifferentIdeas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library
differentIdeas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library
DifficultIdeas.Common.Exercise, Ideas.Common.Library
DifficultyIdeas.Common.Exercise, Ideas.Common.Library
diffPairIdeas.Service.FeedbackScript.Run
diffSymbolIdeas.Text.OpenMath.Dictionary.Calculus1
digitIdeas.Text.Parsing
Discard 
1 (Data Constructor)Ideas.Common.Utils.QuickCheck
2 (Type/Class)Ideas.Common.Utils.QuickCheck
discardIdeas.Common.Utils.QuickCheck
discoverDataFormatIdeas.Service.Request
disjoinIdeas.Common.Utils.QuickCheck
disjunctionsIdeas.Common.Algebra.Boolean
distinctIdeas.Common.Utils
distributiveLawsIdeas.Common.Algebra.FieldLaws
distributiveSubtractionLawsIdeas.Common.Algebra.FieldLaws
divClassIdeas.Text.HTML
divideSymbolIdeas.Text.OpenMath.Dictionary.Arith1
doAfterIdeas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library
DocTypeDeclIdeas.Text.XML.Document
documentIdeas.Text.XML.Parser
domIdeas.Common.Rewriting.Substitution
domainofapplicationSymbolIdeas.Text.OpenMath.Dictionary.Fns1
DomainReasonerIdeas.Service.DomainReasoner, Ideas.Main.Default
domainSymbolIdeas.Text.OpenMath.Dictionary.Fns1
doneIdeas.Common.Strategy.Sequence
doneMenuIdeas.Common.Strategy.Choice
doubleComplementIdeas.Common.Algebra.BooleanLaws
doubleInverseIdeas.Common.Algebra.GroupLaws
downIdeas.Common.Traversal.Navigator
downLastIdeas.Common.Traversal.Navigator
downsIdeas.Common.Traversal.Navigator
downToIdeas.Common.Traversal.Navigator
DRIdeas.Service.DomainReasoner, Ideas.Main.Default
DTD 
1 (Type/Class)Ideas.Text.XML.Document
2 (Data Constructor)Ideas.Text.XML.Document
dtdIdeas.Text.XML.Document
DTDConditionalIdeas.Text.XML.Document
DTDParameterIdeas.Text.XML.Document
Dual 
1 (Data Constructor)Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder
2 (Type/Class)Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder
dualComplIdeas.Common.Algebra.Boolean
DualMonoidIdeas.Common.Algebra.Boolean
dynamicLinksIdeas.Encoding.LinkManager