- 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.