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

S

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.
A B C D E F G H I M N O P Q R S T U V W X