- AbstractCommand - Class in com.uppaal.model.core2
-
- AbstractCommand() - Constructor for class com.uppaal.model.core2.AbstractCommand
-
- AbstractEventListener - Class in com.uppaal.model.core2
-
Abstract listener class to listen for element events.
- AbstractEventListener() - Constructor for class com.uppaal.model.core2.AbstractEventListener
-
- AbstractLocation - Class in com.uppaal.model.core2
-
Common "interface" for Location and BranchPoint, to let Edge use
either as endpoint.
- AbstractLocation(Element) - Constructor for class com.uppaal.model.core2.AbstractLocation
-
- AbstractProcess - Class in com.uppaal.model
-
- AbstractProcess(String, int, AbstractTemplate, Translator) - Constructor for class com.uppaal.model.AbstractProcess
-
- AbstractSystem - Class in com.uppaal.model
-
The abstract system class
- AbstractSystem() - Constructor for class com.uppaal.model.AbstractSystem
-
Constructor
- AbstractSystem(Document) - Constructor for class com.uppaal.model.AbstractSystem
-
Constructor
- AbstractSystemLocation - Class in com.uppaal.model
-
- AbstractSystemLocation(AbstractProcess, int) - Constructor for class com.uppaal.model.AbstractSystemLocation
-
- AbstractSystemState - Class in com.uppaal.model
-
- AbstractSystemState(int[], Polyhedron) - Constructor for class com.uppaal.model.AbstractSystemState
-
- AbstractTemplate - Class in com.uppaal.model.core2
-
AbstractTemplate has two subclasses:
Template (for TA) and LscTemplate (for LSC)
- AbstractTemplate(Element) - Constructor for class com.uppaal.model.core2.AbstractTemplate
-
- AbstractTransaction - Class in com.uppaal.model.core2
-
The abstract class transaction
- AbstractTransaction(CommandManager) - Constructor for class com.uppaal.model.core2.AbstractTransaction
-
Constructor
- AbstractTransition - Class in com.uppaal.model.system
-
- AbstractTransition(SystemEdgeSelect[]) - Constructor for class com.uppaal.model.system.AbstractTransition
-
- AbstractVisitor - Class in com.uppaal.model.core2
-
Abstract implementation of the visitor interface.
- AbstractVisitor() - Constructor for class com.uppaal.model.core2.AbstractVisitor
-
- accept(Visitor) - Method in class com.uppaal.model.core2.AbstractTemplate
-
- accept(Visitor) - Method in class com.uppaal.model.core2.BranchPoint
-
- accept(Visitor) - Method in class com.uppaal.model.core2.Document
-
- accept(Visitor) - Method in class com.uppaal.model.core2.Edge
-
- accept(Visitor) - Method in class com.uppaal.model.core2.Element
-
Accept a visitor.
- accept(Visitor) - Method in class com.uppaal.model.core2.Location
-
- accept(Visitor) - Method in class com.uppaal.model.core2.lsc.Condition
-
- accept(Visitor) - Method in class com.uppaal.model.core2.lsc.Cut
-
- accept(Visitor) - Method in class com.uppaal.model.core2.lsc.InstanceLine
-
- accept(Visitor) - Method in class com.uppaal.model.core2.lsc.Message
-
- accept(Visitor) - Method in class com.uppaal.model.core2.lsc.Prechart
-
- accept(Visitor) - Method in class com.uppaal.model.core2.lsc.Update
-
- accept(Visitor) - Method in class com.uppaal.model.core2.Nail
-
- accept(Visitor) - Method in class com.uppaal.model.core2.Node
-
- accept(Visitor) - Method in class com.uppaal.model.core2.Property
-
- accept(Visitor) - Method in class com.uppaal.model.core2.Query
-
Query property has a visitor
- accept(Visitor) - Method in class com.uppaal.model.core2.QueryList
-
The query model has a visitor
- acceptSafe(Visitor) - Method in class com.uppaal.model.core2.Element
-
Like to accept(), but cannot throw an Exception.
- add(Simregion) - Method in class com.uppaal.model.core2.lsc.Cut
-
- add(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Prechart
-
- add(int, int) - Method in class com.uppaal.model.io2.FloatPoint
-
Returns a point with this point's coordinates
added with the given coordinates.
- add(FloatPoint) - Method in class com.uppaal.model.io2.FloatPoint
-
Returns a point with this point's coordinates
added with the given point.
- add(int, int) - Method in class com.uppaal.model.io2.IntPoint
-
Returns a point with this point's coordinates
added with the given coordinates.
- add(Point) - Method in class com.uppaal.model.io2.IntPoint
-
Returns a point with this point's coordinates
added with the given point.
- add(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
-
Add the input value into the limit value
- add(int, int, int) - Method in class com.uppaal.model.system.Polyhedron
-
- addAnchor(InstanceLine, int) - Method in class com.uppaal.model.core2.lsc.AddAnchorCommand
-
- addAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Condition
-
- AddAnchorCommand - Class in com.uppaal.model.core2.lsc
-
- AddAnchorCommand(CommandManager, Element) - Constructor for class com.uppaal.model.core2.lsc.AddAnchorCommand
-
Constructor
- addBar(GanttBar) - Method in class com.uppaal.model.system.GanttRow
-
Adds a new Gantt-bar to row
- addCommandListener(CommandListener) - Method in class com.uppaal.model.core2.CommandManager
-
Adds editing command listener
- addComment(String) - Method in class com.uppaal.model.core2.DataSet2D
-
Add the comment into the array list for the comments
- addCondition(Condition) - Method in class com.uppaal.model.lscsystem.LscProcess
-
- addData(String, String, Color) - Method in class com.uppaal.model.core2.DataSet2D
-
Add a new data
- addData(DataSet2D) - Method in class com.uppaal.model.core2.QueryData
-
Add the dataset into the array list for the DataSet2D
- addData2D(Data2D) - Method in class com.uppaal.model.core2.DataSet2D
-
Add the data2D
- addEscapes(String) - Static method in error com.uppaal.model.io2.TokenMgrError
-
Replaces unprintable characters by their escaped (or unicode escaped)
equivalents in the given string
- addInstanceLine(int, InstanceLine) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- addInstanceLine(InstanceLine) - Method in class com.uppaal.model.lscsystem.LscProcess
-
- addLast(Query) - Method in class com.uppaal.model.core2.QueryList
-
Added the query at the last query
- addListener(EventListener) - Method in class com.uppaal.model.core2.Element
-
Adds an event listener.
- addMessage(Message) - Method in class com.uppaal.model.lscsystem.LscProcess
-
- addNail(int, int) - Method in class com.uppaal.model.core2.InsertEdgeCommand
-
Add nail that the graphical layout of the edge.
- addNonStrictConstraint(int, int, int) - Method in class com.uppaal.model.system.Polyhedron
-
- addProcess(String, String, Translator) - Method in class com.uppaal.model.AbstractSystem
-
Add process data
- addProcess(String, String, Translator) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
-
- addProcess(String, String, Translator) - Method in class com.uppaal.model.system.UppaalSystem
-
- addProcess(String, String, Translator, List<Integer>) - Method in class com.uppaal.model.system.UppaalSystem
-
Added for concrete simulation - edge map as extra argument
- addQueryListener(QueryListener) - Method in class com.uppaal.model.core2.Query
-
- addQueryListListener(QueryListListener) - Method in class com.uppaal.model.core2.QueryList
-
- addRow(GanttRow) - Method in class com.uppaal.model.system.GanttChart
-
Add a new row into the chart
- addSample(Point2D.Double) - Method in class com.uppaal.model.core2.Data2D
-
- addSample(double, double) - Method in class com.uppaal.model.core2.Data2D
-
- addSample(Point2D.Double) - Method in class com.uppaal.model.core2.DataSet2D
-
Add a new sample into the array list of the Data2D
- addSample(double, double) - Method in class com.uppaal.model.core2.DataSet2D
-
Add a new sample
- addStrictConstraint(int, int, int) - Method in class com.uppaal.model.system.Polyhedron
-
- addUpdate(Update) - Method in class com.uppaal.model.lscsystem.LscProcess
-
- adjustBeginLineColumn(int, int) - Method in class com.uppaal.model.io2.SimpleCharStream
-
Method to adjust line and column numbers for the start of a token.
- afterInsertion(Node, Node) - Method in class com.uppaal.model.core2.AbstractEventListener
-
- afterInsertion(Node, Node) - Method in interface com.uppaal.model.core2.EventListener
-
- afterMove(Node, Node) - Method in class com.uppaal.model.core2.AbstractEventListener
-
- afterMove(Node, Node) - Method in interface com.uppaal.model.core2.EventListener
-
- afterRemoval(Node, Node) - Method in class com.uppaal.model.core2.AbstractEventListener
-
- afterRemoval(Node, Node) - Method in interface com.uppaal.model.core2.EventListener
-
- anchor - Variable in class com.uppaal.model.core2.lsc.AddAnchorCommand
-
- anchor(Update) - Method in class com.uppaal.model.io2.XMLReader
-
Get the update anchor instance
- ANCHOR_PRECHART_RADIUS - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- ANCHOR_RADIUS - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- anchorChanged(AnchoredElement, InstanceLine, InstanceLine) - Method in class com.uppaal.model.core2.AbstractEventListener
-
- anchorChanged(AnchoredElement, InstanceLine, InstanceLine) - Method in interface com.uppaal.model.core2.EventListener
-
- AnchoredElement - Class in com.uppaal.model.core2.lsc
-
- AnchoredElement(Element) - Constructor for class com.uppaal.model.core2.lsc.AnchoredElement
-
- anchoredToCondition - Variable in class com.uppaal.model.core2.lsc.Update
-
- anchors(Condition) - Method in class com.uppaal.model.io2.XMLReader
-
Get the anchor instances for a condition
- append(BigDecimal, SystemEdgeSelect[], ConcreteState, SymbolicState) - Method in class com.uppaal.model.system.Trace
-
- append(BigDecimal, SystemEdgeSelect[], ConcreteState) - Method in class com.uppaal.model.system.Trace
-
- append(SystemEdgeSelect[], SymbolicState) - Method in class com.uppaal.model.system.Trace
-
- AppendQueriesCommand - Class in com.uppaal.model.core2
-
A transaction command for inserting queries.
- AppendQueriesCommand(QueryList, QueryList) - Constructor for class com.uppaal.model.core2.AppendQueriesCommand
-
Append the imported queries into the model xml file
- appendText(String) - Method in interface com.uppaal.engine.QueryFeedback
-
Allows engine to add arbitrary text to the verifier status field.
- AREA_SELECT_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
Color for area select rectangle.
- ARROW_ANGLE - Static variable in interface com.uppaal.model.core2.CommonConstants
-
Radian angle of arrow head lines on transition edges.
- ARROW_BASE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- ARROW_HEIGHT - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- ARROW_LENGTH - Static variable in interface com.uppaal.model.core2.CommonConstants
-
Length of the arrow head lines on transition edges.
- ASSIGN - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- ASSIGN - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- ASSIGN_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for assignments labels.
- CachedOutputStream - Class in com.uppaal.model.io2
-
CachedOutputStream buffers the stream while ignoring flushing.
- CachedOutputStream(OutputStream) - Constructor for class com.uppaal.model.io2.CachedOutputStream
-
- CachedOutputStream(OutputStream, int) - Constructor for class com.uppaal.model.io2.CachedOutputStream
-
- CachedOutputStream(File) - Constructor for class com.uppaal.model.io2.CachedOutputStream
-
- CachedOutputStream(File, int) - Constructor for class com.uppaal.model.io2.CachedOutputStream
-
- cancel() - Method in class com.uppaal.engine.Engine
-
Forced disconnection from the server.
- cancel() - Method in class com.uppaal.model.core2.AbstractTransaction
-
Cancel the transaction.
- CannotEvaluateException - Exception in com.uppaal.engine
-
The exception class for 'transition'
- CannotEvaluateException(int, int, String, String, String, int, int) - Constructor for exception com.uppaal.engine.CannotEvaluateException
-
Constructor
- CannotRedoException - Exception in com.uppaal.model.core2
-
- CannotRedoException() - Constructor for exception com.uppaal.model.core2.CannotRedoException
-
- CannotUndoException - Exception in com.uppaal.model.core2
-
- CannotUndoException() - Constructor for exception com.uppaal.model.core2.CannotUndoException
-
- canRedo() - Method in class com.uppaal.model.core2.CommandManager
-
Can redo
- canUndo() - Method in class com.uppaal.model.core2.CommandManager
-
Can undo
- CHAN - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- changeAnchor(int) - Method in class com.uppaal.model.core2.lsc.ChangeAnchorCommand
-
Change anchor
- ChangeAnchorCommand - Class in com.uppaal.model.core2.lsc
-
The class change anchor command
- ChangeAnchorCommand(CommandManager, Element) - Constructor for class com.uppaal.model.core2.lsc.ChangeAnchorCommand
-
Constructor
- changeEnd(int) - Method in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
-
Change the end of the message
- ChangeMessageEndCommand - Class in com.uppaal.model.core2.lsc
-
- ChangeMessageEndCommand(CommandManager, Element, boolean) - Constructor for class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
-
Constructor
- changeSource - Variable in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
-
- CLBR - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- CLBRACE - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- clearAfterState(int) - Method in class com.uppaal.model.system.Trace
-
- clearChart() - Method in class com.uppaal.model.system.GanttChart
-
Clear the rows, but keep id-strings and empty lists for each row
- clearData() - Method in class com.uppaal.model.core2.QueryData
-
Remove the array list data of the dataSet2D
- clearRow() - Method in class com.uppaal.model.system.GanttRow
-
Clear the gantt row
- CLOCK - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- clocks - Variable in class com.uppaal.model.AbstractSystem
-
- clone() - Method in class com.uppaal.model.core2.AbstractTemplate
-
- clone() - Method in class com.uppaal.model.core2.Element
-
Returns a deep clone of the element.
- clone() - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
Returns a deep clone of the template.
- clone() - Method in class com.uppaal.model.core2.Node
-
Returns a deep clone of the node.
- clone() - Method in class com.uppaal.model.core2.Template
-
Returns a deep clone of the template.
- clone() - Method in class com.uppaal.model.system.concrete.Limit
-
- clone() - Method in class com.uppaal.model.system.GanttBar
-
- clone() - Method in class com.uppaal.model.system.GanttChart
-
- clone() - Method in class com.uppaal.model.system.GanttRow
-
Make a clone of the gantt row
- close() - Method in class com.uppaal.engine.DotProtocol
-
- close() - Method in class com.uppaal.engine.KeyValueProtocol
-
- close() - Method in interface com.uppaal.engine.Protocol
-
Disconnect from the server.
- close() - Method in class com.uppaal.model.io2.CachedOutputStream
-
- CLOSE - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- CLPAR - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- COLON - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- color(Element) - Method in class com.uppaal.model.io2.UGIReader
-
- COLOR - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- column - Variable in class com.uppaal.model.io2.SimpleCharStream
-
- com.uppaal.engine - package com.uppaal.engine
-
Provides support for connecting to the UPPAAL verification
backend, the primary class to use is the
Engine class.
- com.uppaal.model - package com.uppaal.model
-
Provides support for UPPAAL models, visit the
Document as a starting point.
- com.uppaal.model.core2 - package com.uppaal.model.core2
-
Provides classes for representing an uninstantiated UPPAAL model, visit the
Document class as a starting point.
- com.uppaal.model.core2.lsc - package com.uppaal.model.core2.lsc
-
- com.uppaal.model.io2 - package com.uppaal.model.io2
-
Provides support for reading and writing UPPAAL models from and to
XTA and XML files.
- com.uppaal.model.lscsystem - package com.uppaal.model.lscsystem
-
- com.uppaal.model.system - package com.uppaal.model.system
-
Provides classes for representing instantiated UPPAAL systems.
- com.uppaal.model.system.concrete - package com.uppaal.model.system.concrete
-
- com.uppaal.model.system.symbolic - package com.uppaal.model.system.symbolic
-
- COMMA - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- COMMA - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- Command - Interface in com.uppaal.model.core2
-
Interface for commands.
- CommandListener - Interface in com.uppaal.model.core2
-
Listener interface to listen for editing Commands performed on a command.
- commandManager - Variable in class com.uppaal.model.core2.AbstractTransaction
-
- CommandManager - Class in com.uppaal.model.core2
-
The central class for the command manager
- CommandManager() - Constructor for class com.uppaal.model.core2.CommandManager
-
Default constructor.
- CommandManager(CommandManager) - Constructor for class com.uppaal.model.core2.CommandManager
-
Copy constructor, because "clone()" idiom is badly broken and only version number is preserved anyway.
- commands - Variable in class com.uppaal.model.core2.CompoundCommand
-
- COMMENTS_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for comments.
- commit() - Method in class com.uppaal.model.core2.AbstractTransaction
-
Commit the transaction.
- commit(AbstractLocation) - Method in class com.uppaal.model.core2.InsertEdgeCommand
-
Commit setting of the destination of this edge
- commit() - Method in class com.uppaal.model.core2.InsertEdgeCommand
-
- COMMIT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- commitBranchPoint(int, int) - Method in class com.uppaal.model.core2.InsertEdgeCommand
-
Commit the branch point
- commitLocation(int, int) - Method in class com.uppaal.model.core2.InsertEdgeCommand
-
Commit the location
- committed - Variable in class com.uppaal.model.core2.AbstractTransaction
-
- committed(Location) - Method in class com.uppaal.model.io2.XMLReader
-
Parse optional committed tag.
- CommonConstants - Interface in com.uppaal.model.core2
-
Defines various constants used by the model representation.
- CompoundCommand - Class in com.uppaal.model.core2
-
- CompoundCommand(Command...) - Constructor for class com.uppaal.model.core2.CompoundCommand
-
- ConcreteState - Class in com.uppaal.model.system.concrete
-
- ConcreteState(Limit, SystemLocation[], ConcreteVariable[]) - Constructor for class com.uppaal.model.system.concrete.ConcreteState
-
- ConcreteSuccessor - Class in com.uppaal.model.system.concrete
-
- ConcreteSuccessor(ConcreteState, ConcreteTransition[]) - Constructor for class com.uppaal.model.system.concrete.ConcreteSuccessor
-
Constructor
- ConcreteSuccessor(ConcreteState, CannotEvaluateException) - Constructor for class com.uppaal.model.system.concrete.ConcreteSuccessor
-
Constructor
- ConcreteTransition - Class in com.uppaal.model.system.concrete
-
- ConcreteTransition(SystemEdgeSelect[], int, int, Limit, Limit, Limit, Limit) - Constructor for class com.uppaal.model.system.concrete.ConcreteTransition
-
- ConcreteTransitionRecord - Class in com.uppaal.model.system.concrete
-
- ConcreteTransitionRecord(BigDecimal, SystemEdgeSelect[], ConcreteState) - Constructor for class com.uppaal.model.system.concrete.ConcreteTransitionRecord
-
- ConcreteVariable - Class in com.uppaal.model.system.concrete
-
- ConcreteVariable(BigDecimal, int) - Constructor for class com.uppaal.model.system.concrete.ConcreteVariable
-
- Condition - Class in com.uppaal.model.core2.lsc
-
- Condition(Element) - Constructor for class com.uppaal.model.core2.lsc.Condition
-
- condition - Variable in class com.uppaal.model.core2.lsc.Simregion
-
- CONDITION_COLD_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- CONDITION_HOT_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- CONDITION_SIDES - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- CONDITION_UPDATE_HEIGHT - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- conditions(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader
-
Parse the conditions data, tag 'condition'
- connect() - Method in class com.uppaal.engine.Engine
-
Connects to the server, if not already connected.
- connect() - Method in class com.uppaal.engine.EngineStub
-
Connect to the server.
- connected() - Method in class com.uppaal.engine.Engine
-
Called whenever a connection to the server is established.
- CONST - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- Constants - Interface in com.uppaal.model.core2
-
Defines various constants used by the model representation.
- ConvertSyntaxVisitor - Class in com.uppaal.model
-
Class convert syntax visitor
- ConvertSyntaxVisitor() - Constructor for class com.uppaal.model.ConvertSyntaxVisitor
-
- convertToNail(int, int) - Method in class com.uppaal.model.core2.SetEndPointCommand
-
Inserts a new nail next to the endpoint and the given position.
- copy() - Method in class com.uppaal.model.io2.IntPoint
-
Creates a new point from a given IntPoint point.
- counter - Variable in class com.uppaal.model.io2.XMLWriter
-
- createBranchPoint() - Method in class com.uppaal.model.core2.Template
-
Create a new branch point with this template as the parent and
optionally a prototype according to the '#branchpoint' property of
the template.
- createCondition() - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- createCut() - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- createEdge() - Method in class com.uppaal.model.core2.Template
-
Create a new edge with this template as the parent and
optionally a prototype according to the '#edge' property of the
template.
- createEdgeCon(int, int, List<Integer>) - Method in class com.uppaal.model.system.UppaalSystem
-
Find the edge of the process and select the value
- createInstanceLine() - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- createLocation() - Method in class com.uppaal.model.core2.Template
-
Create a new location with this template as the parent and
optionally a prototype according to the '#location' property of
the template.
- createLscTemplate() - Method in class com.uppaal.model.core2.Document
-
Creates a new stand-alone LSC template using a LSC prototype from the document.
- createMessage() - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- createNail() - Method in class com.uppaal.model.core2.Edge
-
Creates a nail based on prototype, the nail has to be inserted into an edge.
- createPrechart() - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- createTemplate() - Method in class com.uppaal.model.core2.Document
-
Creates a new stand-alone TA template using a template prototype from the document.
- createUGIWriter(OutputStream) - Method in class com.uppaal.model.io2.XTAWriter
-
Create and return a new UGI writer.
- createUpdate() - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- curChar - Variable in class com.uppaal.model.io2.UGIReaderTokenManager
-
- curChar - Variable in class com.uppaal.model.io2.XTAReaderTokenManager
-
- currentToken - Variable in exception com.uppaal.model.io2.ParseException
-
This is the last token that has been consumed successfully.
- Cut - Class in com.uppaal.model.core2.lsc
-
- Cut(Element) - Constructor for class com.uppaal.model.core2.lsc.Cut
-
- CUT_SIDE_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- CUT_Y_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- GanttBar - Class in com.uppaal.model.system
-
Definition of the bars in a Gantt chart.
- GanttBar() - Constructor for class com.uppaal.model.system.GanttBar
-
Constructor
- GanttBar(Limit, Limit, BigDecimal, int) - Constructor for class com.uppaal.model.system.GanttBar
-
Constructor
- GanttChart - Class in com.uppaal.model.system
-
The class Gantt chart
- GanttChart() - Constructor for class com.uppaal.model.system.GanttChart
-
Constructor
- GanttRow - Class in com.uppaal.model.system
-
The class of gantt row
- GanttRow() - Constructor for class com.uppaal.model.system.GanttRow
-
Constructor
- GanttRow(String) - Constructor for class com.uppaal.model.system.GanttRow
-
Constructor
- generateParseException() - Method in class com.uppaal.model.io2.UGIReader
-
Generate ParseException.
- generateParseException() - Method in class com.uppaal.model.io2.XTAReader
-
Generate ParseException.
- GEQ - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- get(int) - Method in class com.uppaal.model.core2.lsc.Cut
-
- get(int) - Method in class com.uppaal.model.core2.QueryList
-
Get the query using the index
- getAllConstraints(List<String>) - Method in class com.uppaal.model.system.Polyhedron
-
Convert constraint system to a human readable string
representation containing all non-trivial constraints.
- getAnchor() - Method in class com.uppaal.model.core2.lsc.AnchoredElement
-
- getAnchor() - Method in class com.uppaal.model.core2.lsc.Condition
-
- getAnchor() - Method in class com.uppaal.model.core2.lsc.Update
-
- getAnchoredToCondition() - Method in class com.uppaal.model.core2.lsc.Update
-
- getAnchoredToConditionUpdate(Condition, InstanceLine) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- getAnchors() - Method in class com.uppaal.model.core2.lsc.AnchoredElement
-
- getAnchors() - Method in class com.uppaal.model.core2.lsc.Condition
-
- getAnchors() - Method in class com.uppaal.model.core2.lsc.LscElement
-
- getAnchors() - Method in class com.uppaal.model.core2.lsc.Message
-
- getAnchors() - Method in class com.uppaal.model.core2.lsc.Update
-
- getAttribute(String) - Method in class com.uppaal.model.io2.XMLReader
-
Get the attribute string
- getBeginColumn() - Method in class com.uppaal.model.io2.SimpleCharStream
-
Get token beginning column number.
- getBeginLine() - Method in class com.uppaal.model.io2.SimpleCharStream
-
Get token beginning line number.
- getBounds(Element) - Method in class com.uppaal.model.io2.BoundCalc
-
- getClockName(int) - Method in class com.uppaal.model.AbstractSystem
-
Get clock name
- getClockNames() - Method in class com.uppaal.model.AbstractSystem
-
Get all clock name
- getColor() - Method in class com.uppaal.model.core2.Data2D
-
- getColor() - Method in class com.uppaal.model.core2.Element
-
Returns the value of the color property.
- getColor(Element) - Method in class com.uppaal.model.core2.lsc.LscElement
-
- getColor() - Method in class com.uppaal.model.core2.Property
-
- getColor(String) - Method in class com.uppaal.model.io2.XMLReader
-
Get the color value
- getColumn() - Method in class com.uppaal.model.io2.SimpleCharStream
-
Deprecated.
- getCommandManager() - Method in class com.uppaal.model.core2.Element
-
Get the command manager
- getComment() - Method in class com.uppaal.model.core2.Query
-
Get the comment of the query
- getComments() - Method in class com.uppaal.model.core2.DataSet2D
-
Get comments
- getConcreteInitial(UppaalSystem) - Method in class com.uppaal.engine.DotProtocol
-
- getConcreteInitial(UppaalSystem) - Method in class com.uppaal.engine.EngineStub
-
Returns the initial concrete state for the system.
- getConcreteInitial(UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol
-
- getConcreteInitial(UppaalSystem) - Method in interface com.uppaal.engine.Protocol
-
Returns the concrete initial state for the system.
- getConcreteInitialState(UppaalSystem) - Method in class com.uppaal.engine.Engine
-
Computes the concrete initial state of the compiled UPPAAL system.
- getConcreteState(int) - Method in class com.uppaal.model.system.Trace
-
- getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in class com.uppaal.engine.DotProtocol
-
- getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in class com.uppaal.engine.Engine
-
Computes a concrete successor after chosen transition and delay.
- getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in class com.uppaal.engine.EngineStub
-
Get the concrete successor
- getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in class com.uppaal.engine.KeyValueProtocol
-
Get concrete successor: concrete state and the list of the concrete transitions
- getConcreteSuccessor(UppaalSystem, ConcreteState, SystemEdgeSelect[], BigDecimal, BigDecimal) - Method in interface com.uppaal.engine.Protocol
-
Get the concrete simulation successor
- getCondition() - Method in class com.uppaal.model.core2.lsc.Simregion
-
- getCondition(int) - Method in class com.uppaal.model.lscsystem.LscProcess
-
- getCondition() - Method in class com.uppaal.model.lscsystem.SystemCondition
-
- getCondition(int, int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
-
- getConditions() - Method in class com.uppaal.model.lscsystem.LscProcess
-
- getConditionsOf(Node) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- getConnectedPort() - Method in class com.uppaal.engine.EngineStub
-
Returns the port the engine is connected to.
- getConnectionMode() - Method in class com.uppaal.engine.EngineStub
-
Returns the current connection mode.
- getCoordinate(String) - Method in class com.uppaal.model.io2.XMLReader
-
get coordinate value
- getCVariables() - Method in class com.uppaal.model.system.concrete.ConcreteState
-
- getData() - Method in class com.uppaal.model.core2.Query
-
- getData(String) - Method in class com.uppaal.model.core2.QueryData
-
Get the data using the data title
- getDataTitles() - Method in class com.uppaal.model.core2.QueryData
-
Get data titles
- getDelay() - Method in class com.uppaal.model.system.concrete.ConcreteTransitionRecord
-
- getDelay(int) - Method in class com.uppaal.model.system.Trace
-
- getDocument() - Method in class com.uppaal.model.AbstractSystem
-
Get the document
- getDocument() - Method in class com.uppaal.model.core2.Document
-
- getDocument() - Method in class com.uppaal.model.core2.Element
-
Returns the document of this element.
- getDoubleValue() - Method in class com.uppaal.model.system.concrete.Limit
-
Get the double limit value
- getEdge(int) - Method in class com.uppaal.model.system.AbstractTransition
-
- getEdge(int) - Method in class com.uppaal.model.system.Process
-
Get the edge with the index
- getEdge() - Method in class com.uppaal.model.system.SystemEdge
-
Get the edge
- getEdge(int) - Method in class com.uppaal.model.system.Transition
-
- getEdge(int, int) - Method in class com.uppaal.model.system.UppaalSystem
-
Get the edge with the process and edge index
- getEdgeDescription() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
-
Get the description of the edge
- getEdgeDescription() - Method in class com.uppaal.model.system.Transition
-
- getEdges() - Method in class com.uppaal.model.system.AbstractTransition
-
- getEdges() - Method in class com.uppaal.model.system.Process
-
Get the array list of the system edge
- getEdges() - Method in class com.uppaal.model.system.Transition
-
- getElement() - Method in class com.uppaal.model.core2.InsertElementCommand
-
Get the element
- getElement() - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand
-
Get the element
- getEndColumn() - Method in class com.uppaal.model.io2.SimpleCharStream
-
Get token end column number.
- getEndEnabled() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
-
- getEndLine() - Method in class com.uppaal.model.io2.SimpleCharStream
-
Get token end line number.
- getEndSelect() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
-
- getEntryTime(int) - Method in class com.uppaal.model.system.Trace
-
- getErrorContext(String, int, int) - Method in class com.uppaal.engine.Parser
-
Get the location string from the declaration text where the error happened
- getErrors() - Method in class com.uppaal.model.io2.XTAReader
-
- getErrorStream() - Method in class com.uppaal.engine.EngineStub
-
Snapshot of an error stream from the (local) server process.
- getException(String) - Method in class com.uppaal.engine.LexicalAnalyser
-
Get the the protocol exception
- getException() - Method in class com.uppaal.model.system.concrete.ConcreteSuccessor
-
Get the exception
- getFirst() - Method in class com.uppaal.model.core2.Node
-
Returns the first child.
- getFirstColumn() - Method in class com.uppaal.engine.Problem
-
Get the number of the first column
- getFirstLine() - Method in class com.uppaal.engine.Problem
-
Get the first line of the problem
- getFloat() - Method in class com.uppaal.engine.LexicalAnalyser
-
Get the float value of 'word'
- getFont() - Method in class com.uppaal.model.core2.Property
-
- getFormatedName() - Method in class com.uppaal.model.lscsystem.SystemCondition
-
- getFormatedName() - Method in class com.uppaal.model.lscsystem.SystemMessage
-
- getFormatedName() - Method in class com.uppaal.model.lscsystem.SystemUpdate
-
- getFormatedName() - Method in class com.uppaal.model.system.SystemEdge
-
Get the formated name of the edge
- getFormula() - Method in class com.uppaal.model.core2.Query
-
Get the query property
- getFromNum(int) - Method in class com.uppaal.model.system.GanttRow
-
Get the gantt bar with the index
- getGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.DotProtocol
-
- getGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.Engine
-
Creates a Gantt chart for the compiled system.
- getGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.EngineStub
-
Get the gantt chart
- getGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.KeyValueProtocol
-
Get gantt chart
- getGanttChart(UppaalSystem, BigDecimal) - Method in interface com.uppaal.engine.Protocol
-
Get the gantt chart
- getGanttChart() - Method in class com.uppaal.model.system.UppaalSystem
-
Get ganttchart
- GetImage() - Method in class com.uppaal.model.io2.SimpleCharStream
-
Get token literal value.
- getIndex() - Method in class com.uppaal.model.AbstractProcess
-
- getIndex() - Method in class com.uppaal.model.AbstractSystemLocation
-
- getIndex() - Method in class com.uppaal.model.lscsystem.SystemCondition
-
- getIndex() - Method in class com.uppaal.model.lscsystem.SystemInstanceLine
-
- getIndex() - Method in class com.uppaal.model.lscsystem.SystemMessage
-
- getIndex() - Method in class com.uppaal.model.lscsystem.SystemUpdate
-
- getIndex() - Method in class com.uppaal.model.system.SystemEdge
-
Get the index of the edge
- getInitial(UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol
-
Get the initial of the uppaal system
- getInitialState(UppaalSystem) - Method in class com.uppaal.engine.Engine
-
Computes the symbolic initial state of the compiled UPPAAL system.
- getInstance(int, int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
-
- getInstanceLength(int) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- getInstanceLine(int) - Method in class com.uppaal.model.lscsystem.LscProcess
-
- getInstanceLine() - Method in class com.uppaal.model.lscsystem.SystemInstanceLine
-
- getInstanceLines() - Method in class com.uppaal.model.lscsystem.LscProcess
-
- getInstances() - Method in class com.uppaal.model.core2.lsc.Prechart
-
- getIntPoint() - Method in class com.uppaal.model.io2.FloatPoint
-
Returns an integer rounded version of this point
- getIntValue() - Method in class com.uppaal.engine.LexicalAnalyser
-
Get the integer value 'word'
- getInvariant() - Method in class com.uppaal.model.system.concrete.ConcreteState
-
- getLabel() - Method in class com.uppaal.model.core2.lsc.AnchoredElement
-
- getLabel() - Method in class com.uppaal.model.core2.lsc.Condition
-
- getLabel() - Method in class com.uppaal.model.core2.lsc.LscElement
-
- getLabel() - Method in class com.uppaal.model.core2.lsc.Update
-
- getLabelValue() - Method in class com.uppaal.model.core2.lsc.Condition
-
- getLabelValue() - Method in class com.uppaal.model.core2.lsc.LscElement
-
- getLabelValue() - Method in class com.uppaal.model.core2.lsc.Message
-
- getLabelValue() - Method in class com.uppaal.model.core2.lsc.Update
-
- getLast() - Method in class com.uppaal.model.core2.Node
-
Returns the last child.
- getLastColumn() - Method in class com.uppaal.engine.Problem
-
Get the number of the last column
- getLastCommand() - Method in class com.uppaal.model.core2.CommandManager
-
Returns the most recent command executed
- getLastLine() - Method in class com.uppaal.engine.Problem
-
Get the number of the last line
- getLastTATemplate() - Method in class com.uppaal.model.core2.Document
-
Returns the last TA template or null if no
such template exists.
- getLength() - Method in class com.uppaal.model.core2.lsc.InstanceLine
-
Gets the instance line length, which is a template property
- getLength() - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- getLine() - Method in class com.uppaal.model.io2.SimpleCharStream
-
Deprecated.
- getLocalProperty(String) - Method in class com.uppaal.model.core2.Element
-
Returns the property of the given name.
- getLocalProperty() - Method in class com.uppaal.model.core2.SetPropertyCommand
-
Get local property
- getLocalPropertyValue() - Method in class com.uppaal.model.core2.SetPropertyCommand
-
Get local property value
- getLocation() - Method in class com.uppaal.engine.Problem
-
Get the error location
- getLocation() - Method in class com.uppaal.model.core2.SetEndPointCommand
-
Returns the current end point.
- getLocation() - Method in class com.uppaal.model.core2.SetSourceCommand
-
- getLocation() - Method in class com.uppaal.model.core2.SetTargetCommand
-
- getLocation(int) - Method in class com.uppaal.model.system.Process
-
Get the location with the location index
- getLocation() - Method in class com.uppaal.model.system.SystemLocation
-
Get the location
- getLocation(int, int) - Method in class com.uppaal.model.system.UppaalSystem
-
Get the location with the process and location index
- getLocations() - Method in class com.uppaal.model.system.Process
-
Get the array list of the system location
- getLocations() - Method in class com.uppaal.model.system.SystemState
-
Get the system locations
- getLocationVector() - Method in class com.uppaal.model.AbstractSystemState
-
- getLocationVector() - Method in class com.uppaal.model.lscsystem.SystemCut
-
- getLocationVector() - Method in class com.uppaal.model.system.symbolic.SymbolicState
-
- getLookahead() - Method in class com.uppaal.engine.LexicalAnalyser
-
Get the value 'lookahead'
- getLscProcess(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.Engine
-
Compiles an LSC process from Uppaal document and stores any warnings
and errors in the problems list.
- getMaximum() - Method in class com.uppaal.model.core2.Data2D
-
- getMaximum() - Method in class com.uppaal.model.core2.DataSet2D
-
Get the maximum data2D
- getMaxSimregions(ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.Cut
-
- getMaxSimregions(ArrayList<Simregion>) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- getMaxXDifference() - Method in class com.uppaal.model.core2.DataSet2D
-
Get the maximum difference between a lot of the data2D
- getMessage() - Method in class com.uppaal.engine.Problem
-
Get the message of the problem
- getMessage() - Method in class com.uppaal.model.core2.lsc.Simregion
-
- getMessage() - Method in error com.uppaal.model.io2.TokenMgrError
-
You can also modify the body of this method to customize your error messages.
- getMessage(int) - Method in class com.uppaal.model.lscsystem.LscProcess
-
- getMessage() - Method in class com.uppaal.model.lscsystem.SystemMessage
-
- getMessage(int, int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
-
- getMessages() - Method in class com.uppaal.model.lscsystem.LscProcess
-
- getMinimum() - Method in class com.uppaal.model.core2.Data2D
-
- getMinimum() - Method in class com.uppaal.model.core2.DataSet2D
-
Get the minimum data2D
- getMode() - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- getModifiedElement() - Method in class com.uppaal.model.core2.AppendQueriesCommand
-
- getModifiedElement() - Method in interface com.uppaal.model.core2.Command
-
- getModifiedElement() - Method in class com.uppaal.model.core2.CompoundCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.InsertEdgeCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.InsertElementCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.InsertQueryCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.InsertTemplateCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.lsc.AddAnchorCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.lsc.ChangeAnchorCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.lsc.RemoveAnchorCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.lsc.RemoveLscElementCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.lsc.SetLengthCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.MoveTemplateCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.RemoveElementCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.RemoveQueryCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.RemoveTemplateCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.SetEndPointCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.SetPropertyCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.SetQueryCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.SnapCommand
-
- getModifiedElement() - Method in class com.uppaal.model.core2.TranslationCommand
-
- getNails() - Method in class com.uppaal.model.core2.Edge
-
Returns the first nail (if any).
- getName() - Method in class com.uppaal.model.AbstractProcess
-
- getName() - Method in class com.uppaal.model.AbstractSystemLocation
-
- getName() - Method in class com.uppaal.model.core2.AbstractLocation
-
Constructs a human-friendly name of this location.
- getName() - Method in class com.uppaal.model.core2.BranchPoint
-
- getName() - Method in class com.uppaal.model.core2.Edge
-
Constructs a human-friendly name of this edge.
- getName() - Method in class com.uppaal.model.core2.Location
-
- getName() - Method in class com.uppaal.model.core2.Property
-
Returns the name with which this property is registered in the
parent.
- getName() - Method in class com.uppaal.model.lscsystem.SystemCondition
-
- getName() - Method in class com.uppaal.model.lscsystem.SystemInstanceLine
-
- getName() - Method in class com.uppaal.model.lscsystem.SystemMessage
-
- getName() - Method in class com.uppaal.model.lscsystem.SystemSimregion
-
- getName() - Method in class com.uppaal.model.lscsystem.SystemUpdate
-
- getName() - Method in class com.uppaal.model.system.SystemEdge
-
Get the name of the edge
- getName() - Method in class com.uppaal.model.system.SystemLocation
-
Get the location name
- getNearestSampleAt(double) - Method in class com.uppaal.model.core2.Data2D
-
- getNext() - Method in class com.uppaal.model.core2.Node
-
Returns the right sibling.
- getNextToken() - Method in class com.uppaal.model.io2.UGIReader
-
Get the next Token.
- getNextToken() - Method in class com.uppaal.model.io2.UGIReaderTokenManager
-
Get the next Token.
- getNextToken() - Method in class com.uppaal.model.io2.XTAReader
-
Get the next Token.
- getNextToken() - Method in class com.uppaal.model.io2.XTAReaderTokenManager
-
Get the next Token.
- getNoOfClocks() - Method in class com.uppaal.model.AbstractSystem
-
Get the number of the clocks
- getNoOfProcesses() - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
-
- getNoOfProcesses() - Method in class com.uppaal.model.system.UppaalSystem
-
Get the number of the processes of the uppaal system
- getNoOfVariables() - Method in class com.uppaal.model.AbstractSystem
-
Get the number of the variables
- getOptionsInfo() - Method in class com.uppaal.engine.DotProtocol
-
- getOptionsInfo() - Method in class com.uppaal.engine.Engine
-
Returns information about available options.
- getOptionsInfo() - Method in class com.uppaal.engine.EngineStub
-
Returns information about available options.
- getOptionsInfo() - Method in class com.uppaal.engine.KeyValueProtocol
-
- getOptionsInfo() - Method in interface com.uppaal.engine.Protocol
-
Returns information about available options.
- getParent() - Method in class com.uppaal.model.core2.Element
-
Returns the parent element.
- getPath() - Method in class com.uppaal.engine.Problem
-
Get the path where the problem come from
- getPlayer() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
-
- getPolyhedron() - Method in class com.uppaal.model.AbstractSystemState
-
- getPolyhedron() - Method in class com.uppaal.model.system.symbolic.SymbolicState
-
Get the polyhedron
- getPrechart() - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- getPrechart() - Method in class com.uppaal.model.lscsystem.LscProcess
-
- getPrechart() - Method in class com.uppaal.model.lscsystem.SystemPrechart
-
- getPrechartIndex() - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- getPrevious() - Method in class com.uppaal.model.core2.Node
-
Returns the left sibling.
- getProcess() - Method in class com.uppaal.model.AbstractSystemLocation
-
- getProcess() - Method in class com.uppaal.model.lscsystem.SystemCondition
-
- getProcess() - Method in class com.uppaal.model.lscsystem.SystemInstanceLine
-
- getProcess() - Method in class com.uppaal.model.lscsystem.SystemMessage
-
- getProcess() - Method in class com.uppaal.model.lscsystem.SystemPrechart
-
- getProcess() - Method in class com.uppaal.model.lscsystem.SystemUpdate
-
- getProcess(int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
-
- getProcess() - Method in class com.uppaal.model.system.SystemEdge
-
Get the process of the edge
- getProcess(int) - Method in class com.uppaal.model.system.UppaalSystem
-
Get the process with the process index
- getProcesses() - Method in class com.uppaal.model.system.UppaalSystem
-
- getProcessIndex(String) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
-
- getProcessIndex(String) - Method in class com.uppaal.model.system.UppaalSystem
-
Get the process index using the process name
- getProcessName() - Method in class com.uppaal.model.lscsystem.SystemCondition
-
- getProcessName() - Method in class com.uppaal.model.lscsystem.SystemMessage
-
- getProcessName() - Method in class com.uppaal.model.lscsystem.SystemUpdate
-
- getProcessName() - Method in class com.uppaal.model.system.SystemEdge
-
Get the process name of the edge
- getProperties() - Method in class com.uppaal.model.core2.Element
-
Get the properties stored in this element.
- getProperty(String) - Method in class com.uppaal.model.core2.Element
-
Returns the property of the given name.
- getPropertyValue(String) - Method in class com.uppaal.model.core2.Element
-
Returns the value of the property of the given name.
- getPrototype() - Method in class com.uppaal.model.core2.Element
-
Returns the prototype.
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.AbstractTemplate
-
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.BranchPoint
-
Returns the #branchpoint property value of the parent argument.
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Edge
-
Returns the #edge property value of the parent argument.
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Element
-
Return the proper prototype for this element stored in the parent.
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Location
-
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.Condition
-
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.Cut
-
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.InstanceLine
-
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.Message
-
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.Prechart
-
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.lsc.Update
-
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Nail
-
Returns the #nail property value of the parent argument.
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Property
-
Returns the value of the parent's protype's property given by
getName() or null if the parent does not have a prototype.
- getPrototypeFromParent(Element) - Method in class com.uppaal.model.core2.Template
-
- getPublicID() - Method in class com.uppaal.model.io2.UXMLResolver
-
Get the public ID
- getQueryList() - Method in class com.uppaal.model.core2.Document
-
Returns the model of the list of queries defined in this document.
- getQueryProperty() - Method in class com.uppaal.model.core2.SetQueryCommand
-
- getRate() - Method in class com.uppaal.model.system.concrete.ConcreteVariable
-
- getRow(int) - Method in class com.uppaal.model.system.GanttChart
-
Get the row
- getSelectList() - Method in class com.uppaal.model.system.SystemEdgeSelect
-
Get the list of the values
- getServerHost() - Method in class com.uppaal.engine.EngineStub
-
Returns the current server host.
- getServerPath() - Method in class com.uppaal.engine.EngineStub
-
Returns the current server path.
- getServerPort() - Method in class com.uppaal.engine.EngineStub
-
Returns the current server port.
- getShortFormula() - Method in class com.uppaal.model.core2.Query
-
Get the short property
- getSimregion() - Method in class com.uppaal.model.lscsystem.SystemSimregion
-
- getSimregions() - Method in class com.uppaal.model.core2.lsc.Cut
-
- getSize() - Method in class com.uppaal.model.system.AbstractTransition
-
- getSize() - Method in class com.uppaal.model.system.Transition
-
- getSource() - Method in class com.uppaal.model.core2.Edge
-
Returns the source location (the beginning of the edge).
- getSource() - Method in class com.uppaal.model.core2.InsertEdgeCommand
-
Get the source of the edge
- getSource() - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand
-
Get message source
- getSource() - Method in class com.uppaal.model.core2.lsc.Message
-
- getSource() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
-
Get the source of the symbolic state
- getSource() - Method in class com.uppaal.model.system.Transition
-
- getStartEnabled() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
-
- getStartSelect() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
-
- getState() - Method in class com.uppaal.model.system.concrete.ConcreteSuccessor
-
Get concrete state
- getStatus() - Method in class com.uppaal.model.core2.Query
-
Get the status of the query
- getStatus() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
-
- getStatusString() - Method in class com.uppaal.model.core2.Query
-
Get the status string
- getSufficientConstraints(List<String>) - Method in class com.uppaal.model.system.Polyhedron
-
Convert constraint system to a human readable representation
based on the minimal constraint graph.
- GetSuffix(int) - Method in class com.uppaal.model.io2.SimpleCharStream
-
Get the suffix.
- getSymbolicInitial(UppaalSystem) - Method in class com.uppaal.engine.DotProtocol
-
- getSymbolicInitial(UppaalSystem) - Method in class com.uppaal.engine.EngineStub
-
Returns the initial state for the system.
- getSymbolicInitial(UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol
-
- getSymbolicInitial(UppaalSystem) - Method in interface com.uppaal.engine.Protocol
-
Returns the symbolic initial state for the system.
- getSymbolicState(int) - Method in class com.uppaal.model.system.Trace
-
- getSymbolicTransition(int) - Method in class com.uppaal.model.system.Trace
-
Warning: In this representation of the trace, all transitions have a
source and a destination, meaning that compared with the old symbolic
trace representation, the initial transition is missing.
- getSystem(Document, ArrayList<Problem>) - Method in class com.uppaal.engine.Engine
-
Compiles the document and builds a system instance.
- getSystem() - Method in class com.uppaal.engine.Engine
-
Addition for concrete simulation: Get the uppaal system
- getSystemID() - Method in class com.uppaal.model.io2.UXMLResolver
-
Get the public ID
- getTabSize(int) - Method in class com.uppaal.model.io2.SimpleCharStream
-
- getTarget() - Method in class com.uppaal.model.core2.Edge
-
Returns the target location (the end of the edge).
- getTarget() - Method in class com.uppaal.model.core2.InsertEdgeCommand
-
Get the target of the edge
- getTarget() - Method in class com.uppaal.model.core2.lsc.Message
-
- getTarget() - Method in class com.uppaal.model.system.concrete.ConcreteTransitionRecord
-
- getTarget() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
-
Get the target of the symbolic state
- getTarget() - Method in class com.uppaal.model.system.Transition
-
- getTemperature() - Method in class com.uppaal.model.core2.lsc.LscElement
-
- getTemplate() - Method in class com.uppaal.model.AbstractProcess
-
- getTemplate() - Method in class com.uppaal.model.core2.AbstractTemplate
-
- getTemplate(String) - Method in class com.uppaal.model.core2.Document
-
Returns the first template with the given name or null if no
such template exists.
- getTemplate() - Method in class com.uppaal.model.core2.Element
-
Returns the template of this element.
- getTemplates() - Method in class com.uppaal.model.core2.Document
-
Returns the first template of the document.
- getTime() - Method in class com.uppaal.model.system.concrete.ConcreteState
-
- getTitle() - Method in class com.uppaal.model.core2.Data2D
-
- getTitle() - Method in class com.uppaal.model.core2.DataSet2D
-
Get the title
- getToken(int) - Method in class com.uppaal.model.io2.UGIReader
-
Get the specific Token.
- getToken(int) - Method in class com.uppaal.model.io2.XTAReader
-
Get the specific Token.
- getTransitionDescription() - Method in class com.uppaal.model.system.AbstractTransition
-
- getTransitionEdges(int) - Method in class com.uppaal.model.system.Trace
-
- getTransitions(UppaalSystem, SymbolicState) - Method in class com.uppaal.engine.DotProtocol
-
- getTransitions(UppaalSystem, SymbolicState) - Method in class com.uppaal.engine.Engine
-
Returns the list of outgoing transitions for the state of the
given system.
- getTransitions(UppaalSystem, SymbolicState) - Method in class com.uppaal.engine.EngineStub
-
Returns the list of outgoing transitions for the state.
- getTransitions(UppaalSystem, SymbolicState) - Method in class com.uppaal.engine.KeyValueProtocol
-
- getTransitions(UppaalSystem, SymbolicState) - Method in interface com.uppaal.engine.Protocol
-
Returns the list of outgoing transitions for the state.
- getTransitions() - Method in class com.uppaal.model.system.concrete.ConcreteSuccessor
-
Get the transitions of the concrete successor
- getTranslator() - Method in class com.uppaal.model.AbstractProcess
-
- getType() - Method in class com.uppaal.engine.Problem
-
Get the problem type
- getType() - Method in class com.uppaal.model.core2.Data2D
-
type denotes how the data should be displayed on a plot.
- getType() - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- getUpdate() - Method in class com.uppaal.model.core2.lsc.Simregion
-
- getUpdate(int) - Method in class com.uppaal.model.lscsystem.LscProcess
-
- getUpdate() - Method in class com.uppaal.model.lscsystem.SystemUpdate
-
- getUpdate(int, int) - Method in class com.uppaal.model.lscsystem.UppaalLscSystem
-
- getUpdateOf(Node) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- getUpdates() - Method in class com.uppaal.model.lscsystem.LscProcess
-
- getValue() - Method in class com.uppaal.engine.LexicalAnalyser
-
Get the value the string
- getValue() - Method in class com.uppaal.model.core2.Property
-
- getValue() - Method in class com.uppaal.model.io2.Token
-
An optional attribute value of the Token.
- getValue(BigDecimal) - Method in class com.uppaal.model.system.concrete.ConcreteVariable
-
- getValue() - Method in class com.uppaal.model.system.concrete.Limit
-
Get the limit value
- getVariableName(int) - Method in class com.uppaal.model.AbstractSystem
-
Get the variable name
- getVariables() - Method in class com.uppaal.model.AbstractSystem
-
Get the global variables
- getVariables() - Method in class com.uppaal.model.AbstractSystemState
-
- getVariables() - Method in class com.uppaal.model.system.symbolic.SymbolicState
-
Get the array of the variable values.
- getVersion() - Method in class com.uppaal.engine.DotProtocol
-
- getVersion() - Method in class com.uppaal.engine.Engine
-
Returns the version string of the server.
- getVersion() - Method in class com.uppaal.engine.EngineStub
-
Returns the version string of the server.
- getVersion() - Method in class com.uppaal.engine.KeyValueProtocol
-
- getVersion() - Method in interface com.uppaal.engine.Protocol
-
Returns the version string of the server.
- getVersion() - Method in class com.uppaal.model.core2.AbstractCommand
-
- getVersion() - Method in interface com.uppaal.model.core2.Command
-
- getVersion() - Method in class com.uppaal.model.core2.CommandManager
-
Get the version number
- getVersion() - Method in class com.uppaal.model.core2.Document
-
Get the current number of the document
- getVersion() - Method in class com.uppaal.model.core2.QueryList
-
Returns the current version number of the query list.
- getWidth() - Method in class com.uppaal.model.core2.lsc.Condition
-
- getWidth(String, Font, Graphics2D) - Static method in class com.uppaal.model.core2.lsc.LscElement
-
returns the width of the given string, written with the given font
- getWidth(Graphics2D) - Method in class com.uppaal.model.core2.lsc.LscElement
-
The width of the drawn element label.
- getWord() - Method in class com.uppaal.engine.LexicalAnalyser
-
Get the 'word' string
- getX() - Method in class com.uppaal.model.core2.Element
-
Returns the value of the x property.
- getX() - Method in class com.uppaal.model.core2.Property
-
- getXLabel() - Method in class com.uppaal.model.core2.DataSet2D
-
Get the label x
- getXMinDifference() - Method in class com.uppaal.model.core2.Data2D
-
- getY() - Method in class com.uppaal.model.core2.Element
-
Returns the value of the y property.
- getY() - Method in class com.uppaal.model.core2.lsc.Simregion
-
- getYFoot() - Method in class com.uppaal.model.core2.lsc.InstanceLine
-
- getYLabel() - Method in class com.uppaal.model.core2.DataSet2D
-
Get the label y
- getYLocation() - Method in class com.uppaal.model.io2.XMLReader
-
Get the y coordinate data of the location, tag 'lsclocation'
- getYLocCoord() - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- GLOBAL_DECL_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- GLOBAL_PROCESSASSIGN_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- GLOBAL_SYSTEM_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- GLOBALDECL - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- globalDeclGI() - Method in class com.uppaal.model.io2.UGIReader
-
- graphInfo(Document) - Method in class com.uppaal.model.io2.UGIReader
-
- GRAPHINFO - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- graphInfoItem() - Method in class com.uppaal.model.io2.UGIReader
-
- GRIDCHANGE - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- GRIDCOLOR - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- GRIDMIN - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- GRT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- GUARD - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- GUARD - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- GUARD_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for guard labels.
- ID - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- ID - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- IdentifierTranslator - Class in com.uppaal.model.system
-
- IdentifierTranslator(Map<String, String>) - Constructor for class com.uppaal.model.system.IdentifierTranslator
-
An instance is created by giving it a defining map as a hashtable.
- image - Variable in class com.uppaal.model.io2.Token
-
The string image of the token.
- IMPLIES - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- IMPORT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- importGI() - Method in class com.uppaal.model.io2.UGIReader
-
- importInto(Element) - Method in class com.uppaal.model.core2.Element
-
Imports the tree rooted at this element into the prototype
structure of the given parent.
- IMPORTS - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- inBuf - Variable in class com.uppaal.model.io2.SimpleCharStream
-
- indent() - Method in class com.uppaal.model.core2.PrintVisitor
-
- indent() - Method in class com.uppaal.model.io2.XMLWriter
-
Write text to the output
- indentation - Variable in class com.uppaal.model.core2.PrintVisitor
-
- index - Variable in class com.uppaal.model.core2.InsertQueryCommand
-
The insert index
- index - Variable in class com.uppaal.model.core2.RemoveQueryCommand
-
The insert index
- indexOf(Query) - Method in class com.uppaal.model.core2.QueryList
-
Get the index of the query
- init(Template) - Method in class com.uppaal.model.io2.XMLReader
-
Parse optional init tag.
- init - Variable in class com.uppaal.model.io2.XMLWriter
-
- INIT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- input_stream - Variable in class com.uppaal.model.io2.UGIReaderTokenManager
-
- input_stream - Variable in class com.uppaal.model.io2.XTAReaderTokenManager
-
- inputStream - Variable in class com.uppaal.model.io2.SimpleCharStream
-
- insert(Node, Node) - Method in class com.uppaal.model.core2.Node
-
Insert a child node.
- insert(Query, int) - Method in class com.uppaal.model.core2.QueryList
-
Insert query into the query list
- InsertAnchoredElementCommand - Class in com.uppaal.model.core2.lsc
-
A transaction command for inserting elements.
- InsertAnchoredElementCommand(InstanceLine, AnchoredElement) - Constructor for class com.uppaal.model.core2.lsc.InsertAnchoredElementCommand
-
Constructor
- InsertEdgeCommand - Class in com.uppaal.model.core2
-
Transaction inserting the edge
- InsertEdgeCommand(AbstractLocation, int, int) - Constructor for class com.uppaal.model.core2.InsertEdgeCommand
-
Constructor
- InsertElementCommand - Class in com.uppaal.model.core2
-
A transaction command for inserting elements.
- InsertElementCommand(CommandManager, Node, Node, Node) - Constructor for class com.uppaal.model.core2.InsertElementCommand
-
Constructor
- InsertInstanceCommand - Class in com.uppaal.model.core2.lsc
-
A transaction command for inserting elements.
- InsertInstanceCommand(AbstractTemplate, Node, Node, ViewWorkAround) - Constructor for class com.uppaal.model.core2.lsc.InsertInstanceCommand
-
Constructor
- InsertMessageCommand - Class in com.uppaal.model.core2.lsc
-
A transaction command for inserting elements.
- InsertMessageCommand(InstanceLine, Message) - Constructor for class com.uppaal.model.core2.lsc.InsertMessageCommand
-
The hot sections touched by the message (and split)
- insertNail(Nail) - Method in class com.uppaal.model.core2.SetEndPointCommand
-
Inserts a nail next to the end point.
- insertNail(Nail) - Method in class com.uppaal.model.core2.SetSourceCommand
-
- insertNail(Nail) - Method in class com.uppaal.model.core2.SetTargetCommand
-
- InsertQueryCommand - Class in com.uppaal.model.core2
-
The insert query command class
- InsertQueryCommand(QueryList, int) - Constructor for class com.uppaal.model.core2.InsertQueryCommand
-
Constructor
- InsertTemplateCommand - Class in com.uppaal.model.core2
-
A transaction command for inserting elements.
- InsertTemplateCommand(Node, Node, Node) - Constructor for class com.uppaal.model.core2.InsertTemplateCommand
-
- insideBar(int, int) - Method in class com.uppaal.model.system.GanttBar
-
Is point (x,y) inside the bar?
- INSTANCE_FILL_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- INSTANCE_FOOT_HEIGHT - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- INSTANCE_FOOT_WIDTH - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- INSTANCE_HEIGHT - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- INSTANCE_LENGTH - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- INSTANCE_LINE_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- INSTANCE_MIN_WIDTH - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- InstanceLine - Class in com.uppaal.model.core2.lsc
-
- InstanceLine(Element) - Constructor for class com.uppaal.model.core2.lsc.InstanceLine
-
- instances - Variable in class com.uppaal.model.core2.lsc.Prechart
-
- instances - Variable in class com.uppaal.model.io2.XMLReader
-
- instances(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader
-
Parse the instance data, tag 'instance'.
- instances - Variable in class com.uppaal.model.io2.XMLWriter
-
- instantiation(Document) - Method in class com.uppaal.model.io2.XMLReader
-
Parse optional instantiation tag.
- INT - Static variable in class com.uppaal.engine.LexicalAnalyser
-
- INT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- integer() - Method in class com.uppaal.model.io2.UGIReader
-
- IntPoint - Class in com.uppaal.model.io2
-
- IntPoint(int, int) - Constructor for class com.uppaal.model.io2.IntPoint
-
Creates a point from given coordinates.
- IntPoint(Point) - Constructor for class com.uppaal.model.io2.IntPoint
-
Creates a point from a given integer point.
- IntPoint(Point2D) - Constructor for class com.uppaal.model.io2.IntPoint
-
- INVARIANT - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- INVARIANT_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for invariant labels.
- involvesProcess(int) - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
-
Is the list of selected edges includes the input process?
- involvesProcess(int) - Method in class com.uppaal.model.system.Transition
-
- IS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- isAnchorOf(Element) - Method in class com.uppaal.model.core2.lsc.InstanceLine
-
- isBlank() - Method in class com.uppaal.model.core2.QueryList
-
Checks whether the query model is blank (empty or contains white space).
- isConnected() - Method in class com.uppaal.engine.EngineStub
-
Returns true if the engine is connected to a server.
- isEmpty() - Method in class com.uppaal.model.core2.Data2D
-
- isEmpty() - Method in class com.uppaal.model.core2.DataSet2D
-
Is the array list of the data2D empty?
- isEmpty() - Method in class com.uppaal.model.core2.QueryList
-
There isn't query in the model.
- isEmpty(String) - Method in class com.uppaal.model.io2.XTAWriter
-
- isEqualTo(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
-
Is the input value equal to the limit value?
- isHot() - Method in class com.uppaal.model.core2.lsc.Condition
-
- isHot() - Method in class com.uppaal.model.core2.lsc.LscElement
-
- isLowerBoundOf(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
-
Is the limit lower bound off the input value
- isLowerBoundOf(Limit) - Method in class com.uppaal.model.system.concrete.Limit
-
Is the input limit value lower bounded of the limit value?
- ISNOT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- isPropertyLocal(String) - Method in class com.uppaal.model.core2.Element
-
Returns true if the property of the given name has a local
value.
- isRemoteConnection() - Method in class com.uppaal.engine.EngineStub
-
Returns true if the engine is connected to a remote server.
- isSelectable() - Method in class com.uppaal.model.system.concrete.ConcreteTransition
-
- isStrict() - Method in class com.uppaal.model.system.concrete.Limit
-
Is the limit strictly?
- isStrictLowerBoundOf(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
-
Is the limit strictly lower bound of the input value
- isStrictLowerBoundOf(Limit) - Method in class com.uppaal.model.system.concrete.Limit
-
Is the input limit value strictly lower bounded of the limit value?
- isStrictUpperBoundOf(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
-
Is the limit strictly upper bound of the input value
- isStrictUpperBoundOf(Limit) - Method in class com.uppaal.model.system.concrete.Limit
-
Is the input limit value strictly upper bounded of the limit value?
- isTheSame(SystemEdgeSelect) - Method in class com.uppaal.model.system.SystemEdgeSelect
-
Is equal the both edges?
- isUnbounded() - Method in class com.uppaal.model.system.concrete.Limit
-
Is not bounded?
- isUpperBoundOf(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
-
Is the limit upper bound off the input value
- isUpperBoundOf(Limit) - Method in class com.uppaal.model.system.concrete.Limit
-
Is the input limit value upper bounded of the limit value?
- isVisible() - Method in class com.uppaal.model.core2.Property
-
- iterator() - Method in class com.uppaal.model.core2.Data2D
-
- iterator() - Method in class com.uppaal.model.core2.DataSet2D
-
- iterator() - Method in class com.uppaal.model.core2.QueryList
-
- parameter(AbstractTemplate) - Method in class com.uppaal.model.io2.XMLReader
-
Parse an optional parameter tag text.
- PARAMLIST - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- paramListGraphInfo() - Method in class com.uppaal.model.io2.UGIReader
-
- parent - Variable in class com.uppaal.model.core2.InsertElementCommand
-
- parent - Variable in class com.uppaal.model.core2.lsc.RemoveLscElementCommand
-
- parent - Variable in class com.uppaal.model.core2.RemoveElementCommand
-
- parent - Variable in class com.uppaal.model.core2.RemoveTemplateCommand
-
- parse(Document) - Method in class com.uppaal.model.io2.UGIReader
-
Parses the currently associated java.io.InputStream
and modifies pos tags on elements in document
.
- parse(Element) - Method in class com.uppaal.model.io2.XMLReader
-
Parse the document.
- parse(Element) - Method in class com.uppaal.model.io2.XTAReader
-
- parseAcknowledgement() - Method in class com.uppaal.engine.Parser
-
Parses the prolog and the end of the characters
- parseBigDecimal() - Method in class com.uppaal.engine.Parser
-
Parse the float of the next token
- parseBlock() - Method in class com.uppaal.engine.Parser
-
Read the context of the block
- parseConcreteInitial(UppaalSystem) - Method in class com.uppaal.engine.Parser
-
Parses the concrete initial state in the system
- parseConcreteState(UppaalSystem) - Method in class com.uppaal.engine.Parser
-
Create the concrete state in the system:
- Get the list of locations in the system
- Get the list of variables of the system
- Get the invariant value
<l-len> <location>* <v-len> ( <value> <rate> )* <limit> <strict>
- parseConcreteSuccessor(UppaalSystem) - Method in class com.uppaal.engine.Parser
-
To create the concrete successor:
- parses the concrete state
- get the list of the concrete transition
- parseEdges(Properties, UppaalSystem, String) - Method in class com.uppaal.engine.KeyValueProtocol
-
Parse edges in the system
- parseEdges(UppaalSystem) - Method in class com.uppaal.engine.Parser
-
Get the list of the system edges
- parseEdgesWS(UppaalSystem) - Method in class com.uppaal.engine.Parser
-
Parses the selected edge of the system.
- parseEnabledConcreteTransitions(UppaalSystem) - Method in class com.uppaal.engine.Parser
-
Parses the limit of the concrete transition and collect the enabled
concrete transition into the list
- parseEnabledTransitions(UppaalSystem) - Method in class com.uppaal.engine.Parser
-
Parses the transitions that are transit enabled
- parseEnd() - Method in class com.uppaal.engine.Parser
-
Parses the end of the characters.
- ParseException - Exception in com.uppaal.model.io2
-
This exception is thrown when parse errors are encountered.
- ParseException(Token, int[][], String[]) - Constructor for exception com.uppaal.model.io2.ParseException
-
This constructor is used by the method "generateParseException"
in the generated parser.
- ParseException() - Constructor for exception com.uppaal.model.io2.ParseException
-
The following constructors are for use by you for whatever
purpose you can think of.
- ParseException(String) - Constructor for exception com.uppaal.model.io2.ParseException
-
Constructor with message.
- parseGanttChart(UppaalSystem, BigDecimal) - Method in class com.uppaal.engine.Parser
-
Parses a Gantt chart.
- parseGanttHeader(UppaalSystem) - Method in class com.uppaal.engine.Parser
-
Parses the header of the ganttchard
- parseId() - Method in class com.uppaal.engine.Parser
-
Parses and gets the string.
- parseInteger() - Method in class com.uppaal.engine.Parser
-
Parses and get the integer value
- parseLimit() - Method in class com.uppaal.engine.Parser
-
Parses the limit : limit consists of a value and information about whether the limit
is strict or not.
- parseLocationVector(String, UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol
-
Parses location vector
- parseLong() - Method in class com.uppaal.engine.Parser
-
Parses the response string in 'long'
- parseLscProcess(Document) - Method in class com.uppaal.engine.Parser
-
Parse LSC process
- parsePartialEnd() - Method in class com.uppaal.engine.Parser
-
Parses the partial end of the characters
- parseProblems() - Method in class com.uppaal.engine.Parser
-
Parses problems in the system
- parseProblems(ArrayList<Problem>) - Method in class com.uppaal.engine.Parser
-
Parses problems in the system
- parseProlog() - Method in class com.uppaal.engine.Parser
-
Parses the prolog
- parseQueryResult() - Method in class com.uppaal.engine.Parser
-
Parses query and get the query result
- Parser - Class in com.uppaal.engine
-
Simple recursive decent parser for the communication protocol.
- Parser(InputStream) - Constructor for class com.uppaal.engine.Parser
-
Constructor
- parseState(Properties, UppaalSystem, String, String, String) - Method in class com.uppaal.engine.KeyValueProtocol
-
Parse the symbolic state
- parseSymbolicInitial(UppaalSystem) - Method in class com.uppaal.engine.Parser
-
Parses the symbolic initial state in the system
- parseSymbolicState(UppaalSystem) - Method in class com.uppaal.engine.Parser
-
Parses the symbolic state in the system
- parseSystem(Document) - Method in class com.uppaal.engine.Parser
-
Parses the uppaal system:
- get the list of variables
- get the list of clocks
- add the processes into the system
- add Gantt Chart parsing
- parseVariableVector(String, UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol
-
Parse the variable vector
- parseXTRTrace(UppaalSystem) - Method in class com.uppaal.engine.Parser
-
Parses the Trace
- parseZone(String, UppaalSystem) - Method in class com.uppaal.engine.KeyValueProtocol
-
Parse the zone of the uppaal system
- PART_COV_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- PARTIAL_END - Static variable in class com.uppaal.engine.LexicalAnalyser
-
- plainMetrics - Static variable in class com.uppaal.model.io2.BoundCalc
-
- plainWidth(String) - Static method in class com.uppaal.model.io2.BoundCalc
-
Computes the width of string in plain font.
- PLUS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- Polyhedron - Class in com.uppaal.model.system
-
- Polyhedron(UppaalSystem) - Constructor for class com.uppaal.model.system.Polyhedron
-
- populateCondition(AbstractTemplate) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- populateInstance(AbstractTemplate) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- populatePrechart(AbstractTemplate) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- position - Variable in class com.uppaal.model.core2.InsertElementCommand
-
- Prechart - Class in com.uppaal.model.core2.lsc
-
- Prechart(Element) - Constructor for class com.uppaal.model.core2.lsc.Prechart
-
- prechart(LscTemplate) - Method in class com.uppaal.model.io2.XMLReader
-
Parse the prechart data, tag 'prechart'
- PRECHART_COL - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- PRECHART_MIN_HEIGHT - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- PRECHART_SIDE_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- PRECHART_TOP_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- prevCharIsCR - Variable in class com.uppaal.model.io2.SimpleCharStream
-
- prevCharIsLF - Variable in class com.uppaal.model.io2.SimpleCharStream
-
- previous - Variable in class com.uppaal.model.core2.Node
-
The left sibling of this element.
- print(String) - Method in class com.uppaal.model.core2.PrintVisitor
-
- printGanttInfo() - Method in class com.uppaal.model.system.GanttChart
-
Printing the gantt chart information
- printRowInfo() - Method in class com.uppaal.model.system.GanttRow
-
Print the row information
- PrintVisitor - Class in com.uppaal.model.core2
-
- PrintVisitor() - Constructor for class com.uppaal.model.core2.PrintVisitor
-
- PROB_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for probability labels.
- problem() - Method in class com.uppaal.engine.Parser
-
Create the problem
- Problem - Class in com.uppaal.engine
-
A representation of a syntax error or warning.
- Problem(String, String, int, int, int, int, String, String) - Constructor for class com.uppaal.engine.Problem
-
Constructor: Creates a new problem object
- Problem(String, String, int, int, int, int, String) - Constructor for class com.uppaal.engine.Problem
-
- PROCASSIGN - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- procAssignGI() - Method in class com.uppaal.model.io2.UGIReader
-
- PROCESS - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- PROCESS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- Process - Class in com.uppaal.model.system
-
The class process
- Process(String, int, Template, Translator) - Constructor for class com.uppaal.model.system.Process
-
Constructor
- PROCESS_FILL_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
Color for process box fill.
- PROCESS_OUTLINE_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
Constant.
- processdecl(Document) - Method in class com.uppaal.model.io2.XTAReader
-
- project(Document) - Method in class com.uppaal.model.io2.XMLReader
-
Parse the document starting with 'project' or 'nta', through templates,
instantiation, system declaration and queries.
- properties - Variable in class com.uppaal.model.core2.Element
-
The properties of this element.
- Property - Class in com.uppaal.model.core2
-
A property is a special kind of element.
- Property(Element, Element, Object) - Constructor for class com.uppaal.model.core2.Property
-
- property - Variable in class com.uppaal.model.core2.SetPropertyCommand
-
- propertyChanged(Property, String, Object, Object) - Method in class com.uppaal.model.core2.AbstractEventListener
-
- propertyChanged(Property, String, Object, Object) - Method in interface com.uppaal.model.core2.EventListener
-
- Protocol - Interface in com.uppaal.engine
-
- ProtocolException - Exception in com.uppaal.engine
-
- ProtocolException() - Constructor for exception com.uppaal.engine.ProtocolException
-
- ProtocolException(String) - Constructor for exception com.uppaal.engine.ProtocolException
-
- prototype - Variable in class com.uppaal.model.core2.Element
-
The prototype of this element.
- PrototypeDocument - Class in com.uppaal.model.core2
-
Prototypical document structure for a Uppaal network of timed automata with
default properties (see the prototype design pattern).
- PrototypeDocument() - Constructor for class com.uppaal.model.core2.PrototypeDocument
-
- PrototypeVisitor - Class in com.uppaal.model.core2
-
Only difference to AbstractVisitor is that this visitor knows about
the #template, #location, #edge and #nail properties used to set
the default prototype for these elements.
- PrototypeVisitor() - Constructor for class com.uppaal.model.core2.PrototypeVisitor
-
- PTBody(Template) - Method in class com.uppaal.model.io2.XTAReader
-
- PTGraphInfo(Document) - Method in class com.uppaal.model.io2.UGIReader
-
- PTHead(Template) - Method in class com.uppaal.model.io2.XTAReader
-
- PTParamList(Template) - Method in class com.uppaal.model.io2.XTAReader
-
- save(File) - Method in class com.uppaal.model.core2.Document
-
Save the data into the file
- SELECT - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- SELECT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- SELECT_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for select labels.
- SELECTED_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
Color to be used for indicating selected objects.
- SEMICOLON - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- SEMICOLON - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- sendMessage(KeyValueProtocol.Service) - Method in class com.uppaal.engine.KeyValueProtocol
-
Send the message to the out stream using only the service
- sendMessage(KeyValueProtocol.Service, String) - Method in class com.uppaal.engine.KeyValueProtocol
-
Send the message to the out stream using the service and data string
- sendMessage(KeyValueProtocol.Service, SymbolicState) - Method in class com.uppaal.engine.KeyValueProtocol
-
Send the message to the out stream using the service and symbolic state
- SERVER - Static variable in class com.uppaal.engine.EngineStub
-
Remote connections only..
- ServerException - Exception in com.uppaal.engine
-
- ServerException() - Constructor for exception com.uppaal.engine.ServerException
-
- ServerException(String) - Constructor for exception com.uppaal.engine.ServerException
-
- setAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.AnchoredElement
-
- setAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Condition
-
- setAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.InsertAnchoredElementCommand
-
Set anchor into the element
- setAnchor(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Update
-
- setAnchoredToCondition(Condition) - Method in class com.uppaal.model.core2.lsc.Update
-
- setAnchors(ArrayList<InstanceLine>) - Method in class com.uppaal.model.core2.lsc.Condition
-
- setAnchorToUpdate(InstanceLine, Condition) - Method in interface com.uppaal.model.core2.lsc.ViewWorkAround
-
- setClocks(ArrayList<String>) - Method in class com.uppaal.model.AbstractSystem
-
Set clocks
- setColor(Color) - Method in class com.uppaal.model.core2.Data2D
-
- setCommandManager(CommandManager) - Method in class com.uppaal.model.core2.Element
-
Set the command manager
- setComment(String) - Method in class com.uppaal.model.core2.Query
-
- setCondition(Condition) - Method in class com.uppaal.model.core2.lsc.Simregion
-
- setConnectionMode(int) - Method in class com.uppaal.engine.Engine
-
Sets the connection mode.
- setConnectionMode(int) - Method in class com.uppaal.engine.EngineStub
-
Sets the connection mode.
- setCurrent(int) - Method in interface com.uppaal.engine.QueryFeedback
-
Called when pos
elements of the trace have been
loaded.
- setCVariables(ConcreteVariable[]) - Method in class com.uppaal.model.system.concrete.ConcreteState
-
- setDebugStream(PrintStream) - Method in class com.uppaal.model.io2.UGIReaderTokenManager
-
Set debug output.
- setDebugStream(PrintStream) - Method in class com.uppaal.model.io2.XTAReaderTokenManager
-
Set debug output.
- setDelay(BigDecimal) - Method in class com.uppaal.model.system.concrete.ConcreteTransitionRecord
-
- setEdges(SystemEdgeSelect[]) - Method in class com.uppaal.model.system.AbstractTransition
-
- setEndPoint(AbstractLocation) - Method in class com.uppaal.model.core2.SetEndPointCommand
-
Set the endpoint to the given location.
- SetEndPointCommand - Class in com.uppaal.model.core2
-
Transaction for setting the end point on the edge
- SetEndPointCommand(CommandManager, Edge) - Constructor for class com.uppaal.model.core2.SetEndPointCommand
-
Constructor
- setFeedback(String) - Method in interface com.uppaal.engine.QueryFeedback
-
Called after a verification in case there is no trace.
- setFinalAnchor(InstanceLine, ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.ChangeAnchorCommand
-
Set the final anchor
- setFinalEnd(InstanceLine) - Method in class com.uppaal.model.core2.lsc.ChangeMessageEndCommand
-
Set the final value
- setFormula(String) - Method in class com.uppaal.model.core2.Query
-
- setFormulaAndComment(String, String) - Method in class com.uppaal.model.core2.Query
-
Set the comment and query property.
- setGanttChart(GanttChart) - Method in class com.uppaal.model.system.UppaalSystem
-
Set the ganttchart
- setInvariant(Limit) - Method in class com.uppaal.model.system.concrete.ConcreteState
-
- setLength(int) - Method in interface com.uppaal.engine.QueryFeedback
-
Called when the length of a trace is known.
- setLength(int, ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.InstanceLine
-
- setLength(int, ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
Set length between bottom of instance head and top of instance foot.
- SetLengthCommand - Class in com.uppaal.model.core2.lsc
-
- SetLengthCommand(CommandManager, Element, ViewWorkAround) - Constructor for class com.uppaal.model.core2.lsc.SetLengthCommand
-
Constructor
- setLengthTo(int, ViewWorkAround) - Method in class com.uppaal.model.core2.lsc.LscTemplate
-
- setLocation(AbstractLocation) - Method in class com.uppaal.model.core2.SetEndPointCommand
-
Sets the current end point on the edge.
- setLocation(AbstractLocation) - Method in class com.uppaal.model.core2.SetSourceCommand
-
- setLocation(AbstractLocation) - Method in class com.uppaal.model.core2.SetTargetCommand
-
- setLocations(SystemLocation[]) - Method in class com.uppaal.model.system.SystemState
-
Set the list of the system location
- setLogX(boolean) - Method in class com.uppaal.model.core2.Data2D
-
- setLogX(boolean) - Method in class com.uppaal.model.core2.DataSet2D
-
Set the log x into the data2D
- setLogY(boolean) - Method in class com.uppaal.model.core2.Data2D
-
- setLogY(boolean) - Method in class com.uppaal.model.core2.DataSet2D
-
Set log y
- setLscProcess(String, String, Translator) - Method in class com.uppaal.model.system.UppaalSystem
-
Set the lsc process
- setMessage(Message) - Method in class com.uppaal.model.core2.lsc.Simregion
-
- setOptions(String) - Method in class com.uppaal.engine.DotProtocol
-
- setOptions(String) - Method in class com.uppaal.engine.EngineStub
-
Sets server options used for verification.
- setOptions(String) - Method in class com.uppaal.engine.KeyValueProtocol
-
- setOptions(String) - Method in interface com.uppaal.engine.Protocol
-
Sets server options used for verification.
- setPrechart(Prechart) - Method in class com.uppaal.model.lscsystem.LscProcess
-
- setProgress(QueryFeedback, Properties) - Method in class com.uppaal.engine.KeyValueProtocol
-
Set the progress: When server sends a progress update on verification status.
- setProgress(int, long, long, long, long, long, long, long, long, long) - Method in interface com.uppaal.engine.QueryFeedback
-
Called when server sends a progress update on verification status.
- setProgressAvail(boolean) - Method in interface com.uppaal.engine.QueryFeedback
-
Called before sending query to server.
- setProperties(Object[]) - Method in class com.uppaal.model.core2.Element
-
- setProperty(String, Object) - Method in class com.uppaal.model.core2.Element
-
Sets and returns the given property.
- setProperty(String, Object) - Method in class com.uppaal.model.core2.Location
-
When setting the init property to true, the init property of all other
locations in the same template is removed.
- SetPropertyCommand - Class in com.uppaal.model.core2
-
The set property command
- SetPropertyCommand(Element, String, Object) - Constructor for class com.uppaal.model.core2.SetPropertyCommand
-
Constructor
- setPropertyFromPath(String, Object) - Method in class com.uppaal.model.core2.Element
-
Set the given property from path
- SetPropertyWithPositionCommand - Class in com.uppaal.model.core2
-
The set property with position command class
- SetPropertyWithPositionCommand(Element, String, Object, int, int) - Constructor for class com.uppaal.model.core2.SetPropertyWithPositionCommand
-
Constructor
- setPrototype(Element) - Method in class com.uppaal.model.core2.Element
-
Sets the prototype of this element to the given argument.
- setPrototype(Element) - Method in class com.uppaal.model.core2.Node
-
Sets the prototype of this element to the given argument.
- SetQueryCommand - Class in com.uppaal.model.core2
-
- SetQueryCommand(Query, String, String, String, String) - Constructor for class com.uppaal.model.core2.SetQueryCommand
-
Constructor
- setRate(int) - Method in class com.uppaal.model.system.concrete.ConcreteVariable
-
- setResultText(String) - Method in interface com.uppaal.engine.QueryFeedback
-
Allows engine to add arbitrary text beside the "status" image.
- setServerHost(String) - Method in class com.uppaal.engine.Engine
-
Sets the server host.
- setServerHost(String) - Method in class com.uppaal.engine.EngineStub
-
Sets the server host.
- setServerPath(String) - Method in class com.uppaal.engine.Engine
-
Sets the server path.
- setServerPath(String) - Method in class com.uppaal.engine.EngineStub
-
Sets the server path.
- setServerPort(int) - Method in class com.uppaal.engine.Engine
-
Sets the server port.
- setServerPort(int) - Method in class com.uppaal.engine.EngineStub
-
Sets the server port.
- setSimregions(ArrayList<Simregion>) - Method in class com.uppaal.model.core2.lsc.Cut
-
- setSource(AbstractLocation) - Method in class com.uppaal.model.core2.Edge
-
Sets the origin of this edge.
- setSource(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Message
-
- SetSourceCommand - Class in com.uppaal.model.core2
-
Transaction for changing the source of an edge.
- SetSourceCommand(CommandManager, Edge) - Constructor for class com.uppaal.model.core2.SetSourceCommand
-
Constructor
- setStatus(int) - Method in class com.uppaal.model.core2.Query
-
Set the status
- setStatusString(String) - Method in class com.uppaal.model.core2.Query
-
Set the status string
- setStrict(boolean) - Method in class com.uppaal.model.system.concrete.Limit
-
Set the strict value
- setSystemInfo(QueryFeedback, Properties) - Method in class com.uppaal.engine.KeyValueProtocol
-
Set the system information: Before start processing a query
- setSystemInfo(long, long, long) - Method in interface com.uppaal.engine.QueryFeedback
-
Called before start processing a query.
- setTabSize(int) - Method in class com.uppaal.model.io2.SimpleCharStream
-
- setTarget(AbstractLocation) - Method in class com.uppaal.model.core2.Edge
-
Sets the destination of this edge.
- setTarget(InstanceLine) - Method in class com.uppaal.model.core2.lsc.InsertMessageCommand
-
Set the target
- setTarget(InstanceLine) - Method in class com.uppaal.model.core2.lsc.Message
-
- setTarget(ConcreteState) - Method in class com.uppaal.model.system.concrete.ConcreteTransitionRecord
-
- SetTargetCommand - Class in com.uppaal.model.core2
-
Transaction for changing the target of an edge.
- SetTargetCommand(CommandManager, Edge) - Constructor for class com.uppaal.model.core2.SetTargetCommand
-
Constructor
- setText(String, String) - Method in class com.uppaal.model.core2.SetQueryCommand
-
Set the new query property and comment text
- setTime(BigDecimal) - Method in class com.uppaal.model.system.concrete.ConcreteState
-
- setTitle(String) - Method in class com.uppaal.model.core2.Data2D
-
- setTitle(String) - Method in class com.uppaal.model.core2.DataSet2D
-
Set title
- setTrace(char, String, ArrayList<SymbolicTransition>, int, QueryVerificationResult) - Method in interface com.uppaal.engine.QueryFeedback
-
Called when the complete trace has been loaded.
- setTraceSMC(char, String, ArrayList<ConcreteTransitionRecord>, int, QueryVerificationResult) - Method in interface com.uppaal.engine.QueryFeedback
-
Called after a verification in case there is trace
- setType(String) - Method in class com.uppaal.model.core2.Data2D
-
- setUpdate(Update) - Method in class com.uppaal.model.core2.lsc.Simregion
-
- setValue(BigDecimal) - Method in class com.uppaal.model.system.concrete.ConcreteVariable
-
- setValue(BigDecimal) - Method in class com.uppaal.model.system.concrete.Limit
-
Set the limit value
- setVariables(ArrayList<String>) - Method in class com.uppaal.model.AbstractSystem
-
Set the variables
- setVersion(int) - Method in class com.uppaal.model.core2.AbstractCommand
-
- setVersion(int) - Method in interface com.uppaal.model.core2.Command
-
- setXLabel(String) - Method in class com.uppaal.model.core2.DataSet2D
-
Set the label x into the data2D
- setXMLResolver(XMLResolver) - Static method in class com.uppaal.model.io2.XMLReader
-
Set a custom XMLResolver to be used with XMLEventReader.
- setYLabel(String) - Method in class com.uppaal.model.core2.DataSet2D
-
Set the label y into the data2D
- showEditor(JFrame) - Method in class com.uppaal.model.core2.lsc.InsertAnchoredElementCommand
-
Show the editor
- sibling - Variable in class com.uppaal.model.core2.RemoveTemplateCommand
-
- SimpleCharStream - Class in com.uppaal.model.io2
-
An implementation of interface CharStream, where the stream is assumed to
contain only ASCII characters (without unicode processing).
- SimpleCharStream(Reader, int, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream
-
Constructor.
- SimpleCharStream(Reader, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream
-
Constructor.
- SimpleCharStream(Reader) - Constructor for class com.uppaal.model.io2.SimpleCharStream
-
Constructor.
- SimpleCharStream(InputStream, String, int, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream
-
Constructor.
- SimpleCharStream(InputStream, int, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream
-
Constructor.
- SimpleCharStream(InputStream, String, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream
-
Constructor.
- SimpleCharStream(InputStream, int, int) - Constructor for class com.uppaal.model.io2.SimpleCharStream
-
Constructor.
- SimpleCharStream(InputStream, String) - Constructor for class com.uppaal.model.io2.SimpleCharStream
-
Constructor.
- SimpleCharStream(InputStream) - Constructor for class com.uppaal.model.io2.SimpleCharStream
-
Constructor.
- Simregion - Class in com.uppaal.model.core2.lsc
-
- Simregion(Element) - Constructor for class com.uppaal.model.core2.lsc.Simregion
-
- simregions - Variable in class com.uppaal.model.core2.lsc.Cut
-
- singleCoord(Element) - Method in class com.uppaal.model.io2.UGIReader
-
- size() - Method in class com.uppaal.model.core2.DataSet2D
-
Ask the data size
- size() - Method in class com.uppaal.model.core2.QueryList
-
Get the number of the query list
- size() - Method in class com.uppaal.model.system.Trace
-
- skipProblems() - Method in class com.uppaal.engine.Parser
-
To skip problems
- SLASH - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- SLCOMMENT - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- SNAP_PER_GRID - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- SnapCommand - Class in com.uppaal.model.core2
-
Command to snap template elements to a grid.
- SnapCommand(AbstractTemplate, double) - Constructor for class com.uppaal.model.core2.SnapCommand
-
Snap command
- source - Variable in class com.uppaal.model.core2.Edge
-
- source - Variable in class com.uppaal.model.core2.lsc.Message
-
- source() - Method in class com.uppaal.model.io2.XMLReader
-
Parse the source (location/branchpoint) tag: ref attribute.
- specialToken - Variable in class com.uppaal.model.io2.Token
-
This field is used to access special tokens that occur prior to this
token, but after the immediately preceding regular (non-special) token.
- startColumn - Variable in exception com.uppaal.engine.CannotEvaluateException
-
- startLine - Variable in exception com.uppaal.engine.CannotEvaluateException
-
- STATE - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- STATE_COMMIT_RADIUS - Static variable in interface com.uppaal.model.core2.Constants
-
Radius of the inner symbol of committed locations.
- STATE_FILL_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for state vertex fill.
- STATE_INIT_OUTLINE_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for initial state inner circle outline.
- STATE_INIT_RADIUS - Static variable in interface com.uppaal.model.core2.Constants
-
Radius of the inner circle symbolising a initial state.
- STATE_LABEL_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for state labels.
- STATE_OUTLINE_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for state vertex outline.
- STATE_RADIUS - Static variable in interface com.uppaal.model.core2.Constants
-
Radius of a location.
- STATE_URGENT_RADIUS - Static variable in interface com.uppaal.model.core2.Constants
-
Radius of the inner symbol of urgent locations.
- staticFlag - Static variable in class com.uppaal.model.io2.SimpleCharStream
-
Whether parser is static.
- stub - Variable in class com.uppaal.engine.Engine
-
The stub for the server connection.
- submit(Job) - Method in class com.uppaal.engine.Engine
-
Submit the job to the verification engine.
- subtract(float, float) - Method in class com.uppaal.model.io2.FloatPoint
-
Returns a point with this point's coordinates
subtracted by the given coordinates.
- subtract(FloatPoint) - Method in class com.uppaal.model.io2.FloatPoint
-
Returns a point with this point's coordinates
subtracted by the given point.
- subtract(int, int) - Method in class com.uppaal.model.io2.IntPoint
-
Returns a point with this point's coordinates
subtracted by the given coordinates.
- subtract(Point2D) - Method in class com.uppaal.model.io2.IntPoint
-
Returns a point with this point's coordinates
subtracted by the given point.
- swap() - Method in class com.uppaal.model.core2.SetEndPointCommand
-
- swap() - Method in class com.uppaal.model.core2.SetPropertyCommand
-
Swap the object
- SwitchTo(int) - Method in class com.uppaal.model.io2.UGIReaderTokenManager
-
Switch to specified lex state.
- SwitchTo(int) - Method in class com.uppaal.model.io2.XTAReaderTokenManager
-
Switch to specified lex state.
- SymbolicState - Class in com.uppaal.model.system.symbolic
-
Class representing a state in a system
- SymbolicState(SystemLocation[], int[], Polyhedron) - Constructor for class com.uppaal.model.system.symbolic.SymbolicState
-
Constructor
- SymbolicTransition - Class in com.uppaal.model.system.symbolic
-
The class symbolic transition of the system
- SymbolicTransition(SymbolicState, SystemEdgeSelect[], SymbolicState) - Constructor for class com.uppaal.model.system.symbolic.SymbolicTransition
-
Constructor
- SymbolicTransition(SymbolicState, SystemEdgeSelect[], SymbolicState, String) - Constructor for class com.uppaal.model.system.symbolic.SymbolicTransition
-
Constructor
- SYNC - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- SYNC - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- SYNC_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for synchronisation labels.
- system(Document) - Method in class com.uppaal.model.io2.XMLReader
-
Parse optional system tag.
- SYSTEM - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- SystemCondition - Class in com.uppaal.model.lscsystem
-
- SystemCondition(LscProcess, int, String, Condition) - Constructor for class com.uppaal.model.lscsystem.SystemCondition
-
- SystemCut - Class in com.uppaal.model.lscsystem
-
- SystemCut(SystemSimregion[], int[], Polyhedron) - Constructor for class com.uppaal.model.lscsystem.SystemCut
-
- SYSTEMDEF - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- systemDefGI() - Method in class com.uppaal.model.io2.UGIReader
-
- SystemEdge - Class in com.uppaal.model.system
-
The class of the system edge
- SystemEdge(Process, int, String, Edge) - Constructor for class com.uppaal.model.system.SystemEdge
-
Constructor
- SystemEdgeSelect - Class in com.uppaal.model.system
-
The class to present the selected edges of the system
- SystemEdgeSelect(Process, int, String, Edge, List<Integer>) - Constructor for class com.uppaal.model.system.SystemEdgeSelect
-
Constructor
- SystemEdgeSelect(SystemEdge, List<Integer>) - Constructor for class com.uppaal.model.system.SystemEdgeSelect
-
Constructor
- SystemInstanceLine - Class in com.uppaal.model.lscsystem
-
- SystemInstanceLine(LscProcess, int, InstanceLine) - Constructor for class com.uppaal.model.lscsystem.SystemInstanceLine
-
- SystemLocation - Class in com.uppaal.model.system
-
The class of the system location
- SystemLocation(Process, int, Location) - Constructor for class com.uppaal.model.system.SystemLocation
-
Constructor
- SystemMessage - Class in com.uppaal.model.lscsystem
-
- SystemMessage(LscProcess, int, String, Message) - Constructor for class com.uppaal.model.lscsystem.SystemMessage
-
- SystemPrechart - Class in com.uppaal.model.lscsystem
-
- SystemPrechart(LscProcess, Prechart) - Constructor for class com.uppaal.model.lscsystem.SystemPrechart
-
- SystemSimregion - Class in com.uppaal.model.lscsystem
-
- systemSpec(Document) - Method in class com.uppaal.model.io2.XTAReader
-
- SystemState - Class in com.uppaal.model.system
-
The class representing a state in a system
- SystemState(SystemLocation[]) - Constructor for class com.uppaal.model.system.SystemState
-
Constructor
- SystemUpdate - Class in com.uppaal.model.lscsystem
-
- SystemUpdate(LscProcess, int, String, Update) - Constructor for class com.uppaal.model.lscsystem.SystemUpdate
-
- tabSize - Variable in class com.uppaal.model.io2.SimpleCharStream
-
- target - Variable in class com.uppaal.model.core2.Edge
-
- target - Variable in class com.uppaal.model.core2.lsc.Message
-
- target() - Method in class com.uppaal.model.io2.XMLReader
-
Parse the target (location/branchpoint) tag: ref attribute.
- target - Variable in class com.uppaal.model.system.concrete.ConcreteTransitionRecord
-
- temperature(Node) - Method in class com.uppaal.model.io2.XMLReader
-
Parse the temperature tag of a condition
- Template - Class in com.uppaal.model.core2
-
The template class
- Template(Element) - Constructor for class com.uppaal.model.core2.Template
-
Constructor
- TEMPLATE_NAME_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- TEMPLATE_PARAMLIST_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- TEMPLATENAME - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- templates(Document) - Method in class com.uppaal.model.io2.XMLReader
-
Parse the template tag(s) if any: name, parameter, declaration,
locations, branchpoints, initial location and edges.
- TIMES - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- title - Variable in class com.uppaal.model.core2.DataSet2D
-
- Token - Class in com.uppaal.model.io2
-
Describes the input token stream.
- Token() - Constructor for class com.uppaal.model.io2.Token
-
No-argument constructor
- Token(int) - Constructor for class com.uppaal.model.io2.Token
-
Constructs a new token for the specified Image.
- Token(int, String) - Constructor for class com.uppaal.model.io2.Token
-
Constructs a new token for the specified Image and Kind.
- token - Variable in class com.uppaal.model.io2.UGIReader
-
Current token.
- token - Variable in class com.uppaal.model.io2.XTAReader
-
Current token.
- token_source - Variable in class com.uppaal.model.io2.UGIReader
-
Generated Token Manager.
- token_source - Variable in class com.uppaal.model.io2.XTAReader
-
Generated Token Manager.
- tokenImage - Variable in exception com.uppaal.model.io2.ParseException
-
This is a reference to the "tokenImage" array of the generated
parser within which the parse error occurred.
- tokenImage - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
Literal token values.
- tokenImage - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
Literal token values.
- TokenMgrError - Error in com.uppaal.model.io2
-
Token Manager Error.
- TokenMgrError() - Constructor for error com.uppaal.model.io2.TokenMgrError
-
No arg constructor.
- TokenMgrError(String, int) - Constructor for error com.uppaal.model.io2.TokenMgrError
-
Constructor with message and reason.
- TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error com.uppaal.model.io2.TokenMgrError
-
Full Constructor.
- TOP_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- toServerFormat() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
-
Convert to format used to send to server.
- toServerFormat() - Method in class com.uppaal.model.system.Transition
-
Convert to format used to send to server.
- toString() - Method in exception com.uppaal.engine.CannotEvaluateException
-
- toString() - Method in exception com.uppaal.engine.EngineException
-
- toString() - Method in class com.uppaal.engine.Problem
-
- toString() - Method in class com.uppaal.model.io2.FloatPoint
-
Returns a string representation of this object
- toString() - Method in class com.uppaal.model.io2.IntPoint
-
Returns a string representation of this object.
- toString() - Method in class com.uppaal.model.io2.Token
-
Returns the image.
- toString() - Method in class com.uppaal.model.system.concrete.Limit
-
- toString() - Method in class com.uppaal.model.system.GanttBar
-
- toString() - Method in class com.uppaal.model.system.Polyhedron
-
- toTime - Variable in class com.uppaal.model.system.GanttBar
-
- TOUCH_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- TOUCH_INSTANCE_DISTANCE - Static variable in interface com.uppaal.model.core2.lsc.LscConstants
-
- toXTRFormat() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
-
Convert to format used in XTR files.
- Trace - Class in com.uppaal.model.system
-
This class can be used for a combinated symbolic and concrete trace, or just
one of them.
- Trace(SymbolicState) - Constructor for class com.uppaal.model.system.Trace
-
- Trace(ConcreteState) - Constructor for class com.uppaal.model.system.Trace
-
- Trace(ConcreteState, SymbolicState) - Constructor for class com.uppaal.model.system.Trace
-
- TRACE_COV_COL - Static variable in interface com.uppaal.model.core2.CommonConstants
-
- traceFormat() - Method in class com.uppaal.model.AbstractSystemState
-
Convert to visual format used in simulator.
- traceFormat() - Method in class com.uppaal.model.system.concrete.ConcreteTransitionRecord
-
Convert to visual format used in simulator.
- traceFormat() - Method in class com.uppaal.model.system.symbolic.SymbolicTransition
-
Convert to visual format used in simulator.
- traceFormat() - Method in class com.uppaal.model.system.SystemState
-
Convert to visual format used in simulator.
- traceFormat() - Method in class com.uppaal.model.system.Transition
-
Convert to visual format used in simulator.
- TRANS - Static variable in interface com.uppaal.model.io2.UGIReaderConstants
-
RegularExpression Id.
- TRANS - Static variable in interface com.uppaal.model.io2.XTAReaderConstants
-
RegularExpression Id.
- TRANS_COL - Static variable in interface com.uppaal.model.core2.Constants
-
Color for transition edge outline.
- TRANS_TOUCH_DISTANCE - Static variable in interface com.uppaal.model.core2.Constants
-
The distance from a transition where it is touched.
- transIdent() - Method in class com.uppaal.model.io2.UGIReader
-
- Transition - Class in com.uppaal.model.system
-
Transition represents a discrete transition of the system.
- Transition(SymbolicState, SystemEdge[], SymbolicState) - Constructor for class com.uppaal.model.system.Transition
-
- Transition(SymbolicState, SystemEdge[], SymbolicState, String) - Constructor for class com.uppaal.model.system.Transition
-
- translate(String) - Method in class com.uppaal.model.system.EmptyTranslator
-
- translate(String) - Method in class com.uppaal.model.system.IdentifierTranslator
-
Returns a translated string where all identifiers have been
replaced (by some actual parameter) if they denote a formal parameter..
- translate(String) - Method in interface com.uppaal.model.system.Translator
-
- translate(String) - Method in interface com.uppaal.model.Translator
-
- TranslationCommand - Class in com.uppaal.model.core2
-
Translates (in the geometrical meaning) a set of elements.
- TranslationCommand(CommandManager, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.TranslationCommand
-
Constructor
- TranslationMessageLabelCommand - Class in com.uppaal.model.core2.lsc
-
- TranslationMessageLabelCommand(CommandManager, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.lsc.TranslationMessageLabelCommand
-
Constructor
- TranslationXCommand - Class in com.uppaal.model.core2.lsc
-
Translates (in the geometrical meaning) a set of elements.
- TranslationXCommand(CommandManager, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.lsc.TranslationXCommand
-
Constructor
- TranslationYCommand - Class in com.uppaal.model.core2.lsc
-
Translates (in the geometrical meaning) a set of elements.
- TranslationYCommand(CommandManager, ArrayList<Element>) - Constructor for class com.uppaal.model.core2.lsc.TranslationYCommand
-
Constructor
- translator - Variable in class com.uppaal.model.AbstractProcess
-
The translator to use for this process.
- Translator - Interface in com.uppaal.model.system
-
- Translator - Interface in com.uppaal.model
-
- trim() - Method in class com.uppaal.model.system.Polyhedron
-
- truncate(BigDecimal) - Method in class com.uppaal.model.system.GanttChart
-
Remove everything to the "right" of time t in chart
- truncate(int) - Method in class com.uppaal.model.system.GanttChart
-
Remove everything from the input data
- truncate(BigDecimal) - Method in class com.uppaal.model.system.GanttRow
-
Cut off contents to the "right" of time t in the entire row
- type(AbstractTemplate) - Method in class com.uppaal.model.io2.XMLReader
-
Parse the type tag of TA or LSC template.