- actionPerformed(ActionEvent) - Method in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
-
- activity - Variable in class org.processmining.plugins.ltlchecker.declare2ltl.Event
-
- add(String) - Static method in class org.processmining.plugins.ltlchecker.Message
-
- add(String, int) - Static method in class org.processmining.plugins.ltlchecker.Message
-
- add(String, Attribute) - Method in class org.processmining.plugins.ltlchecker.parser.AttributeSet
-
- add(String, ValueNode) - Method in class org.processmining.plugins.ltlchecker.util.Substitutes
-
Add the value of an id, by calling of an function or in an comparison
expression.
- add_escapes(String) - Method in exception org.processmining.plugins.ltlchecker.parser.ParseException
-
Used to convert raw characters to their escaped version when these raw
version cannot be used as part of an ASCII string literal.
- addActionListener(ActionListener) - Static method in class org.processmining.plugins.ltlchecker.Message
-
- addAttribute(String, String) - Method in class org.processmining.plugins.ltlchecker.InfoItem
-
Adds an attribute as key-value pair to this information item.
- addAttribute(DataAttribute) - Method in class org.processmining.plugins.ltlchecker.InfoItem
-
Adds an attribute as key-value pair to this information item.
- addChild(FormulaNode) - Method in class org.processmining.plugins.ltlchecker.formulatree.QuantorNode
-
Add a child node with the formula the child is.
- addConcept(String) - Method in class org.processmining.plugins.ltlchecker.OntologyModel
-
Adds a new concept with the given name to this ontology.
- addEscapes(String) - Static method in error org.processmining.plugins.ltlchecker.parser.TokenMgrError
-
Replaces unprintable characters by their espaced (or unicode escaped)
equivalents in the given string
- addInstance(XEvent, int) - Method in class org.processmining.plugins.ltlchecker.ConceptModel
-
Add ATE elements as instances to this concept and annotate the ATE with
this concept.
- addInstance(XTrace) - Method in class org.processmining.plugins.ltlchecker.ConceptModel
-
- addInstance(Process) - Method in class org.processmining.plugins.ltlchecker.ConceptModel
-
- addInstance(InfoItem) - Method in class org.processmining.plugins.ltlchecker.ConceptModel
-
- addInstance(DataSection, String) - Method in class org.processmining.plugins.ltlchecker.ConceptModel
-
- addInstance(String) - Method in class org.processmining.plugins.ltlchecker.ConceptModel
-
- addRole(Role) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.User
-
addRole
- addSuperConcept(ConceptModel) - Method in class org.processmining.plugins.ltlchecker.ConceptModel
-
- adjustBeginLineColumn(int, int) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
Method to adjust line and column numbers for the start of a token.
- Administrator - Class in org.processmining.plugins.ltlchecker.declare2ltl
-
Title: DECLARE
- ALWAYS - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
- AlwaysNode - Class in org.processmining.plugins.ltlchecker.formulatree
-
AlwaysNode is a node class of the formula tree denoting the always operator.
- AlwaysNode() - Constructor for class org.processmining.plugins.ltlchecker.formulatree.AlwaysNode
-
- analyse(UIPluginContext, DeclareMap) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.Declare2ltl
-
- analyse(UIPluginContext, DeclareMap, DeclareMap) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.MapsComparator
-
- analyse(UIPluginContext, XLog, LTLModel) - Method in class org.processmining.plugins.ltlchecker.LTLChecker
-
- analyse(UIPluginContext, XLog) - Method in class org.processmining.plugins.ltlchecker.LTLChecker
-
- AND - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
- AndNode - Class in org.processmining.plugins.ltlchecker.formulatree
-
AndNode is a node class of the formula tree denoting the and operator.
- AndNode() - Constructor for class org.processmining.plugins.ltlchecker.formulatree.AndNode
-
- arg(List<FormulaParameter>) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
-
- argList() - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
-
- ARGUMENT - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
- asParseableArgument() - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
-
- asParseableAttributeDefinition() - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
-
- asParseableDefaultValue() - Method in class org.processmining.plugins.ltlchecker.formulatree.DateValueNode
-
- asParseableDefaultValue() - Method in class org.processmining.plugins.ltlchecker.formulatree.NumberValueNode
-
- asParseableDefaultValue() - Method in class org.processmining.plugins.ltlchecker.formulatree.SetValueNode
-
- asParseableDefaultValue() - Method in class org.processmining.plugins.ltlchecker.formulatree.StringValueNode
-
- asParseableDefaultValue() - Method in class org.processmining.plugins.ltlchecker.formulatree.ValueNode
-
- asParseableLiteralValue() - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
-
- asParseableName() - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
-
- asParseableRenaming() - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
-
- asParseableString() - Method in class org.processmining.plugins.ltlchecker.parser.ASTargList
-
- asParseableString() - Method in class org.processmining.plugins.ltlchecker.parser.ASTBinaryProposition
-
- asParseableString() - Method in class org.processmining.plugins.ltlchecker.parser.ASTComparison
-
- asParseableString() - Method in class org.processmining.plugins.ltlchecker.parser.ASTExpr
-
- asParseableString() - Method in class org.processmining.plugins.ltlchecker.parser.ASTFormulaCall
-
- asParseableString(List<FormulaParameter>, int) - Method in class org.processmining.plugins.ltlchecker.parser.ASTformulaDefinition
-
- asParseableString() - Method in class org.processmining.plugins.ltlchecker.parser.ASTProposition
-
- asParseableString() - Method in class org.processmining.plugins.ltlchecker.parser.ASTQuantification
-
- asParseableString() - Method in class org.processmining.plugins.ltlchecker.parser.ASTUnaryProposition
-
- asParseableString() - Method in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
- asParseableString(List<FormulaParameter>, int) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
- asParseableValue() - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
-
- ASSIGN - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
-
- ASTarg - Class in org.processmining.plugins.ltlchecker.parser
-
- ASTarg(int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTarg
-
- ASTarg(LTLParser, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTarg
-
- ASTargList - Class in org.processmining.plugins.ltlchecker.parser
-
- ASTargList(int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTargList
-
- ASTargList(LTLParser, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTargList
-
- ASTAttribute - Class in org.processmining.plugins.ltlchecker.parser
-
- ASTAttribute(int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTAttribute
-
- ASTAttribute(LTLParser, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTAttribute
-
- ASTattributeDefinition - Class in org.processmining.plugins.ltlchecker.parser
-
- ASTattributeDefinition(int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTattributeDefinition
-
- ASTattributeDefinition(LTLParser, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTattributeDefinition
-
- ASTBinaryProposition - Class in org.processmining.plugins.ltlchecker.parser
-
- ASTBinaryProposition(int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTBinaryProposition
-
- ASTBinaryProposition(LTLParser, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTBinaryProposition
-
- ASTComparison - Class in org.processmining.plugins.ltlchecker.parser
-
- ASTComparison(int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTComparison
-
- ASTComparison(LTLParser, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTComparison
-
- ASTconceptSet - Class in org.processmining.plugins.ltlchecker.parser
-
- ASTconceptSet(int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTconceptSet
-
- ASTconceptSet(LTLParser, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTconceptSet
-
- ASTDummyVar - Class in org.processmining.plugins.ltlchecker.parser
-
- ASTDummyVar(int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTDummyVar
-
- ASTDummyVar(LTLParser, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTDummyVar
-
- ASTExpr - Class in org.processmining.plugins.ltlchecker.parser
-
- ASTExpr(int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTExpr
-
- ASTExpr(LTLParser, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTExpr
-
- ASTFormulaCall - Class in org.processmining.plugins.ltlchecker.parser
-
- ASTFormulaCall(int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTFormulaCall
-
- ASTFormulaCall(LTLParser, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTFormulaCall
-
- ASTformulaDefinition - Class in org.processmining.plugins.ltlchecker.parser
-
- ASTformulaDefinition(int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTformulaDefinition
-
- ASTformulaDefinition(LTLParser, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTformulaDefinition
-
- ASTLiteral - Class in org.processmining.plugins.ltlchecker.parser
-
- ASTLiteral(int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTLiteral
-
- ASTLiteral(LTLParser, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTLiteral
-
- ASTparse - Class in org.processmining.plugins.ltlchecker.parser
-
- ASTparse(int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTparse
-
- ASTparse(LTLParser, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTparse
-
- ASTProposition - Class in org.processmining.plugins.ltlchecker.parser
-
- ASTProposition(int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTProposition
-
- ASTProposition(LTLParser, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTProposition
-
- ASTQuantification - Class in org.processmining.plugins.ltlchecker.parser
-
- ASTQuantification(int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTQuantification
-
- ASTQuantification(LTLParser, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTQuantification
-
- ASTrenaming - Class in org.processmining.plugins.ltlchecker.parser
-
- ASTrenaming(int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTrenaming
-
- ASTrenaming(LTLParser, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTrenaming
-
- ASTStringList - Class in org.processmining.plugins.ltlchecker.parser
-
- ASTStringList(int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTStringList
-
- ASTStringList(LTLParser, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTStringList
-
- ASTUnaryProposition - Class in org.processmining.plugins.ltlchecker.parser
-
- ASTUnaryProposition(int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTUnaryProposition
-
- ASTUnaryProposition(LTLParser, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTUnaryProposition
-
- ASTValueAttribute - Class in org.processmining.plugins.ltlchecker.parser
-
- ASTValueAttribute(int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTValueAttribute
-
- ASTValueAttribute(LTLParser, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTValueAttribute
-
- ASTValues - Class in org.processmining.plugins.ltlchecker.parser
-
- ASTValues(int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTValues
-
- ASTValues(LTLParser, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.ASTValues
-
- ATE - Static variable in class org.processmining.plugins.ltlchecker.parser.Attribute
-
- ATEID - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
-
- ateList - Variable in class org.processmining.plugins.ltlchecker.XTraceListModel
-
- ATOM - Static variable in class org.processmining.plugins.ltlchecker.Symbols
-
- ATSIGN - Static variable in class org.processmining.plugins.ltlchecker.Symbols
-
- Attribute - Class in org.processmining.plugins.ltlchecker.parser
-
Attribute is an class containing an defined attribute, that is, its
identifier and its scope (that is, is it an attribute of an process instance
or of an audit trail entry).
- Attribute(String, int, int, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.Attribute
-
- Attribute(String, int, Attribute) - Constructor for class org.processmining.plugins.ltlchecker.parser.Attribute
-
- ATTRIBUTE - Static variable in class org.processmining.plugins.ltlchecker.parser.Attribute
-
Kind of definition
- ATTRIBUTE - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
- attribute - Variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
An attribute associated with the node.
- attributeDefinition() - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
-
- attributeId(ArrayList) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
-
- AttributeNoValueException - Exception in org.processmining.plugins.ltlchecker.parser
-
AttributeNoValueException is generated when a attribute does not exists in a
process instance or audit trail entry.
- AttributeNoValueException(XTrace, int, Attribute) - Constructor for exception org.processmining.plugins.ltlchecker.parser.AttributeNoValueException
-
- AttributeSet - Class in org.processmining.plugins.ltlchecker.parser
-
- AttributeSet() - Constructor for class org.processmining.plugins.ltlchecker.parser.AttributeSet
-
- attributesList - Variable in class org.processmining.plugins.ltlchecker.ProMColorUI
-
- GE - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
-
- generate(AssignmentModel) - Static method in class org.processmining.plugins.ltlchecker.declare2ltl.LTLGenerator
-
- generate(String, AssignmentModel) - Static method in class org.processmining.plugins.ltlchecker.declare2ltl.LTLGenerator
-
- generateParseException() - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
-
- get(Object) - Method in class org.processmining.plugins.ltlchecker.DataSection
-
- get(String) - Method in class org.processmining.plugins.ltlchecker.parser.AttributeSet
-
Get an attribute given an identifier
- get() - Method in class org.processmining.plugins.ltlchecker.SwingWorker
-
Return the value created by the construct
method.
- get(String) - Method in class org.processmining.plugins.ltlchecker.util.Substitutes
-
Get the value of an id.
- get_from_real() - Method in class org.processmining.plugins.ltlchecker.virtual_parse_stack
-
Transfer an element from the real to the virtual stack.
- getActivity() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.Event
-
getJob
- getAll() - Method in class org.processmining.plugins.ltlchecker.util.Substitutes
-
- getAllConcepts() - Method in class org.processmining.plugins.ltlchecker.OntologyModel
-
Returns a list of all concepts which are directly referenced in the log,
or which are superconcepts of any concept which is directly referenced in
the log.
- getAllDirectSubConcepts(ConceptModel) - Method in class org.processmining.plugins.ltlchecker.OntologyModel
-
Returns a collection of all direct subconcepts, including concepts which
are not directly referenced in the log.
- getAllDirectSuperConcepts(ConceptModel) - Method in class org.processmining.plugins.ltlchecker.OntologyModel
-
Returns a collection of all direct superconcepts, including concepts
which are not directly referenced in the log.
- getAttribute() - Method in class org.processmining.plugins.ltlchecker.parser.ASTComparison
-
- getAttribute() - Method in class org.processmining.plugins.ltlchecker.parser.ASTExpr
-
- getAttribute(String) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
-
Get the attribute linked with id.
- getAttribute() - Method in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
- getAttributeId() - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
-
Get the attribute of this definition, if it is an attribute definitoni
itself, return null.
- getAttributes() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.Event
-
- getAttributes() - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
-
Get the list with attributes.
- getBadInstances() - Method in class org.processmining.plugins.ltlchecker.CheckResultObject
-
- getBadRules() - Method in class org.processmining.plugins.ltlchecker.CheckResultObject
-
- getBeginColumn() - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
- getBeginLine() - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
- getBinder() - Method in class org.processmining.plugins.ltlchecker.formulatree.ValueNode
-
Get the binder of this value.
- getChild() - Method in class org.processmining.plugins.ltlchecker.formulatree.UnaryNode
-
- getColumn() - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
Deprecated.
- getColumnClass(int) - Method in class org.processmining.plugins.ltlchecker.CheckResultModel
-
- getColumnCount() - Method in class org.processmining.plugins.ltlchecker.CheckResultModel
-
- getColumnCount() - Method in class org.processmining.plugins.ltlchecker.util.ParamData
-
- getColumnName(int) - Method in class org.processmining.plugins.ltlchecker.CheckResultModel
-
- getColumnName(int) - Method in class org.processmining.plugins.ltlchecker.util.ParamData
-
- getConceptPart(String) - Static method in class org.processmining.plugins.ltlchecker.OntologyModel
-
Returns the part of the URI after the "#" character.
- getConcepts() - Method in class org.processmining.plugins.ltlchecker.OntologyModel
-
Returns a list of all concepts which are directly referenced in the log.
- getConceptURIInLog(ConceptModel) - Method in class org.processmining.plugins.ltlchecker.OntologyModel
-
Returns the model reference of the given concept as it is used in the
log.
- getCoverage() - Method in class org.processmining.plugins.ltlchecker.RuleModel
-
- getCrObj() - Method in class org.processmining.plugins.ltlchecker.LTLVerificationResult
-
- getData() - Method in class org.processmining.plugins.ltlchecker.InfoItem
-
- getDateParser() - Method in class org.processmining.plugins.ltlchecker.parser.ASTLiteral
-
- getDateParser() - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
-
Get the dateparser of this attribute, that is, it must be an date to have
one.
- getDay() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.PrettyTime
-
- getDefaultValue() - Method in class org.processmining.plugins.ltlchecker.parser.FormulaParameter
-
- getDescription() - Method in class org.processmining.plugins.ltlchecker.InfoItem
-
- getDescription() - Method in class org.processmining.plugins.ltlchecker.parser.ASTformulaDefinition
-
- getDirectSubConcepts(ConceptModel) - Method in class org.processmining.plugins.ltlchecker.OntologyModel
-
Returns a collection of the direct subconcepts which are directly
referenced in the log.
- getDirectSuperConcepts(ConceptModel) - Method in class org.processmining.plugins.ltlchecker.OntologyModel
-
Returns a collection of the direct superconcepts which are directly
referenced in the log.
- getDummy() - Method in class org.processmining.plugins.ltlchecker.parser.ASTQuantification
-
- getElementAt(int) - Method in class org.processmining.plugins.ltlchecker.CellModel
-
- getElementAt(int) - Method in class org.processmining.plugins.ltlchecker.CheckListModel
-
- getElementAt(int) - Method in class org.processmining.plugins.ltlchecker.XTraceListModel
-
- getEndColumn() - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
- getEndLine() - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
- getFailurePlace() - Method in class org.processmining.plugins.ltlchecker.CheckResultObject
-
- getFailureType() - Method in class org.processmining.plugins.ltlchecker.CheckResultObject
-
- getFile() - Method in class org.processmining.plugins.ltlchecker.model.LTLModel
-
- getFileFilter() - Method in class org.processmining.plugins.ltlchecker.importing.LTLModelImportPlugin
-
- getFilename() - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
-
- getFormula() - Method in class org.processmining.plugins.ltlchecker.formulatree.RootNode
-
- getFormula(String) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
-
Get the formula linked with id.
- getHealthDegree() - Method in class org.processmining.plugins.ltlchecker.InstanceModel
-
- getHour() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.PrettyTime
-
- GetImage() - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
- getInstance() - Method in class org.processmining.plugins.ltlchecker.CheckResultCell
-
- getInstance() - Method in class org.processmining.plugins.ltlchecker.InstanceModel
-
- getInstances() - Method in class org.processmining.plugins.ltlchecker.CheckResultObject
-
- getInstances() - Method in class org.processmining.plugins.ltlchecker.ConceptModel
-
- getKind() - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
-
Get the kind of this attributedefinition.
- getLabel() - Method in class org.processmining.plugins.ltlchecker.Cell
-
- getLeftChild() - Method in class org.processmining.plugins.ltlchecker.formulatree.BinaryNode
-
- getLine() - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
Deprecated.
- getListCellRendererComponent(JList, Object, int, boolean, boolean) - Method in class org.processmining.plugins.ltlchecker.EventCellRendererChecked
-
- getListCellRendererComponent(JList, Object, int, boolean, boolean) - Method in class org.processmining.plugins.ltlchecker.EventCellRendererLC
-
- getListCellRendererComponent(JList, Object, int, boolean, boolean) - Method in class org.processmining.plugins.ltlchecker.InstancesCellRenderer
-
- getListCellRendererComponent(JList, Object, int, boolean, boolean) - Method in class org.processmining.plugins.ltlchecker.ListRenderer
-
- getListCellRendererComponent(JList, Object, int, boolean, boolean) - Method in class org.processmining.plugins.ltlchecker.RulesCellRenderer
-
- getListCellRendererComponent(JList, Object, int, boolean, boolean) - Method in class org.processmining.plugins.ltlchecker.RulesInstancesCellRenderer
-
- getLtl() - Method in class org.processmining.plugins.ltlchecker.CheckResultCell
-
- getLtlRule() - Method in class org.processmining.plugins.ltlchecker.RuleModel
-
- getMatrix() - Method in class org.processmining.plugins.ltlchecker.CheckResultObject
-
- getMaximum() - Method in class org.processmining.plugins.ltlchecker.Progress
-
Retrieves the current maximum range value of this progress bar.
- getMessage() - Method in exception org.processmining.plugins.ltlchecker.parser.ParseException
-
This method has the standard behavior when this object has been created
using the standard constructors.
- getMessage() - Method in error org.processmining.plugins.ltlchecker.parser.TokenMgrError
-
You can also modify the body of this method to customize your error
messages.
- getMiliSecond() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.PrettyTime
-
- getMinute() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.PrettyTime
-
- getModelReferences() - Method in class org.processmining.plugins.ltlchecker.DataAttribute
-
- getModelReferences(String) - Method in class org.processmining.plugins.ltlchecker.DataSection
-
- getModelReferences() - Method in class org.processmining.plugins.ltlchecker.InfoItem
-
- getModelReferences() - Method in class org.processmining.plugins.ltlchecker.parser.ConceptSetAttribute
-
- getModelReferences() - Method in class org.processmining.plugins.ltlchecker.util.SetsSetItem
-
- getModelReferencesInLog() - Method in class org.processmining.plugins.ltlchecker.formulatree.SetValueNode
-
- getModelReferencesInOntology() - Method in class org.processmining.plugins.ltlchecker.formulatree.SetValueNode
-
- getMonth() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.PrettyTime
-
- getName() - Method in class org.processmining.plugins.ltlchecker.ConceptModel
-
- getName() - Method in class org.processmining.plugins.ltlchecker.DataAttribute
-
- getName() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.Role
-
- getName() - Method in class org.processmining.plugins.ltlchecker.InfoItem
-
- getName() - Method in class org.processmining.plugins.ltlchecker.OntologyModel
-
Returns the full URI of the ontology.
- getName() - Method in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
Gets the name of this node.
- getName() - Method in class org.processmining.plugins.ltlchecker.ProvidedObject
-
- getName() - Method in class org.processmining.plugins.ltlchecker.util.SetsSetItem
-
- getNextToken() - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
-
- getNextToken() - Method in class org.processmining.plugins.ltlchecker.parser.LTLParserTokenManager
-
- getNote() - Method in class org.processmining.plugins.ltlchecker.Progress
-
- getNr() - Method in class org.processmining.plugins.ltlchecker.formulatree.TreeNode
-
- getNumberInLog() - Method in class org.processmining.plugins.ltlchecker.CheckResult
-
Get the number of this process instance in the log.
- getNumberSimilarProcessInstances(XTrace) - Static method in class org.processmining.plugins.ltlchecker.MethodsForWorkflowLogDataStructures
-
- getObjects() - Method in class org.processmining.plugins.ltlchecker.ProvidedObject
-
- getOntologies() - Method in class org.processmining.plugins.ltlchecker.OntologyCollection
-
- getOntology() - Method in class org.processmining.plugins.ltlchecker.ConceptModel
-
- getOntologyPart(String) - Static method in class org.processmining.plugins.ltlchecker.OntologyModel
-
Returns the part of the URI before the "#" character.
- getOperator() - Method in class org.processmining.plugins.ltlchecker.formulatree.AlwaysNode
-
- getOperator() - Method in class org.processmining.plugins.ltlchecker.formulatree.AndNode
-
- getOperator() - Method in class org.processmining.plugins.ltlchecker.formulatree.BiimpliesNode
-
- getOperator() - Method in class org.processmining.plugins.ltlchecker.formulatree.BinaryNode
-
- getOperator() - Method in class org.processmining.plugins.ltlchecker.formulatree.EventuallyNode
-
- getOperator() - Method in class org.processmining.plugins.ltlchecker.formulatree.ExistsNode
-
- getOperator() - Method in class org.processmining.plugins.ltlchecker.formulatree.ForallNode
-
- getOperator() - Method in class org.processmining.plugins.ltlchecker.formulatree.ImpliesNode
-
- getOperator() - Method in class org.processmining.plugins.ltlchecker.formulatree.NexttimeNode
-
- getOperator() - Method in class org.processmining.plugins.ltlchecker.formulatree.NotNode
-
- getOperator() - Method in class org.processmining.plugins.ltlchecker.formulatree.OrNode
-
- getOperator() - Method in class org.processmining.plugins.ltlchecker.formulatree.QuantorNode
-
- getOperator() - Method in class org.processmining.plugins.ltlchecker.formulatree.UnaryNode
-
- getOperator() - Method in class org.processmining.plugins.ltlchecker.formulatree.UntilNode
-
- getParam() - Method in class org.processmining.plugins.ltlchecker.parser.FormulaParameter
-
- getParameters(String) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
-
Get the parameters linked with id.
- getParamPaneHeight() - Method in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
-
- getPassword() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.User
-
- getProcessInstance(XLog) - Method in class org.processmining.plugins.ltlchecker.CheckResult
-
Get the process instance, given a log.
- getProposition() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.Event
-
getProposition
- getProvidedObjects() - Method in interface org.processmining.plugins.ltlchecker.Provider
-
- getRightChild() - Method in class org.processmining.plugins.ltlchecker.formulatree.BinaryNode
-
- getRoles() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.User
-
- getRoleWithId(int) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.User
-
- getRowCount() - Method in class org.processmining.plugins.ltlchecker.CheckResultModel
-
- getRowCount() - Method in class org.processmining.plugins.ltlchecker.util.ParamData
-
- getRule() - Method in class org.processmining.plugins.ltlchecker.CheckResultCell
-
- getRuleName() - Method in class org.processmining.plugins.ltlchecker.RuleModel
-
- getRules() - Method in class org.processmining.plugins.ltlchecker.CheckResultObject
-
- getScope() - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
-
Get the scope of this attribute.
- getSecond() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.PrettyTime
-
- getSet() - Method in class org.processmining.plugins.ltlchecker.formulatree.SetValueNode
-
- getSet(String, int) - Method in class org.processmining.plugins.ltlchecker.util.SetsSet
-
Get an set given the name and the scope of the set.
- getSettings() - Method in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
-
- getShortName() - Method in class org.processmining.plugins.ltlchecker.ConceptModel
-
- getShortName() - Method in class org.processmining.plugins.ltlchecker.OntologyModel
-
Returns the name of the ontology without the full URI path.
- getSize() - Method in class org.processmining.plugins.ltlchecker.CellModel
-
- getSize() - Method in class org.processmining.plugins.ltlchecker.CheckListModel
-
- getSize() - Method in class org.processmining.plugins.ltlchecker.XTraceListModel
-
- getStrings() - Method in class org.processmining.plugins.ltlchecker.parser.ASTComparison
-
- getStrings() - Method in class org.processmining.plugins.ltlchecker.parser.ASTStringList
-
- getSubConcepts(ConceptModel) - Method in class org.processmining.plugins.ltlchecker.OntologyModel
-
Returns a collection of all subconcepts of a given concept.
- getSubstitutes(LTLParser) - Method in class org.processmining.plugins.ltlchecker.util.ParamData
-
The parameters of this table are used as values for the selected formula.
- getSubstitutes(LTLParser) - Method in class org.processmining.plugins.ltlchecker.util.ParamTable
-
- GetSuffix(int) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
- getSuperConcepts(ConceptModel) - Method in class org.processmining.plugins.ltlchecker.OntologyModel
-
Returns a collection of all superconcepts of a given concept.
- getTable() - Method in class org.processmining.plugins.ltlchecker.util.ParamTable
-
- getTabSize(int) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
- getTime() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.Event
-
- getTimeInMillis() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.PrettyTime
-
- getToken(int) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
-
- getTpInstances() - Method in class org.processmining.plugins.ltlchecker.LTLVerificationResult
-
- getTpRules() - Method in class org.processmining.plugins.ltlchecker.LTLVerificationResult
-
- getType() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.Event
-
- getType(Event) - Static method in class org.processmining.plugins.ltlchecker.declare2ltl.ProM
-
- getType() - Method in class org.processmining.plugins.ltlchecker.formulatree.SetValueNode
-
- getType() - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
-
Get the type of this attribute.
- getType() - Method in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
Gets the type of this node.
- getUriInLog() - Method in class org.processmining.plugins.ltlchecker.OntologyModel
-
Returns the URI of the file in which the ontology is stored (can be a
file or an http URL for example).
- getUser() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.Event
-
- getUserName() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.User
-
- getValue() - Method in class org.processmining.plugins.ltlchecker.DataAttribute
-
- getValue() - Method in class org.processmining.plugins.ltlchecker.formulatree.SetValueNode
-
- getValue() - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
-
Get the value of this attribute.
- getValue() - Method in class org.processmining.plugins.ltlchecker.SwingWorker
-
Get the value produced by the worker thread, or null if it hasn't been
constructed yet.
- getValueAt(int, int) - Method in class org.processmining.plugins.ltlchecker.CheckResultModel
-
- getValueAt(int, int) - Method in class org.processmining.plugins.ltlchecker.util.ParamData
-
- getValues() - Method in class org.processmining.plugins.ltlchecker.parser.ASTFormulaCall
-
- getVisibleFormulaNames() - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
-
Get the names of the visible formulae, that is of all formula.
- getYear() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.PrettyTime
-
- good - Variable in class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
-
- GRAPH - Static variable in class org.processmining.plugins.ltlchecker.Symbols
-
- GT - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
-
- PAND - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
-
- ParamData - Class in org.processmining.plugins.ltlchecker.util
-
ParamData is an implementation of the TableModel
class to be used as
model for the tabel for filling the parameters of a template ltl formula.
- ParamData(List<FormulaParameter>) - Constructor for class org.processmining.plugins.ltlchecker.util.ParamData
-
- paramTable - Variable in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
-
A table for valuate the parameters.
- ParamTable - Class in org.processmining.plugins.ltlchecker.util
-
- ParamTable() - Constructor for class org.processmining.plugins.ltlchecker.util.ParamTable
-
- parent - Variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
- parse(ConstraintDefinition) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.ConstraintParser
-
- parse(String) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.PrettyTime
-
- parse() - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
-
The grammar of the LTL language is defined below as production rules
decorated with some context checking in java.
- parse_state - Variable in class org.processmining.plugins.ltlchecker.Symbol
-
The parse state to be recorded on the parse stack with this symbol.
- ParseAttributeException - Exception in org.processmining.plugins.ltlchecker.parser
-
ParseAttributeException is generated when a string value of an attribute is
parsed to the type of the attribute and there is going something wrong with
the parsing.
- ParseAttributeException(String, Attribute) - Constructor for exception org.processmining.plugins.ltlchecker.parser.ParseAttributeException
-
- ParseException - Exception in org.processmining.plugins.ltlchecker.parser
-
This exception is thrown when parse errors are encountered.
- ParseException(Token, int[][], String[]) - Constructor for exception org.processmining.plugins.ltlchecker.parser.ParseException
-
This constructor is used by the method "generateParseException" in the
generated parser.
- ParseException() - Constructor for exception org.processmining.plugins.ltlchecker.parser.ParseException
-
The following constructors are for use by you for whatever purpose you
can think of.
- ParseException(String) - Constructor for exception org.processmining.plugins.ltlchecker.parser.ParseException
-
- parseFile(String) - Static method in class org.processmining.plugins.ltlchecker.parser.LTLParser
-
- parseFile(String, boolean) - Static method in class org.processmining.plugins.ltlchecker.parser.LTLParser
-
- parser - Variable in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
-
Parser with parsedata.
- parser - Variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
- PBIIMPLIES - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
-
- PI - Static variable in class org.processmining.plugins.ltlchecker.parser.Attribute
-
Scope is denoted by an integer constant.
- PIID - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
-
- PIMPLIES - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
-
- PLUS - Static variable in class org.processmining.plugins.ltlchecker.formulatree.NumberValueNode
-
Plus operator
- PLUS - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
-
- PLUS - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
- PNOT - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
-
- pop() - Method in class org.processmining.plugins.ltlchecker.virtual_parse_stack
-
Pop the stack.
- POR - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
-
- possibleEvents(Activity) - Static method in class org.processmining.plugins.ltlchecker.declare2ltl.Event
-
- prettyPrint(String) - Method in class org.processmining.plugins.ltlchecker.parser.ASTformulaDefinition
-
- PrettyTime - Class in org.processmining.plugins.ltlchecker.declare2ltl
-
- PrettyTime(long) - Constructor for class org.processmining.plugins.ltlchecker.declare2ltl.PrettyTime
-
- PrettyTime() - Constructor for class org.processmining.plugins.ltlchecker.declare2ltl.PrettyTime
-
- prevCharIsCR - Variable in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
- prevCharIsLF - Variable in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
- Progress - Class in org.processmining.plugins.ltlchecker
-
Realizes a progress bar (showing the status of some operation).
- Progress(String) - Constructor for class org.processmining.plugins.ltlchecker.Progress
-
Creates a progress bar with the given caption and a default range from 0
to 100.
- Progress(int, int) - Constructor for class org.processmining.plugins.ltlchecker.Progress
-
Creates a progress bar with the given minimum and maximum range and an
empty default caption.
- Progress(String, int, int) - Constructor for class org.processmining.plugins.ltlchecker.Progress
-
Creates a progress bar with given caption, minimum and maximum range.
- Progress(JComponent, String, int, int) - Constructor for class org.processmining.plugins.ltlchecker.Progress
-
- Progress() - Constructor for class org.processmining.plugins.ltlchecker.Progress
-
Creates an empty progress bar (non-initialized).
- progress - Variable in class org.processmining.plugins.ltlchecker.Progress
-
- ProgressSample - Class in org.processmining.plugins.ltlchecker
-
- ProgressSample() - Constructor for class org.processmining.plugins.ltlchecker.ProgressSample
-
- ProM - Class in org.processmining.plugins.ltlchecker.declare2ltl
-
- ProM() - Constructor for class org.processmining.plugins.ltlchecker.declare2ltl.ProM
-
- ProMColorUI - Class in org.processmining.plugins.ltlchecker
-
- ProMColorUI() - Constructor for class org.processmining.plugins.ltlchecker.ProMColorUI
-
- PROPOSITION - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
- props(ArrayList, String) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
-
- ProvidedObject - Class in org.processmining.plugins.ltlchecker
-
- ProvidedObject(String, Object[]) - Constructor for class org.processmining.plugins.ltlchecker.ProvidedObject
-
- ProvidedObject(String, Object) - Constructor for class org.processmining.plugins.ltlchecker.ProvidedObject
-
- ProvidedObject() - Constructor for class org.processmining.plugins.ltlchecker.ProvidedObject
-
- Provider - Interface in org.processmining.plugins.ltlchecker
-
- push(int) - Method in class org.processmining.plugins.ltlchecker.virtual_parse_stack
-
Push a state number onto the stack.
- put(DataAttribute) - Method in class org.processmining.plugins.ltlchecker.DataSection
-
- put(String, String) - Method in class org.processmining.plugins.ltlchecker.DataSection
-
- putAll(Map<? extends String, ? extends String>) - Method in class org.processmining.plugins.ltlchecker.DataSection
-
- sanitizeName(String) - Static method in class org.processmining.plugins.ltlchecker.ConceptModel
-
- selectAllButton - Variable in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
-
- selected - Variable in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
-
- selectedIndex - Variable in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
-
- selectedRules - Variable in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
-
- selectParamTable - Variable in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
-
- SEMI - Static variable in class org.processmining.plugins.ltlchecker.Symbols
-
- SEMICOLON - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
-
- serialize() - Method in class org.processmining.plugins.ltlchecker.OntologyModel
-
- SET - Static variable in class org.processmining.plugins.ltlchecker.formulatree.SetValueNode
-
It is a set
- SET - Static variable in class org.processmining.plugins.ltlchecker.parser.Attribute
-
- SET - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
- setActivity(ActivityDefinition) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.Event
-
- setAttribute(DateAttribute) - Method in class org.processmining.plugins.ltlchecker.formulatree.DateCompNode
-
Set the attribute of this node.
- setAttribute(NumberAttribute) - Method in class org.processmining.plugins.ltlchecker.formulatree.NumberCompNode
-
Set the attribute of this node.
- setAttribute(SetAttribute) - Method in class org.processmining.plugins.ltlchecker.formulatree.SetCompNode
-
Set the attribute of this node.
- setAttribute(StringAttribute) - Method in class org.processmining.plugins.ltlchecker.formulatree.StringCompNode
-
Set the attribute of this node.
- setAttribute(Attribute) - Method in class org.processmining.plugins.ltlchecker.parser.ASTComparison
-
- setAttribute(Attribute) - Method in class org.processmining.plugins.ltlchecker.parser.ASTExpr
-
- SetAttribute - Class in org.processmining.plugins.ltlchecker.parser
-
SetAttribute is a specialised
Attribute
class implementing an value
method, used to compute the value of an attribute given the context.
- SetAttribute(String, int, int, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.SetAttribute
-
- SetAttribute(String, int, Attribute) - Constructor for class org.processmining.plugins.ltlchecker.parser.SetAttribute
-
- SetAttribute(String, int, Attribute, List<String>) - Constructor for class org.processmining.plugins.ltlchecker.parser.SetAttribute
-
- setAttribute(Attribute) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
- setBadInstances(int) - Method in class org.processmining.plugins.ltlchecker.CheckResultObject
-
- setBadRules(int) - Method in class org.processmining.plugins.ltlchecker.CheckResultObject
-
- setBinder(TreeNode) - Method in class org.processmining.plugins.ltlchecker.formulatree.ValueNode
-
Set the binder of this vale.
- setBinder(RootNode) - Method in class org.processmining.plugins.ltlchecker.util.Substitutes
-
Set the binding node for user added values so that these parameters are
bounded on the highest level, ther where they are used.
- setChild(FormulaNode) - Method in class org.processmining.plugins.ltlchecker.formulatree.UnaryNode
-
Set the child node with the formula the child is.
- SetCompNode - Class in org.processmining.plugins.ltlchecker.formulatree
-
SetCompNode is a node class of the formula tree denoting comparator operators
for sets: ==, != and in.
- SetCompNode(int) - Constructor for class org.processmining.plugins.ltlchecker.formulatree.SetCompNode
-
- setCorrect(boolean) - Method in class org.processmining.plugins.ltlchecker.InstanceModel
-
- setCoverage(double) - Method in class org.processmining.plugins.ltlchecker.RuleModel
-
- setCrObj(CheckResultObject) - Method in class org.processmining.plugins.ltlchecker.LTLVerificationResult
-
- setCurrentSelected(boolean) - Method in class org.processmining.plugins.ltlchecker.Cell
-
- setCurrentTime() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.PrettyTime
-
- setData(DataSection) - Method in class org.processmining.plugins.ltlchecker.InfoItem
-
Sets the information item's attributes.
- setDateParser(SimpleDateFormat) - Method in class org.processmining.plugins.ltlchecker.parser.ASTLiteral
-
- setDateParser(SimpleDateFormat) - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
-
Set the dateparser in case this attribute is an date.
- setDay(int) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.PrettyTime
-
- setDebugStream(PrintStream) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParserTokenManager
-
- setDefaultValue(String) - Method in class org.processmining.plugins.ltlchecker.parser.FormulaParameter
-
- setDefaultValues(String, Map<String, String>) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
-
- setDescription(String) - Method in class org.processmining.plugins.ltlchecker.InfoItem
-
Sets the information item's description.
- setDescription(String) - Method in class org.processmining.plugins.ltlchecker.parser.ASTformulaDefinition
-
- setDummy(Attribute) - Method in class org.processmining.plugins.ltlchecker.parser.ASTQuantification
-
- setFailurePlace(Vector[][]) - Method in class org.processmining.plugins.ltlchecker.CheckResultObject
-
- setFailureType(Vector[][]) - Method in class org.processmining.plugins.ltlchecker.CheckResultObject
-
- setFile(String) - Method in class org.processmining.plugins.ltlchecker.model.LTLModel
-
- setFilename(String) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
-
- setFormula(FormulaNode) - Method in class org.processmining.plugins.ltlchecker.formulatree.RootNode
-
- setHealthDegree(double) - Method in class org.processmining.plugins.ltlchecker.InstanceModel
-
- setHour(int) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.PrettyTime
-
- setInstance(XTrace) - Method in class org.processmining.plugins.ltlchecker.CheckResultCell
-
- setInstance(XTrace) - Method in class org.processmining.plugins.ltlchecker.InstanceModel
-
- setInstances(InstanceModel[]) - Method in class org.processmining.plugins.ltlchecker.CheckResultObject
-
- setLabel(String) - Method in class org.processmining.plugins.ltlchecker.Cell
-
- setLabels(UIPluginContext, XLog) - Static method in class org.processmining.plugins.ltlchecker.LTLChecker
-
- setLeftChild(FormulaNode) - Method in class org.processmining.plugins.ltlchecker.formulatree.BinaryNode
-
Set the left child node with the formula the child is.
- setLeftChild(NumberValueNode) - Method in class org.processmining.plugins.ltlchecker.formulatree.NumberValueNode
-
Set the left child.
- setLtl(String) - Method in class org.processmining.plugins.ltlchecker.CheckResultCell
-
- setLtlRule(String) - Method in class org.processmining.plugins.ltlchecker.RuleModel
-
- setMatrix(boolean[][]) - Method in class org.processmining.plugins.ltlchecker.CheckResultObject
-
- setMaximum(int) - Method in class org.processmining.plugins.ltlchecker.Progress
-
Sets the maximum range value of the progress bar ('to' value).
- setMilisecond(int) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.PrettyTime
-
- setMinimum(int) - Method in class org.processmining.plugins.ltlchecker.Progress
-
Sets the minimum range value of the progress bar ('from' value)
- setMinMax(int, int) - Method in class org.processmining.plugins.ltlchecker.Progress
-
Sets both the minimum and maximum range value of the progress bar ('from'
and 'to' values).
- setMinute(int) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.PrettyTime
-
- setModel(ParamData) - Method in class org.processmining.plugins.ltlchecker.util.ParamTable
-
- setModelReferences(List<String>) - Method in class org.processmining.plugins.ltlchecker.DataAttribute
-
- setModelReferences(String, List<String>) - Method in class org.processmining.plugins.ltlchecker.DataSection
-
- setModelReferences(List<String>) - Method in class org.processmining.plugins.ltlchecker.InfoItem
-
Sets the information item's list of model references.
- setModelReferenceSet(List<String>) - Method in class org.processmining.plugins.ltlchecker.formulatree.SetValueNode
-
- setMonth(int) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.PrettyTime
-
- setName(String) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.Role
-
- setName(String) - Method in class org.processmining.plugins.ltlchecker.InfoItem
-
Sets the information item's name.
- setName(String) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
Sets the name of this node.
- setName(Token) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
Sets the name of this node.
- setName(String) - Method in class org.processmining.plugins.ltlchecker.ProvidedObject
-
- setNote(String) - Method in class org.processmining.plugins.ltlchecker.Progress
-
Sets the text to be displayed in the progress dialog.
- setPassword(String) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.User
-
- setProgress(int) - Method in class org.processmining.plugins.ltlchecker.Progress
-
Sets the progress status to the given value.
- setRightChild(FormulaNode) - Method in class org.processmining.plugins.ltlchecker.formulatree.BinaryNode
-
Set the right child node with the formula the child is.
- setRightChild(NumberValueNode) - Method in class org.processmining.plugins.ltlchecker.formulatree.NumberValueNode
-
Set the right hild.
- setRule(String) - Method in class org.processmining.plugins.ltlchecker.CheckResultCell
-
- setRuleName(String) - Method in class org.processmining.plugins.ltlchecker.RuleModel
-
- setRules(RuleModel[]) - Method in class org.processmining.plugins.ltlchecker.CheckResultObject
-
- sets - Variable in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
-
Sets with the sets.
- setSatisfied(boolean) - Method in class org.processmining.plugins.ltlchecker.RuleModel
-
- setSecond(int) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.PrettyTime
-
- setSelected(boolean) - Method in class org.processmining.plugins.ltlchecker.Cell
-
- setSet(TreeSet) - Method in class org.processmining.plugins.ltlchecker.formulatree.SetValueNode
-
Set the set.
- SetsSet - Class in org.processmining.plugins.ltlchecker.util
-
- SetsSet(LTLParser, XLog) - Constructor for class org.processmining.plugins.ltlchecker.util.SetsSet
-
- SetsSetItem - Class in org.processmining.plugins.ltlchecker.util
-
- SetsSetItem(String) - Constructor for class org.processmining.plugins.ltlchecker.util.SetsSetItem
-
- SetsSetItem(String, List<String>) - Constructor for class org.processmining.plugins.ltlchecker.util.SetsSetItem
-
- SETSTRING - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
- setStrings(TreeSet) - Method in class org.processmining.plugins.ltlchecker.parser.ASTComparison
-
- setStrings(TreeSet) - Method in class org.processmining.plugins.ltlchecker.parser.ASTStringList
-
- setTabSize(int) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
- setTime(PrettyTime) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.PrettyTime
-
- setTimeInMillis(long) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.PrettyTime
-
- setTpInstances(SlickerTabbedPane) - Method in class org.processmining.plugins.ltlchecker.LTLVerificationResult
-
- setTpRules(SlickerTabbedPane) - Method in class org.processmining.plugins.ltlchecker.LTLVerificationResult
-
- setTruthValue(boolean) - Method in class org.processmining.plugins.ltlchecker.CheckResultCell
-
- setType(int) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
Sets the type of this node.
- setUser(User) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.Event
-
- setUserName(String) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.User
-
- setValue(String) - Method in class org.processmining.plugins.ltlchecker.DataAttribute
-
- setValue(DateValueNode) - Method in class org.processmining.plugins.ltlchecker.formulatree.DateCompNode
-
Set the righthand side value of this node.
- setValue(DateAttribute) - Method in class org.processmining.plugins.ltlchecker.formulatree.DateValueNode
-
Set the value.
- setValue(NumberValueNode) - Method in class org.processmining.plugins.ltlchecker.formulatree.NumberCompNode
-
Set the righthand side value of this node.
- setValue(NumberAttribute) - Method in class org.processmining.plugins.ltlchecker.formulatree.NumberValueNode
-
Set the Value.
- setValue(SetValueNode) - Method in class org.processmining.plugins.ltlchecker.formulatree.SetCompNode
-
Set the righthand side value of this node.
- setValue(SetAttribute) - Method in class org.processmining.plugins.ltlchecker.formulatree.SetValueNode
-
Set the value.
- setValue(StringValueNode) - Method in class org.processmining.plugins.ltlchecker.formulatree.StringCompNode
-
Set the righthand side value of this node.
- setValue(StringAttribute) - Method in class org.processmining.plugins.ltlchecker.formulatree.StringValueNode
-
Set the value.
- setValueAt(Object, int, int) - Method in class org.processmining.plugins.ltlchecker.util.ParamData
-
- SetValueNode - Class in org.processmining.plugins.ltlchecker.formulatree
-
SetValueNode is a representation of a set literal, attribute or set.
- SetValueNode(int) - Constructor for class org.processmining.plugins.ltlchecker.formulatree.SetValueNode
-
- SetValueNode(int, OntologyCollection) - Constructor for class org.processmining.plugins.ltlchecker.formulatree.SetValueNode
-
- setValues(ArrayList) - Method in class org.processmining.plugins.ltlchecker.parser.ASTFormulaCall
-
- setWorkItem(String) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.Event
-
- setYear(int) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.PrettyTime
-
- showLogVis(SlickerTabbedPane, SlickerTabbedPane) - Method in class org.processmining.plugins.ltlchecker.SlickerOpenCheckResults
-
- showSelectedInstanceData() - Method in class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
-
- showSelectedInstanceData() - Method in class org.processmining.plugins.ltlchecker.CheckResultsRuleBrowser
-
- SimpleCharStream - Class in org.processmining.plugins.ltlchecker.parser
-
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 org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
- SimpleCharStream(Reader, int, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
- SimpleCharStream(Reader) - Constructor for class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
- SimpleCharStream(InputStream, String, int, int, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
- SimpleCharStream(InputStream, int, int, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
- SimpleCharStream(InputStream, String, int, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
- SimpleCharStream(InputStream, int, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
- SimpleCharStream(InputStream, String) - Constructor for class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
- SimpleCharStream(InputStream) - Constructor for class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
- SimpleNode - Class in org.processmining.plugins.ltlchecker.parser
-
- SimpleNode(int) - Constructor for class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
- SimpleNode(LTLParser, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
- SimpleParser - Class in org.processmining.plugins.ltlchecker.declare2ltl
-
Title: DECLARE
- SimpleParser() - Constructor for class org.processmining.plugins.ltlchecker.declare2ltl.SimpleParser
-
- SINGLE_LINE_COMMENT - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
-
- singleton() - Static method in class org.processmining.plugins.ltlchecker.declare2ltl.Administrator
-
- size() - Method in class org.processmining.plugins.ltlchecker.DataSection
-
- skipReady - Variable in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
-
Check option: skip checked formulas.
- SLASH - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
-
- sleep(int) - Method in class org.processmining.plugins.ltlchecker.SwingWorker
-
Sleep the worker thread.
- SlickerOpenCheckResults - Class in org.processmining.plugins.ltlchecker
-
- SlickerOpenCheckResults() - Constructor for class org.processmining.plugins.ltlchecker.SlickerOpenCheckResults
-
- specialConstructor - Variable in exception org.processmining.plugins.ltlchecker.parser.ParseException
-
This variable determines which constructor was used to create this object
and thereby affects the semantics of the "getMessage" method (see below).
- specialToken - Variable in class org.processmining.plugins.ltlchecker.parser.Token
-
This field is used to access special tokens that occur prior to this
token, but after the immediately preceding regular (non-special) token.
- standardSetsOnly() - Method in class org.processmining.plugins.ltlchecker.util.SetsSet
-
Are there only standard sets used, that is, WorkFlowModelElement,
Originator and EventType?
- STAR - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
-
- start() - Method in class org.processmining.plugins.ltlchecker.SwingWorker
-
Start the worker thread.
- STARTLETTER - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
-
- staticFlag - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
-
- STRICT - Static variable in class org.processmining.plugins.ltlchecker.Symbols
-
- STRICTDIGRAPH - Static variable in class org.processmining.plugins.ltlchecker.Symbols
-
- STRICTGRAPH - Static variable in class org.processmining.plugins.ltlchecker.Symbols
-
- STRING - Static variable in class org.processmining.plugins.ltlchecker.parser.Attribute
-
- STRING - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
- STRING_LITERAL - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
-
- StringAttribute - Class in org.processmining.plugins.ltlchecker.parser
-
StringAttribute is a specialised
Attribute
class implementing an value
method, used to compute the value of an attribute given the context.
- StringAttribute(String, int, int, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.StringAttribute
-
- StringAttribute(String, int, Attribute) - Constructor for class org.processmining.plugins.ltlchecker.parser.StringAttribute
-
- StringCompNode - Class in org.processmining.plugins.ltlchecker.formulatree
-
StringCompNode is a node class of the formula tree denoting comparator
operators for strings: ==, !=, ~=, <=, >=, < and >.
- StringCompNode(int) - Constructor for class org.processmining.plugins.ltlchecker.formulatree.StringCompNode
-
- stringList() - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
-
- STRINGLIST - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
- StringValueNode - Class in org.processmining.plugins.ltlchecker.formulatree
-
StringValueNode is a representation of a string literal or attribute.
- StringValueNode(int) - Constructor for class org.processmining.plugins.ltlchecker.formulatree.StringValueNode
-
- SUBFORMULA - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
- SUBGRAPH - Static variable in class org.processmining.plugins.ltlchecker.Symbols
-
- Substitutes - Class in org.processmining.plugins.ltlchecker.util
-
Substitutes is a wrapper class for a treemap containing substitutes in local
context.
- Substitutes() - Constructor for class org.processmining.plugins.ltlchecker.util.Substitutes
-
- Substitutes(TreeMap<String, ValueNode>) - Constructor for class org.processmining.plugins.ltlchecker.util.Substitutes
-
- SwingWorker - Class in org.processmining.plugins.ltlchecker
-
This is the 3rd version of SwingWorker (also known as SwingWorker 3), an
abstract class that you subclass to perform GUI-related work in a dedicated
thread.
- SwingWorker() - Constructor for class org.processmining.plugins.ltlchecker.SwingWorker
-
Start a thread that will call the construct
method and then
exit.
- SwitchTo(int) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParserTokenManager
-
- sym - Variable in class org.processmining.plugins.ltlchecker.Symbol
-
The symbol number of the terminal or non terminal being represented
- Symbol - Class in org.processmining.plugins.ltlchecker
-
Defines the Symbol class, which is used to represent all terminals and
nonterminals while parsing.
- Symbol(int, int, int, Object) - Constructor for class org.processmining.plugins.ltlchecker.Symbol
-
Constructor for l,r values
- Symbol(int, Object) - Constructor for class org.processmining.plugins.ltlchecker.Symbol
-
Constructor for no l,r values
- Symbol(int, int, int) - Constructor for class org.processmining.plugins.ltlchecker.Symbol
-
Constructor for no value
- Symbol(int) - Constructor for class org.processmining.plugins.ltlchecker.Symbol
-
Constructor for no value or l,r
- Symbol(int, int) - Constructor for class org.processmining.plugins.ltlchecker.Symbol
-
Constructor to give a start state
- Symbols - Class in org.processmining.plugins.ltlchecker
-
CUP generated class containing symbol constants.
- Symbols() - Constructor for class org.processmining.plugins.ltlchecker.Symbols
-
- valId(Attribute, ArrayList) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
-
- valList(String, ArrayList) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
-
- VALLIST - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
-
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.formulatree.AlwaysNode
-
Compute the value of this node, that is te value of this node given the
i-th ate of pi, computed by calling the value method of the child.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.formulatree.AndNode
-
Compute the value of this node, that is te value of this node given the
i-th ate of pi, computed by calling the value method of the children.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.formulatree.BiimpliesNode
-
Compute the value of this node, that is te value of this node given the
i-th ate of pi, computed by calling the value method of the children.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.formulatree.DateCompNode
-
Compute the value of this node, that is te value of this node given the
i-th ate of pi, computed by calling the value method of the children.
- VALUE - Static variable in class org.processmining.plugins.ltlchecker.formulatree.DateValueNode
-
It is an attribute of this ate.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.formulatree.DateValueNode
-
Compute the value of this node, either getting the string representation
fo the attribute or giving the literal.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.formulatree.EventuallyNode
-
Compute the value of this node, that is te value of this node given the
i-th ate of pi, computed by calling the value method of the child.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.formulatree.ExistsNode
-
Compute the value of this node, that is te value of this node given the
i-th ate of pi, computed by calling the value method of the child.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.formulatree.ForallNode
-
Compute the value of this node, that is te value of this node given the
i-th ate of pi, computed by calling the value method of the child.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.formulatree.FormulaNode
-
Compute the value of this node, that is te value of this node given the
i-th ate of pi, computed by calling the value method of the children.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.formulatree.ImpliesNode
-
Compute the value of this node, that is te value of this node given the
i-th ate of pi, computed by calling the value method of the children.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.formulatree.NexttimeNode
-
Compute the value of this node, that is te value of this node given the
i-th ate of pi, computed by calling the value method of the child.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.formulatree.NotNode
-
Compute the value of this node, that is te value of this node given the
i-th ate of pi, computed by calling the value method of the child.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.formulatree.NumberCompNode
-
Compute the value of this node, that is te value of this node given the
i-th ate of pi, computed by calling the value method of the children.
- VALUE - Static variable in class org.processmining.plugins.ltlchecker.formulatree.NumberValueNode
-
It is an attribute of this ate.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.formulatree.NumberValueNode
-
Compute the value of this node, either getting the string representation
fo the attribute or giving the literal.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.formulatree.OrNode
-
Compute the value of this node, that is te value of this node given the
i-th ate of pi, computed by calling the value method of the children.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.formulatree.RootNode
-
Just return the formula's value.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.formulatree.SetCompNode
-
Compute the value of this node, that is te value of this node given the
i-th ate of pi, computed by calling the value method of the children.
- VALUE - Static variable in class org.processmining.plugins.ltlchecker.formulatree.SetValueNode
-
It is an attribute of this ate.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.formulatree.SetValueNode
-
Compute the value of this node, either getting the string representation
fo the attribute or giving the literal.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.formulatree.StringCompNode
-
Compute the value of this node, that is te value of this node given the
i-th ate of pi, computed by calling the value method of the children.
- VALUE - Static variable in class org.processmining.plugins.ltlchecker.formulatree.StringValueNode
-
It is an attribute of this ate.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.formulatree.StringValueNode
-
Compute the value of this node, either getting the string representation
fo the attribute or giving the literal.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.formulatree.UntilNode
-
Compute the value of this node, that is te value of this node given the
i-th ate of pi, computed by calling the value method of the children.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.parser.ConceptSetAttribute
-
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.parser.DateAttribute
-
The value method.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.parser.NumberAttribute
-
The value method.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.parser.SetAttribute
-
The value method.
- value(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.parser.StringAttribute
-
The value method.
- value - Variable in class org.processmining.plugins.ltlchecker.Symbol
-
- ValueNode - Class in org.processmining.plugins.ltlchecker.formulatree
-
ValueNode is the main class of the hierarchy of value nodes to denote a
value, eiter an number expression or an string literal, a set or a date.
- ValueNode() - Constructor for class org.processmining.plugins.ltlchecker.formulatree.ValueNode
-
- valueOf(String) - Static method in enum org.processmining.plugins.ltlchecker.declare2ltl.Event.Type
-
Returns the enum constant of this type with the specified name.
- values() - Method in class org.processmining.plugins.ltlchecker.DataSection
-
- values() - Static method in enum org.processmining.plugins.ltlchecker.declare2ltl.Event.Type
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- virtual_parse_stack - Class in org.processmining.plugins.ltlchecker
-
This class implements a temporary or "virtual" parse stack that replaces the
top portion of the actual parse stack (the part that has been changed by some
set of operations) while maintaining its original contents.
- virtual_parse_stack(Stack) - Constructor for class org.processmining.plugins.ltlchecker.virtual_parse_stack
-
Constructor to build a virtual stack out of a real stack.
- visualize(PluginContext, JComponent) - Method in class org.processmining.plugins.ltlchecker.CheckVisualizer
-
- visualize(PluginContext, Vector<String>) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.MapsComparatorVisualization
-
- visualize(PluginContext, CheckResultObject) - Method in class org.processmining.plugins.ltlchecker.visualizing.LTLCheckerVisualization
-
- vstack - Variable in class org.processmining.plugins.ltlchecker.virtual_parse_stack
-
The virtual top portion of the stack.