Contents
Index
Advise-me-0.1: Assessment services for the Advise-Me project
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
!
.
/
<
=
>
|
All
Index - I
identity
Domain.LinearAlgebra.Matrix
identityMatrix
Domain.LinearAlgebra.Matrix
ids
Service.Types
implication
Recognize.Model.Connectives
Implicit
Recognize.Data.Attribute
IncorrectDistribution
Recognize.Data.Attribute
IncorrectFactorization
Recognize.Data.Attribute
indent
Util.String
Index
Bayes.Evidence
index
Util.List
ineqHigh
Domain.Math.Polynomial.Examples
ineqLin1
Domain.Math.Polynomial.Examples
ineqQuad1
Domain.Math.Polynomial.Examples
ineqQuad2
Domain.Math.Polynomial.Examples
InequalityStrictness
Recognize.Data.Attribute
infer
Bayes.Inference
inferEvidence
Bayes.Inference
inferNetwork
Bayes.Inference
initialState
Recognize.Parsing.Interpretation
inLiberalEquationMode
Recognize.Parsing.Interpretation
Input
1 (Type/Class)
Recognize.Data.Solution
2 (Data Constructor)
Recognize.Data.Solution
inputFile
Recognize.Data.MathStoryProblem
InputID
Database.Data
InputId
Recognize.Data.Solution
inputs
Recognize.Data.Solution
inputToString
Recognize.Data.Solution
InputType
Recognize.SubExpr.SEParser
inputType
Recognize.SubExpr.SEParser
inRowEchelonForm
Domain.LinearAlgebra.Matrix
inRowReducedEchelonForm
Domain.LinearAlgebra.Matrix
insert
Database.Data
insertRecord
Database.Data
insertRecords
Database.Data
integerGenerator
Domain.Math.Numeric.Generators
interpret
Recognize.Parsing.Interpretation
Interpretation
Recognize.Parsing.Interpretation
InterpretationParser
Recognize.Parsing.Interpretation
introFalse
Domain.Math.Polynomial.Balance
introTrue
Domain.Math.Polynomial.Balance
InvalidCommutativity
Recognize.Data.Attribute
InvalidEquation
Recognize.Data.Attribute
inverse
Domain.LinearAlgebra.Matrix
inverseAndOverOr
Domain.Logic.InverseRules
inverseDeMorganAnd
Domain.Logic.InverseRules
inverseDeMorganOr
Domain.Logic.InverseRules
inverseIdempAnd
Domain.Logic.InverseRules
inverseIdempOr
Domain.Logic.InverseRules
inverseOrOverAnd
Domain.Logic.InverseRules
inverseRules
Domain.Logic.InverseRules
InvertedFraction
Recognize.Data.Attribute
invertible
Domain.LinearAlgebra.Matrix
isAnd
Recognize.SubExpr.Functions
isAndSymbol
Recognize.SubExpr.Functions
isApproximation
Recognize.Data.Attribute
isAtom
Recognize.Expr.Functions
isBuggy
Recognize.SubExpr.Functions
isBuggySymbol
Recognize.SubExpr.Functions
isChainedEq
Recognize.Data.Math
isChainedEqSymbol
Recognize.Data.Math
isCommonMistake
Recognize.Data.Attribute
isDefinition
Recognize.Data.Math
isDiv
Recognize.Expr.Functions
isEmpty
1 (Function)
Domain.LinearAlgebra.Matrix
2 (Function)
Bayes.Evidence
isEq
Recognize.Data.Math
isFunctionCall
Recognize.Data.Math
isFunctionCallSymbol
Recognize.Data.Math
isFunctionDefinition
Recognize.Data.Math
isLabel
Recognize.SubExpr.Functions
isLabelAttr
Recognize.Data.Attribute
isLabelSymbol
Recognize.SubExpr.Functions
isLiteral
Util.Expr
isLowerTriangular
Domain.LinearAlgebra.Matrix
isLt
Recognize.SubExpr.Functions
isLtSymbol
Recognize.SubExpr.Functions
isMagicNat
Recognize.SubExpr.Functions
isMagicNatSymbol
Recognize.SubExpr.Functions
isMagicNumber
Recognize.SubExpr.Functions
isMagicNumberSymbol
Recognize.SubExpr.Functions
isMagicVar
Recognize.SubExpr.Functions
isMagicVarSymbol
Recognize.SubExpr.Functions
isMatch
Recognize.SubExpr.Functions
isMatched
Recognize.SubExpr.Functions
isMatchSymbol
Recognize.SubExpr.Functions
isMistake
Recognize.Data.Attribute
isNamedWildcardSymbol
Recognize.Expr.Symbols
isNat
Recognize.Expr.Functions
isNormalformSymbol
Recognize.Expr.Symbols
isNoSim
Recognize.SubExpr.Functions
isNoSimSymbol
Recognize.SubExpr.Functions
isNumber
Recognize.Expr.Functions
isOr
Recognize.SubExpr.Functions
isOrSymbol
Recognize.SubExpr.Functions
isParseError
Recognize.Data.Math
isPivotColumn
Domain.LinearAlgebra.Matrix
isPlusT
Domain.Math.Polynomial.BalanceUtils
isRectangular
Domain.LinearAlgebra.Matrix
isSim
Recognize.SubExpr.Functions
isSimplified
Recognize.SubExpr.Functions
isSimSymbol
Recognize.SubExpr.Functions
isSquare
Domain.LinearAlgebra.Matrix
isStepN1
Task.Matryoshka.Assess
isStepN2a
Task.Matryoshka.Assess
isStepN2b
Task.Matryoshka.Assess
isStop
Recognize.SubExpr.Functions
isStopSymbol
Recognize.SubExpr.Functions
isSub
Recognize.SubExpr.Functions
isSubExprOf
1 (Function)
Util.Expr
2 (Function)
Recognize.SubExpr.Functions
isSubSymbol
Recognize.SubExpr.Functions
isTimesT
Domain.Math.Polynomial.BalanceUtils
isUnknown
Recognize.Model.Result
isUpperTriangular
Domain.LinearAlgebra.Matrix
isVar
1 (Function)
Recognize.SubExpr.Functions
2 (Function)
Recognize.Expr.Functions
isVarSymbol
Recognize.SubExpr.Functions
isWildcardSymbol
Recognize.Expr.Symbols