A B C D E F G H I M N O P Q R S T U V W X 

I

ID - Variable in class cz.cuni.mff.corrector.intent.Intent
Unique assigned identifier to each intent instance.
ignorableWhitespace(char[], int, int) - Method in class cz.cuni.mff.corrector.tree.XmlParser
 
increaseEdgesCounter() - Method in class cz.cuni.mff.corrector.testing.Report
Increases the current value of explored edges count by 1.
increaseExecutionsCounter() - Method in class cz.cuni.mff.corrector.testing.Report
Increases the current value of executed runs of tasks count by 1.
increaseTaskCounters(Intent.Type) - Method in class cz.cuni.mff.corrector.testing.Report
Increases the current value of required tasks count by 1.
increaseVerticesCounter() - Method in class cz.cuni.mff.corrector.testing.Report
Increases the current value of explored vertices count by 1.
initCorrectionGraph() - Method in class cz.cuni.mff.corrector.corrector.Handler
Creates and initialises the correction multigraph.
initialVertex - Variable in class cz.cuni.mff.corrector.intent.Intent
Pair of the initial stratum number and automaton state.
initIterativeComponents() - Method in class cz.cuni.mff.corrector.execution.Variables
Initializes the iterative components of the variables container.
initTracingEdges(Vertex) - Method in class cz.cuni.mff.corrector.graph.Graph
Creates a new empty set of preceding edges and replaces the original.
Instruction - Class in cz.cuni.mff.corrector.instruction
Ancestor for repairing instructions.
Instruction() - Constructor for class cz.cuni.mff.corrector.instruction.Instruction
 
Instruction.Type - Enum in cz.cuni.mff.corrector.instruction
Enumeration of all repairing instructions types.
InstructionAddLeaf - Class in cz.cuni.mff.corrector.instruction
Repairing instruction add leaf.
InstructionAddLeaf(String) - Constructor for class cz.cuni.mff.corrector.instruction.InstructionAddLeaf
Creates a new instance of an add leaf instruction.
InstructionAddNode - Class in cz.cuni.mff.corrector.instruction
Repairing instruction add node.
InstructionAddNode(String, int) - Constructor for class cz.cuni.mff.corrector.instruction.InstructionAddNode
Creates a new instance of an add node instruction.
InstructionRemoveLeaf - Class in cz.cuni.mff.corrector.instruction
Repairing instruction remove leaf.
InstructionRemoveLeaf() - Constructor for class cz.cuni.mff.corrector.instruction.InstructionRemoveLeaf
Creates a new instance of a remove leaf instruction.
InstructionRemoveNode - Class in cz.cuni.mff.corrector.instruction
Repairing instruction remove node.
InstructionRemoveNode() - Constructor for class cz.cuni.mff.corrector.instruction.InstructionRemoveNode
Creates a new instance of a remove node instruction.
InstructionRenameLabel - Class in cz.cuni.mff.corrector.instruction
Repairing instruction rename label.
InstructionRenameLabel(String) - Constructor for class cz.cuni.mff.corrector.instruction.InstructionRenameLabel
Creates a new instance of a rename label instruction.
Intent - Class in cz.cuni.mff.corrector.intent
Abstract ancestor for implemented correction intents.
Intent(Node, NodeRepair, Vertex, Vertex, List<Node>, Context, List<Context>) - Constructor for class cz.cuni.mff.corrector.intent.Intent
Creates a new instance of the correction intent.
Intent.Type - Enum in cz.cuni.mff.corrector.intent
Enumeration of all implemented correction intent types.
IntentCorrect - Class in cz.cuni.mff.corrector.intent
Implementation of the correct correction intent.
IntentCorrect(List<Node>, Context) - Constructor for class cz.cuni.mff.corrector.intent.IntentCorrect
Creates a new instance of the correct correction intent.
IntentDelete - Class in cz.cuni.mff.corrector.intent
Implementation of the delete correction intent.
IntentDelete(Node, Vertex, Vertex, List<Node>, Context) - Constructor for class cz.cuni.mff.corrector.intent.IntentDelete
Creates a new instance of the delete correction intent.
IntentInsert - Class in cz.cuni.mff.corrector.intent
Implementation of the insert correction intent.
IntentInsert(Vertex, Vertex, Context, List<Context>, String) - Constructor for class cz.cuni.mff.corrector.intent.IntentInsert
Creates a new instance of the insert correction intent.
IntentRename - Class in cz.cuni.mff.corrector.intent
Implementation of the rename correction intent.
IntentRename(Node, Vertex, Vertex, List<Node>, Context, String) - Constructor for class cz.cuni.mff.corrector.intent.IntentRename
Creates a new instance of the rename correction intent.
intentRepair - Variable in class cz.cuni.mff.corrector.execution.Task
Reference to the associated intent repair structure.
IntentRepair - Class in cz.cuni.mff.corrector.intent
Implementation of the repair correction intent.
IntentRepair(Node, Vertex, Vertex, List<Node>, Context) - Constructor for class cz.cuni.mff.corrector.intent.IntentRepair
Creates a new instance of the repair correction intent.
IntentStoreFlat<Item> - Class in cz.cuni.mff.corrector.cache
Flat implementation of the store manager based on intent object indexing.
IntentStoreFlat() - Constructor for class cz.cuni.mff.corrector.cache.IntentStoreFlat
Creates a new and empty caching manager with initialized storage.
isCompletelyEvaluated() - Method in class cz.cuni.mff.corrector.repair.Repair
Returns the value of the flag of fully evaluated sequence repair.
isEmptyPosition() - Method in class cz.cuni.mff.corrector.tree.Position
Detects whether the position is trivial, i.e.
isEvaluated - Variable in class cz.cuni.mff.corrector.repair.Repair
State of the fully intent repair evaluation.
isVertexComplete(Record) - Method in class cz.cuni.mff.corrector.corrector.Handler
Detects whether the given reached vertex can be completed.
A B C D E F G H I M N O P Q R S T U V W X