- scheduleIterativeExtended(Requests, Task, Quota) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Activates the particular scheduled task.
- scheduleIterativeSimple(Requests, Task, Quota) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Activates the particular scheduled task.
- scheduleStandardExtended(Requests, Task, Edge) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Activates the particular scheduled task.
- scheduleStandardSimple(Requests, Task, Edge) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Activates the particular scheduled task.
- selectAnyVertex() - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Returns some reached vertex from the set of reached vertices.
- selectCheapestVertex() - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Returns the first reached vertex with the lowest cost.
- selectPromisingReport() - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Selects the most promising reached vertex by exploring their reports.
- SEPARATOR - Static variable in class cz.cuni.mff.corrector.intent.Intent
-
Separator string used for imploding signature components.
- SequenceRepair - Class in cz.cuni.mff.corrector.repair
-
Abstract sequence repair encapsulation for correction multigraph.
- SequenceRepair(Graph, Intent.Type) - Constructor for class cz.cuni.mff.corrector.repair.SequenceRepair
-
Creates a new instance of the sequence repair.
- serializeDataTree(String, boolean) - Method in class cz.cuni.mff.corrector.tree.Tree
-
Serializes the data tree into an string.
- serializeExpression() - Method in class cz.cuni.mff.corrector.expression.Expression
-
Serializes the inductive structure of the regular expression.
- serializeExpression() - Method in class cz.cuni.mff.corrector.expression.ExpressionConcat
-
- serializeExpression() - Method in class cz.cuni.mff.corrector.expression.ExpressionEmpty
-
- serializeExpression() - Method in class cz.cuni.mff.corrector.expression.ExpressionEpsilon
-
- serializeExpression() - Method in class cz.cuni.mff.corrector.expression.ExpressionStar
-
- serializeExpression() - Method in class cz.cuni.mff.corrector.expression.ExpressionSymbol
-
- serializeExpression() - Method in class cz.cuni.mff.corrector.expression.ExpressionUnion
-
- serializeGrammar() - Method in class cz.cuni.mff.corrector.grammar.Grammar
-
Serializes the entire grammar into the standard definition string.
- serializeNode(StringBuilder) - Method in class cz.cuni.mff.corrector.tree.Node
-
Serializes the node into an XML string.
- serializeNode(StringBuilder, int) - Method in class cz.cuni.mff.corrector.tree.Node
-
Serializes the node into an indented XML string.
- serializeNode(StringBuilder) - Method in class cz.cuni.mff.corrector.tree.NodeData
-
- serializeNode(StringBuilder, int) - Method in class cz.cuni.mff.corrector.tree.NodeData
-
- serializeNode(StringBuilder) - Method in class cz.cuni.mff.corrector.tree.NodeElement
-
- serializeNode(StringBuilder, int) - Method in class cz.cuni.mff.corrector.tree.NodeElement
-
- setCompletenessFlag() - Method in class cz.cuni.mff.corrector.repair.Repair
-
Sets the repair evaluation flag as activated (to true
).
- setCorrectionGraph(Graph) - Method in class cz.cuni.mff.corrector.execution.Variables
-
Registers the provided correction multigraph with the container.
- setDataValue(String) - Method in class cz.cuni.mff.corrector.tree.NodeData
-
Sets a new data value of the node.
- setDocumentLocator(Locator) - Method in class cz.cuni.mff.corrector.tree.XmlParser
-
- setEdgeRepair(Repair) - Method in class cz.cuni.mff.corrector.graph.Edge
-
Registers the provided nested intent repair structure.
- setExecutionPhase(Variables.Phase) - Method in class cz.cuni.mff.corrector.execution.Variables
-
Sets a new value of the internal execution phase.
- setExecutionState(Dependencies.State) - Method in class cz.cuni.mff.corrector.execution.Dependencies
-
Sets a new value of the execution state of the task.
- setExecutionTime(long) - Method in class cz.cuni.mff.corrector.testing.Report
-
Sets the overall execution time.
- setFixedCost(int) - Method in class cz.cuni.mff.corrector.execution.Variables
-
Sets the value of the final correction cost.
- setQuotaData(Quota) - Method in class cz.cuni.mff.corrector.execution.Task
-
Sets a new value for the entire iterative quota description.
- setReachedCost(int) - Method in class cz.cuni.mff.corrector.execution.Variables
-
Sets the value of the reached correction cost.
- setRequestingTask(Task) - Method in class cz.cuni.mff.corrector.execution.Task
-
Sets the reference of the parental requesting task.
- setSchedulingMaster(Boolean) - Method in class cz.cuni.mff.corrector.execution.Task
-
Sets the scheduling management parameter.
- setStoredItem(Intent, Item) - Method in class cz.cuni.mff.corrector.cache.IntentStoreFlat
-
- setStoredItem(Intent, Item) - Method in class cz.cuni.mff.corrector.cache.SignatureStoreFlat
-
- setStoredItem(Intent, Item) - Method in class cz.cuni.mff.corrector.cache.SignatureStoreNested
-
- setStoredItem(Intent, Item) - Method in interface cz.cuni.mff.corrector.cache.Store
-
Inserts a new item into the cache using the intent signature.
- setTermCost(int) - Method in class cz.cuni.mff.corrector.graph.Graph
-
Updates the value of the terminating cost.
- setTracingCost(Vertex, Integer) - Method in class cz.cuni.mff.corrector.graph.Graph
-
Sets a new path cost value for a given vertex.
- setTracingEdges(Vertex, Set<Edge>) - Method in class cz.cuni.mff.corrector.graph.Graph
-
Sets the new set of preceding edges on shortest paths.
- setWorkingVariables(Variables) - Method in class cz.cuni.mff.corrector.execution.Task
-
Associates the working variables container with the task.
- shouldFixateCost(Vertex) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Detects if the final cost should be fixed during the exploration.
- shouldQuitExploring(int) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Detects whether the exploration can be already terminated.
- SignatureStoreFlat<Item> - Class in cz.cuni.mff.corrector.cache
-
Flat implementation of the store manager based on signature indexing.
- SignatureStoreFlat() - Constructor for class cz.cuni.mff.corrector.cache.SignatureStoreFlat
-
Creates a new and empty caching manager with initialized storage.
- SignatureStoreNested<Item> - Class in cz.cuni.mff.corrector.cache
-
Hierarchical implementation of the store manager based on signature indexing.
- SignatureStoreNested() - Constructor for class cz.cuni.mff.corrector.cache.SignatureStoreNested
-
Creates a new and empty caching manager with initialized storages.
- skippedEntity(String) - Method in class cz.cuni.mff.corrector.tree.XmlParser
-
- startDocument() - Method in class cz.cuni.mff.corrector.tree.XmlParser
-
- startElement(String, String, String, Attributes) - Method in class cz.cuni.mff.corrector.tree.XmlParser
-
- startPrefixMapping(String, String) - Method in class cz.cuni.mff.corrector.tree.XmlParser
-
- startProfilingTimer() - Method in class cz.cuni.mff.corrector.testing.Timer
-
Starts the timer, i.e.
- Stats - Class in cz.cuni.mff.corrector.tree
-
Container for basic statistics about particular data trees.
- Stats(int, int, int, int, int) - Constructor for class cz.cuni.mff.corrector.tree.Stats
-
Creates a new instance of data tree statistics container.
- stopProfilingTimer() - Method in class cz.cuni.mff.corrector.testing.Timer
-
Starts the timer, i.e.
- Store<Item> - Interface in cz.cuni.mff.corrector.cache
-
Common interface for cache storages.
- storeComputedRepair(Repair) - Method in class cz.cuni.mff.corrector.corrector.Corrector
-
Inserts the provided computed repair into the repairs cache.
- STRATUM_ZERO - Static variable in class cz.cuni.mff.corrector.graph.Graph
-
Distinguished constant for the stratum zero.