A | |
| assignment [Prop_logic] |
type for assignments of variables
|
| attribute [Types] |
a general type to describe attributes
|
C | |
| coord [Types] |
A simple 2-D coordinate type
|
D | |
| data [Types] |
a data element
|
| dist_coord [Som] | |
E | |
| examiner [Teacher] |
Exams on a Hypothesis of type 'a
|
| example [Types] |
example data to present to a learning algorithm
|
F | |
| formula [Prop_logic] |
the general concrete Syntax for formulas
|
G | |
| gameField [Minimax.Game] |
The type of game positions for the given game
|
| gameField [Minimax.M] |
The type of game positions
|
K | |
| knowledge [Bayes] |
represents a Bayes knowledge about a single category
|
M | |
| model [Prop_logic] |
the type of models for propositional logic
|
| move [Minimax.Game] |
The type of moves on a game position
|
| move [Minimax.M] |
Moves that can be performed on a given position
|
N | |
| node [Som] | |
P | |
| permutation [Teacher] |
Permutations
|
T | |
| t [Teacher] |
The general type of teachers for a Hypothesis space 'a
|
| t [Mlp] |
type of Mlps
|
| transfer [Mlp] |
Type of transfer-functions
|