Skip navigation links
A B C D E F G H I J K L M N O P Q R S T U V W X 

A

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 an Attribute to this set.
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
 

B

backup(int) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
BAR - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
beginColumn - Variable in class org.processmining.plugins.ltlchecker.parser.Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
beginLine - Variable in class org.processmining.plugins.ltlchecker.parser.Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
BeginToken() - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
BIGGER - Static variable in class org.processmining.plugins.ltlchecker.formulatree.CompNode
>
BIGGER - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
BIGGEREQUAL - Static variable in class org.processmining.plugins.ltlchecker.formulatree.CompNode
>=
BIGGEROREQUAL - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
BIIMPLIES - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
BiimpliesNode - Class in org.processmining.plugins.ltlchecker.formulatree
BiimpliesNode is a node class of the formula tree denoting the biimplies operator.
BiimpliesNode() - Constructor for class org.processmining.plugins.ltlchecker.formulatree.BiimpliesNode
 
BinaryNode - Class in org.processmining.plugins.ltlchecker.formulatree
BinaryNode is a node class of the formula tree denoting binary logic operators, like and, or, until, etc.
BinaryNode() - Constructor for class org.processmining.plugins.ltlchecker.formulatree.BinaryNode
 
binaryProp(ArrayList, String) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
BIPROP - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
bufcolumn - Variable in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
buffer - Variable in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
bufline - Variable in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
bufpos - Variable in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
build(Node, Substitutes, TreeNode) - Method in class org.processmining.plugins.ltlchecker.util.TreeBuilder
Build an formulatree used in the LTLChecker from a (sub) parsetree, a list with substitutions ( parameter values ) and a bindernode, that is, the node some valuenodes are bounded to, to ensure formulareferention.
buildGui() - Method in class org.processmining.plugins.ltlchecker.util.ParamTable
 

C

CancelationComponent - Interface in org.processmining.plugins.ltlchecker
Title:
caseLabel - Variable in class org.processmining.plugins.ltlchecker.CheckResultsRuleBrowser
 
caseList - Variable in class org.processmining.plugins.ltlchecker.CheckResultsRuleBrowser
 
caseScrollPane - Variable in class org.processmining.plugins.ltlchecker.CheckResultsRuleBrowser
 
Cell - Class in org.processmining.plugins.ltlchecker
 
Cell() - Constructor for class org.processmining.plugins.ltlchecker.Cell
 
CellModel - Class in org.processmining.plugins.ltlchecker
 
CellModel(Vector) - Constructor for class org.processmining.plugins.ltlchecker.CellModel
 
CheckListModel - Class in org.processmining.plugins.ltlchecker
 
CheckListModel(Vector) - Constructor for class org.processmining.plugins.ltlchecker.CheckListModel
 
checkPasswod(String) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.User
 
CheckResult - Class in org.processmining.plugins.ltlchecker
CheckResult is a link to a process instance which is checked on a ltl formula.
CheckResult(int, XTrace) - Constructor for class org.processmining.plugins.ltlchecker.CheckResult
 
CheckResultCell - Class in org.processmining.plugins.ltlchecker
 
CheckResultCell() - Constructor for class org.processmining.plugins.ltlchecker.CheckResultCell
 
CheckResultModel - Class in org.processmining.plugins.ltlchecker
CheckResultModel is a tablemodel to store the checkresults of a check.
CheckResultModel(ArrayList, String) - Constructor for class org.processmining.plugins.ltlchecker.CheckResultModel
 
CheckResultObject - Class in org.processmining.plugins.ltlchecker
 
CheckResultObject() - Constructor for class org.processmining.plugins.ltlchecker.CheckResultObject
 
CheckResultsInstanceBrowser - Class in org.processmining.plugins.ltlchecker
 
CheckResultsInstanceBrowser(CheckResultObject, boolean) - Constructor for class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
 
CheckResultsRuleBrowser - Class in org.processmining.plugins.ltlchecker
 
CheckResultsRuleBrowser(CheckResultObject, boolean) - Constructor for class org.processmining.plugins.ltlchecker.CheckResultsRuleBrowser
 
CheckVisualizer - Class in org.processmining.plugins.ltlchecker
 
CheckVisualizer() - Constructor for class org.processmining.plugins.ltlchecker.CheckVisualizer
 
CheckVisualizerConnection - Class in org.processmining.plugins.ltlchecker
 
CheckVisualizerConnection(JComponent) - Constructor for class org.processmining.plugins.ltlchecker.CheckVisualizerConnection
 
CheckVisualizerGUI - Class in org.processmining.plugins.ltlchecker
TemplateGui specifies a gui for selecting an template formula to check, see te description of such formula and to valuate the parameters of the formula.
CheckVisualizerGUI(XLog, LTLParser, LTLChecker) - Constructor for class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
 
children - Variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
clear() - Method in class org.processmining.plugins.ltlchecker.DataSection
 
CLEAR_MESSAGES - Static variable in class org.processmining.plugins.ltlchecker.Message
 
clearMessages() - Static method in class org.processmining.plugins.ltlchecker.Message
 
clone() - Method in class org.processmining.plugins.ltlchecker.DataSection
 
clone() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.Event
clone
clone() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.Role
 
clone() - Method in class org.processmining.plugins.ltlchecker.util.Substitutes
Create a shallow copy of this Substitutes object, that is, the substitutes themselves are not copied.
close() - Method in class org.processmining.plugins.ltlchecker.Progress
Closes this progress bar.
COLON - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
COLON - Static variable in class org.processmining.plugins.ltlchecker.Symbols
 
COLOR_ENCLOSURE_BG - Static variable in class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
 
COLOR_ENCLOSURE_BG - Static variable in class org.processmining.plugins.ltlchecker.CheckResultsRuleBrowser
 
COLOR_ENCLOSURE_BG - Static variable in class org.processmining.plugins.ltlchecker.ProMColorUI
 
COLOR_LIST_BG - Static variable in class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
 
COLOR_LIST_BG - Static variable in class org.processmining.plugins.ltlchecker.CheckResultsRuleBrowser
 
COLOR_LIST_BG - Static variable in class org.processmining.plugins.ltlchecker.ProMColorUI
 
COLOR_LIST_BG_LOWER - Static variable in class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
 
COLOR_LIST_BG_LOWER - Static variable in class org.processmining.plugins.ltlchecker.CheckResultsRuleBrowser
 
COLOR_LIST_BG_LOWER - Static variable in class org.processmining.plugins.ltlchecker.ProMColorUI
 
COLOR_LIST_FG - Static variable in class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
 
COLOR_LIST_FG - Static variable in class org.processmining.plugins.ltlchecker.CheckResultsRuleBrowser
 
COLOR_LIST_FG - Static variable in class org.processmining.plugins.ltlchecker.ProMColorUI
 
COLOR_LIST_SELECTION_BG - Static variable in class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
 
COLOR_LIST_SELECTION_BG - Static variable in class org.processmining.plugins.ltlchecker.CheckResultsRuleBrowser
 
COLOR_LIST_SELECTION_BG - Static variable in class org.processmining.plugins.ltlchecker.ProMColorUI
 
COLOR_LIST_SELECTION_BG_LOWER - Static variable in class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
 
COLOR_LIST_SELECTION_BG_LOWER - Static variable in class org.processmining.plugins.ltlchecker.CheckResultsRuleBrowser
 
COLOR_LIST_SELECTION_BG_LOWER - Static variable in class org.processmining.plugins.ltlchecker.ProMColorUI
 
COLOR_LIST_SELECTION_FG - Static variable in class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
 
COLOR_LIST_SELECTION_FG - Static variable in class org.processmining.plugins.ltlchecker.CheckResultsRuleBrowser
 
COLOR_LIST_SELECTION_FG - Static variable in class org.processmining.plugins.ltlchecker.ProMColorUI
 
COLOR_NON_FOCUS - Static variable in class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
 
COLOR_NON_FOCUS - Static variable in class org.processmining.plugins.ltlchecker.CheckResultsRuleBrowser
 
COLOR_NON_FOCUS - Static variable in class org.processmining.plugins.ltlchecker.ProMColorUI
 
column - Variable in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
COMMA - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
COMMA - Static variable in class org.processmining.plugins.ltlchecker.Symbols
 
compareTo(ConceptModel) - Method in class org.processmining.plugins.ltlchecker.ConceptModel
 
comparison(ArrayList) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
completeGui() - Method in class org.processmining.plugins.ltlchecker.SlickerOpenCheckResults
 
CompNode - Class in org.processmining.plugins.ltlchecker.formulatree
CompNode is a node class of the formula tree denoting comparator operators, like ==, ~=, <=, >=, etc.
CompNode() - Constructor for class org.processmining.plugins.ltlchecker.formulatree.CompNode
 
COMPPROP - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
ConceptModel - Class in org.processmining.plugins.ltlchecker
 
CONCEPTSET - Static variable in class org.processmining.plugins.ltlchecker.parser.Attribute
 
conceptSet() - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
CONCEPTSET - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
ConceptSetAttribute - Class in org.processmining.plugins.ltlchecker.parser
 
ConceptSetAttribute(List<String>, int, Attribute) - Constructor for class org.processmining.plugins.ltlchecker.parser.ConceptSetAttribute
 
ConstraintCollection - Class in org.processmining.plugins.ltlchecker.declare2ltl
Title: DECLARE
ConstraintCollection(PrintStream) - Constructor for class org.processmining.plugins.ltlchecker.declare2ltl.ConstraintCollection
 
ConstraintParser - Class in org.processmining.plugins.ltlchecker.declare2ltl
Title: DECLARE
ConstraintParser() - Constructor for class org.processmining.plugins.ltlchecker.declare2ltl.ConstraintParser
 
construct() - Method in class org.processmining.plugins.ltlchecker.SwingWorker
Compute the value to be returned by the get method.
containsKey(Object) - Method in class org.processmining.plugins.ltlchecker.DataSection
 
containsValue(Object) - Method in class org.processmining.plugins.ltlchecker.DataSection
 
convert(String) - Static method in class org.processmining.plugins.ltlchecker.declare2ltl.ProM
 
createDataModel(List<FormulaParameter>) - Method in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
 
createDataModel(List<FormulaParameter>) - Method in class org.processmining.plugins.ltlchecker.LTLChecker
 
createFormula(Iterable<ConstraintDefinition>) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.ConstraintParser
 
createGui() - Method in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
 
createOntology(String, String) - Method in class org.processmining.plugins.ltlchecker.OntologyCollection
Creates a new ontology and adds it to the collection.
createParamTable() - Method in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
 
createParamTable() - Method in class org.processmining.plugins.ltlchecker.LTLChecker
 
createSetValueNode(String, int) - Method in class org.processmining.plugins.ltlchecker.util.ParamData
 
crObj - Variable in class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
 
crObj - Variable in class org.processmining.plugins.ltlchecker.CheckResultsRuleBrowser
 
curChar - Variable in class org.processmining.plugins.ltlchecker.parser.LTLParserTokenManager
 
currentToken - Variable in exception org.processmining.plugins.ltlchecker.parser.ParseException
This is the last token that has been consumed successfully.
CustomRenderer - Interface in org.processmining.plugins.ltlchecker
An interface for describing the drawing of custom shapes that cannot be captured via a single GeneralPath.

D

D_EDGE_OP - Static variable in class org.processmining.plugins.ltlchecker.Symbols
 
data - Variable in class org.processmining.plugins.ltlchecker.InfoItem
Map containing a set of attributes, stored as key-value pairs.
data - Variable in class org.processmining.plugins.ltlchecker.util.ParamTable
 
DataAttribute - Class in org.processmining.plugins.ltlchecker
 
DataAttribute(String, String) - Constructor for class org.processmining.plugins.ltlchecker.DataAttribute
 
DataAttribute(String, String, List<String>) - Constructor for class org.processmining.plugins.ltlchecker.DataAttribute
 
DataSection - Class in org.processmining.plugins.ltlchecker
 
DataSection() - Constructor for class org.processmining.plugins.ltlchecker.DataSection
 
DataSection(DataSection) - Constructor for class org.processmining.plugins.ltlchecker.DataSection
 
DATE - Static variable in class org.processmining.plugins.ltlchecker.parser.Attribute
 
DateAttribute - Class in org.processmining.plugins.ltlchecker.parser
DateAttribute is a specialised Attribute class implementing an value method, used to compute the value of an attribute given the context.
DateAttribute(String, int, int, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.DateAttribute
 
DateAttribute(String, int, Attribute) - Constructor for class org.processmining.plugins.ltlchecker.parser.DateAttribute
 
DateCompNode - Class in org.processmining.plugins.ltlchecker.formulatree
DateCompNode is a node class of the formula tree denoting comparator operators for dates: ==, !=, <=, >=, < and >.
DateCompNode(int) - Constructor for class org.processmining.plugins.ltlchecker.formulatree.DateCompNode
 
dateFormat - Variable in class org.processmining.plugins.ltlchecker.EventCellRendererChecked
 
dateFormat - Variable in class org.processmining.plugins.ltlchecker.EventCellRendererLC
 
dateFormat - Variable in class org.processmining.plugins.ltlchecker.InstancesCellRenderer
 
dateFormat - Variable in class org.processmining.plugins.ltlchecker.RulesCellRenderer
 
dateFormat - Variable in class org.processmining.plugins.ltlchecker.RulesInstancesCellRenderer
 
DATESTRING - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
DateValueNode - Class in org.processmining.plugins.ltlchecker.formulatree
DateValueNode is a representation of a string literal or attribute.
DateValueNode(int) - Constructor for class org.processmining.plugins.ltlchecker.formulatree.DateValueNode
 
DEBUG - Static variable in class org.processmining.plugins.ltlchecker.Message
 
debugStream - Variable in class org.processmining.plugins.ltlchecker.parser.LTLParserTokenManager
 
Declare2ltl - Class in org.processmining.plugins.ltlchecker.declare2ltl
 
Declare2ltl() - Constructor for class org.processmining.plugins.ltlchecker.declare2ltl.Declare2ltl
 
declareMinerFrame(boolean, Hashtable, XLog, LTLParser, Vector, boolean, boolean, boolean) - Method in class org.processmining.plugins.ltlchecker.LTLChecker
 
DEFAULT - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
deleteFormula(String) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
deleteRole(Role) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.User
deleteRole
DESC_LITERAL - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
description - Variable in class org.processmining.plugins.ltlchecker.InfoItem
Description string
descriptionPane - Variable in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
A field for the description.
deselectAllButton - Variable in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
 
DIGIT - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
DIGRAPH - Static variable in class org.processmining.plugins.ltlchecker.Symbols
 
disable_tracing() - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
DIV - Static variable in class org.processmining.plugins.ltlchecker.formulatree.NumberValueNode
Div operator
DIV - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
Done() - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
DOT - Static variable in class org.processmining.plugins.ltlchecker.declare2ltl.Event
 
DOT - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
doUpdate(Runnable) - Method in class org.processmining.plugins.ltlchecker.Progress
TODO: comment what this method exactly does (and when it should be used)
draw(Graphics2D) - Method in interface org.processmining.plugins.ltlchecker.CustomRenderer
The method called when the element needs to be drawn.
drawImage(Graphics2D) - Method in interface org.processmining.plugins.ltlchecker.CustomRenderer
The method called when the element needs to draw its background image.
dummy(ArrayList) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
DUMMY - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
dump(SimpleNode, String, StringBuffer) - Static method in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
dump(String) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 

E

EDGE - Static variable in class org.processmining.plugins.ltlchecker.Symbols
 
editingCanceled(ChangeEvent) - Method in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
 
editingStopped(ChangeEvent) - Method in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
 
eliminaDoppi(String[]) - Static method in class org.processmining.plugins.ltlchecker.util.RemoveDouble
 
empty() - Method in class org.processmining.plugins.ltlchecker.virtual_parse_stack
Indicate whether the stack is empty.
enable_tracing() - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
endColumn - Variable in class org.processmining.plugins.ltlchecker.parser.Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
endLine - Variable in class org.processmining.plugins.ltlchecker.parser.Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
entrySet() - Method in class org.processmining.plugins.ltlchecker.DataSection
 
EOF - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
EOF - Static variable in class org.processmining.plugins.ltlchecker.Symbols
 
eol - Variable in exception org.processmining.plugins.ltlchecker.parser.ParseException
The end of line string for this machine.
EQ - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
EQUAL - Static variable in class org.processmining.plugins.ltlchecker.formulatree.CompNode
==
EQUAL - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
EQUAL - Static variable in class org.processmining.plugins.ltlchecker.Symbols
 
equals(Object) - Method in class org.processmining.plugins.ltlchecker.ConceptModel
 
equals(Object) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.Event
equals
equals(Object) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.Role
equals
equals(Object) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.User
equals
equals(Object) - Method in class org.processmining.plugins.ltlchecker.InfoItem
 
equals(Object) - Method in class org.processmining.plugins.ltlchecker.ProvidedObject
 
equals(Object) - Method in class org.processmining.plugins.ltlchecker.util.SetsSetItem
 
ERROR - Static variable in class org.processmining.plugins.ltlchecker.Message
 
error - Static variable in class org.processmining.plugins.ltlchecker.Symbols
 
Event - Class in org.processmining.plugins.ltlchecker.declare2ltl
 
Event(User, ActivityDefinition, Event.Type) - Constructor for class org.processmining.plugins.ltlchecker.declare2ltl.Event
AbstractEvent
Event.Type - Enum in org.processmining.plugins.ltlchecker.declare2ltl
 
EventCellRendererChecked - Class in org.processmining.plugins.ltlchecker
 
EventCellRendererChecked(int[]) - Constructor for class org.processmining.plugins.ltlchecker.EventCellRendererChecked
 
EventCellRendererLC - Class in org.processmining.plugins.ltlchecker
 
EventCellRendererLC() - Constructor for class org.processmining.plugins.ltlchecker.EventCellRendererLC
 
eventLabel - Variable in class org.processmining.plugins.ltlchecker.ProMColorUI
 
eventsList - Variable in class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
 
eventsList - Variable in class org.processmining.plugins.ltlchecker.CheckResultsRuleBrowser
 
eventsList - Variable in class org.processmining.plugins.ltlchecker.ProMColorUI
 
eventsNameLabel - Variable in class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
 
eventsSelectionChanged() - Method in class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
 
eventsSelectionChanged() - Method in class org.processmining.plugins.ltlchecker.CheckResultsRuleBrowser
 
eventsSizeLabel - Variable in class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
 
EVENTTYPE - Static variable in class org.processmining.plugins.ltlchecker.ConceptModel
 
EVENTUALLY - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
EventuallyNode - Class in org.processmining.plugins.ltlchecker.formulatree
EventuallyNode is a node class of the formula tree denoting the eventually operator.
EventuallyNode() - Constructor for class org.processmining.plugins.ltlchecker.formulatree.EventuallyNode
 
exists(String) - Method in class org.processmining.plugins.ltlchecker.parser.AttributeSet
Returns if name of attribute already exists.
EXISTS - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
existsAttribute(String) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
Does id exists as attribute or a renaming?
existsFormula(String) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
Does id exists as formula?
existsId(String) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
Does id exists as attribute, renaming or formula?
ExistsNode - Class in org.processmining.plugins.ltlchecker.formulatree
ExistsNode is a node class of the formula tree denoting the exists quantor.
ExistsNode() - Constructor for class org.processmining.plugins.ltlchecker.formulatree.ExistsNode
 
existsRenaming(String) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
Does id exists as a renaming?
ExpandBuff(boolean) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
expectedTokenSequences - Variable in exception org.processmining.plugins.ltlchecker.parser.ParseException
Each entry in this array is an array of integers.
EXPONENT - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
expr(int, ArrayList, Attribute) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
EXPR - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 

F

fill(Graphics2D) - Method in interface org.processmining.plugins.ltlchecker.CustomRenderer
The method called when the element needs to be filled.
fill(XLog) - Method in class org.processmining.plugins.ltlchecker.util.SetsSet
Fill the sets with information of a logreader.
FillBuff() - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
filteredInstances - Variable in class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
 
filteredRules - Variable in class org.processmining.plugins.ltlchecker.CheckResultsRuleBrowser
 
findConcept(String) - Method in class org.processmining.plugins.ltlchecker.OntologyModel
Returns the concept with the given short name, or null if no such concept exists in this ontology.
findConceptByUriInLog(String) - Method in class org.processmining.plugins.ltlchecker.OntologyCollection
 
findConceptByUriInOntology(String) - Method in class org.processmining.plugins.ltlchecker.OntologyCollection
 
finished() - Method in class org.processmining.plugins.ltlchecker.SwingWorker
Called on the event dispatching thread (not on the worker thread) after the construct method has returned.
firstFailure - Variable in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
Check option: till first failure.
firstSuccess - Variable in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
Check option: till first success.
FORALL - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
ForallNode - Class in org.processmining.plugins.ltlchecker.formulatree
ForallNode is a node class of the formula tree denoting the for all quantor.
ForallNode() - Constructor for class org.processmining.plugins.ltlchecker.formulatree.ForallNode
 
FORMULA - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
For determining the type of this node, a special enumeration is introduced.
formulaCall(ArrayList, String) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
formulaDefinition() - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
formulaList - Variable in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
List with formula templates to select from.
FormulaNode - Class in org.processmining.plugins.ltlchecker.formulatree
FormulaNode is the main class of the hierarchy of formula nodes to denote a LTL formula.
FormulaNode() - Constructor for class org.processmining.plugins.ltlchecker.formulatree.FormulaNode
 
FormulaParameter - Class in org.processmining.plugins.ltlchecker.parser
 
FormulaParameter(Attribute) - Constructor for class org.processmining.plugins.ltlchecker.parser.FormulaParameter
 
FormulaParameter(Attribute, String) - Constructor for class org.processmining.plugins.ltlchecker.parser.FormulaParameter
 
fromMap(Map<String, String>) - Static method in class org.processmining.plugins.ltlchecker.DataSection
 

G

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
 

H

hasDefaultValue() - Method in class org.processmining.plugins.ltlchecker.parser.FormulaParameter
 
hashCode() - Method in class org.processmining.plugins.ltlchecker.ConceptModel
 
hashCode() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.Role
 
hashCode() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.User
 
hashCode() - Method in class org.processmining.plugins.ltlchecker.ProvidedObject
 
hashCode() - Method in class org.processmining.plugins.ltlchecker.util.SetsSetItem
 
hasId(String) - Method in class org.processmining.plugins.ltlchecker.util.Substitutes
 
hasInstanceOf(List<String>) - Method in class org.processmining.plugins.ltlchecker.formulatree.SetValueNode
 
hasRole(Role) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.User
 
height - Variable in class org.processmining.plugins.ltlchecker.EventCellRendererChecked
 
height - Variable in class org.processmining.plugins.ltlchecker.EventCellRendererLC
 
height - Variable in class org.processmining.plugins.ltlchecker.InstancesCellRenderer
 
height - Variable in class org.processmining.plugins.ltlchecker.RulesCellRenderer
 
height - Variable in class org.processmining.plugins.ltlchecker.RulesInstancesCellRenderer
 

I

ID - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
id - Variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
IDENTIFIER - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
image - Variable in class org.processmining.plugins.ltlchecker.parser.Token
The string image of the token.
IMPLIES - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
ImpliesNode - Class in org.processmining.plugins.ltlchecker.formulatree
ImpliesNode is a node class of the formula tree denoting the implies operator.
ImpliesNode() - Constructor for class org.processmining.plugins.ltlchecker.formulatree.ImpliesNode
 
importFromStream(PluginContext, InputStream, String, long) - Method in class org.processmining.plugins.ltlchecker.importing.LTLModelImportPlugin
 
IN - Static variable in class org.processmining.plugins.ltlchecker.formulatree.CompNode
in
in(String) - Method in class org.processmining.plugins.ltlchecker.formulatree.SetValueNode
Is a string in this set?
IN - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
IN_SINGLE_LINE_COMMENT - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
inBuf - Variable in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
inc() - Method in class org.processmining.plugins.ltlchecker.Progress
Increments the progress status by exactly 1.
indexes - Variable in class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
 
indexes - Variable in class org.processmining.plugins.ltlchecker.CheckResultsRuleBrowser
 
InfoItem - Class in org.processmining.plugins.ltlchecker
A general information item from a workflow log.
InfoItem(String, String, DataSection, List<String>) - Constructor for class org.processmining.plugins.ltlchecker.InfoItem
Creates a new information item
init(XLog, LTLParser, LTLChecker) - Method in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
 
init() - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
Construct a new LTLParser with new empty sets, before parsing, no attributes, renamings or formulae are defined.
initialize() - Method in class org.processmining.plugins.ltlchecker.SlickerOpenCheckResults
loads the log and initializes this component
input_stream - Variable in class org.processmining.plugins.ltlchecker.parser.LTLParserTokenManager
 
inputStream - Variable in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
inspectorIcon - Variable in class org.processmining.plugins.ltlchecker.SlickerOpenCheckResults
 
InstanceModel - Class in org.processmining.plugins.ltlchecker
 
InstanceModel() - Constructor for class org.processmining.plugins.ltlchecker.InstanceModel
 
instanceNameLabel - Variable in class org.processmining.plugins.ltlchecker.CheckResultsRuleBrowser
 
instanceNameLabel - Variable in class org.processmining.plugins.ltlchecker.ProMColorUI
 
InstancesCellRenderer - Class in org.processmining.plugins.ltlchecker
 
InstancesCellRenderer() - Constructor for class org.processmining.plugins.ltlchecker.InstancesCellRenderer
 
instanceSizeLabel - Variable in class org.processmining.plugins.ltlchecker.CheckResultsRuleBrowser
 
instanceSizeLabel - Variable in class org.processmining.plugins.ltlchecker.ProMColorUI
 
instancesList - Variable in class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
 
instancesList - Variable in class org.processmining.plugins.ltlchecker.ProMColorUI
 
instancesSelectionChanged() - Method in class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
 
instancesSelectionChanged() - Method in class org.processmining.plugins.ltlchecker.CheckResultsRuleBrowser
 
INT - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
INTEGER_LITERAL - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
interrupt() - Method in class org.processmining.plugins.ltlchecker.SwingWorker
A new method that interrupts the worker thread.
InvalidModelException - Exception in org.processmining.plugins.ltlchecker
 
InvalidModelException(String) - Constructor for exception org.processmining.plugins.ltlchecker.InvalidModelException
 
isAte() - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
Is an ate?
isAttribute() - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
Is a attribute?
isCanceled() - Method in interface org.processmining.plugins.ltlchecker.CancelationComponent
 
isCanceled() - Method in class org.processmining.plugins.ltlchecker.Progress
Determines whether the user has clicked the "cancel" button of this progress dialog.
isCellEditable(int, int) - Method in class org.processmining.plugins.ltlchecker.CheckResultModel
 
isCellEditable(int, int) - Method in class org.processmining.plugins.ltlchecker.util.ParamData
 
isChanged() - Method in class org.processmining.plugins.ltlchecker.OntologyModel
Returns true if the ontology model was changed (ie.
isConceptSet() - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
Is a set?
isCorrect() - Method in class org.processmining.plugins.ltlchecker.InstanceModel
 
isCurrentSelected() - Method in class org.processmining.plugins.ltlchecker.Cell
 
isDate() - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
Is a date?
isEmpty() - Method in class org.processmining.plugins.ltlchecker.DataSection
 
isEmpty() - Method in class org.processmining.plugins.ltlchecker.parser.AttributeSet
Is this set empty?
isLiteral() - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
Is a literal?
isNumber() - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
Is a number?
isPi() - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
Is a pi?
isSatisfied() - Method in class org.processmining.plugins.ltlchecker.RuleModel
 
isSelected() - Method in class org.processmining.plugins.ltlchecker.Cell
 
isSet() - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
Is a set?
isString() - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
Is a string?
isTruthValue() - Method in class org.processmining.plugins.ltlchecker.CheckResultCell
 
iterator() - Method in class org.processmining.plugins.ltlchecker.parser.AttributeSet
Return an iterator over all attributes in this set.

J

jj_nt - Variable in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
jjFillToken() - Method in class org.processmining.plugins.ltlchecker.parser.LTLParserTokenManager
 
jjnewLexState - Static variable in class org.processmining.plugins.ltlchecker.parser.LTLParserTokenManager
 
jjstrLiteralImages - Static variable in class org.processmining.plugins.ltlchecker.parser.LTLParserTokenManager
 
jjtAddChild(Node, int) - Method in interface org.processmining.plugins.ltlchecker.parser.Node
This method tells the node to add its argument to the node's list of children.
jjtAddChild(Node, int) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
JJTARG - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserTreeConstants
 
JJTARGLIST - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserTreeConstants
 
JJTATTRIBUTE - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserTreeConstants
 
JJTATTRIBUTEDEFINITION - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserTreeConstants
 
JJTBINARYPROPOSITION - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserTreeConstants
 
jjtClose() - Method in interface org.processmining.plugins.ltlchecker.parser.Node
This method is called after all the child nodes have been added.
jjtClose() - Method in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
JJTCOMPARISON - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserTreeConstants
 
JJTCONCEPTSET - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserTreeConstants
 
JJTDUMMYVAR - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserTreeConstants
 
JJTEXPR - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserTreeConstants
 
JJTFORMULACALL - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserTreeConstants
 
JJTFORMULADEFINITION - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserTreeConstants
 
jjtGetChild(int) - Method in interface org.processmining.plugins.ltlchecker.parser.Node
This method returns a child node.
jjtGetChild(int) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
jjtGetNumChildren() - Method in interface org.processmining.plugins.ltlchecker.parser.Node
Return the number of children the node has.
jjtGetNumChildren() - Method in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
jjtGetParent() - Method in interface org.processmining.plugins.ltlchecker.parser.Node
 
jjtGetParent() - Method in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
JJTLITERAL - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserTreeConstants
 
jjtNodeName - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserTreeConstants
 
jjtOpen() - Method in interface org.processmining.plugins.ltlchecker.parser.Node
This method is called after the node has been made the current node.
jjtOpen() - Method in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
JJTPARSE - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserTreeConstants
 
JJTPROPOSITION - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserTreeConstants
 
JJTQUANTIFICATION - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserTreeConstants
 
jjtree - Variable in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
JJTRENAMING - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserTreeConstants
 
jjtSetParent(Node) - Method in interface org.processmining.plugins.ltlchecker.parser.Node
This pair of methods are used to inform the node of its parent.
jjtSetParent(Node) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
JJTSTRINGLIST - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserTreeConstants
 
JJTUNARYPROPOSITION - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserTreeConstants
 
JJTVALUEATTRIBUTE - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserTreeConstants
 
JJTVALUES - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserTreeConstants
 
join() - Method in class org.processmining.plugins.ltlchecker.SwingWorker
 

K

KAS - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
KATE - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
KDATE - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
KEXISTS - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
keyPressed(KeyEvent) - Method in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
 
keyReleased(KeyEvent) - Method in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
 
keySet() - Method in class org.processmining.plugins.ltlchecker.DataSection
 
keyTyped(KeyEvent) - Method in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
 
KFORALL - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
KFORMULA - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
KIN - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
kind - Variable in class org.processmining.plugins.ltlchecker.parser.Token
An integer that describes the kind of this token.
KNUMBER - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
KPI - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
KRENAME - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
KSET - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
KSTRING - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
KSUBFORMULA - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 

L

LALWAYS - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
LBR - Static variable in class org.processmining.plugins.ltlchecker.Symbols
 
LBRACE - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
LBRACKET - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
LCUR - Static variable in class org.processmining.plugins.ltlchecker.Symbols
 
LE - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
left - Variable in class org.processmining.plugins.ltlchecker.Symbol
The data passed to parser
LESSER - Static variable in class org.processmining.plugins.ltlchecker.formulatree.CompNode
<
LESSER - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
LESSEREQUAL - Static variable in class org.processmining.plugins.ltlchecker.formulatree.CompNode
<=
LESSOREQUAL - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
LETTER - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
LEVENTUALLY - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
LexicalError(boolean, int, int, int, String, char) - Static method in error org.processmining.plugins.ltlchecker.parser.TokenMgrError
Returns a detailed message for the Error when it is thrown by the token manager to indicate a lexical error.
lexStateNames - Static variable in class org.processmining.plugins.ltlchecker.parser.LTLParserTokenManager
 
line - Variable in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
list - Variable in class org.processmining.plugins.ltlchecker.CellModel
 
list - Variable in class org.processmining.plugins.ltlchecker.CheckListModel
 
ListRenderer - Class in org.processmining.plugins.ltlchecker
 
ListRenderer() - Constructor for class org.processmining.plugins.ltlchecker.ListRenderer
 
LITERAL - Static variable in class org.processmining.plugins.ltlchecker.parser.Attribute
 
literal(Attribute) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
LNEXTTIME - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
log - Variable in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
 
log - Variable in class org.processmining.plugins.ltlchecker.ProMColorUI
 
lookingAhead - Variable in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
LPAREN - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
LT - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
LTLChecker - Class in org.processmining.plugins.ltlchecker
 
LTLChecker() - Constructor for class org.processmining.plugins.ltlchecker.LTLChecker
 
LTLCheckerVisualization - Class in org.processmining.plugins.ltlchecker.visualizing
 
LTLCheckerVisualization() - Constructor for class org.processmining.plugins.ltlchecker.visualizing.LTLCheckerVisualization
 
LTLGenerator - Class in org.processmining.plugins.ltlchecker.declare2ltl
 
LTLGenerator() - Constructor for class org.processmining.plugins.ltlchecker.declare2ltl.LTLGenerator
 
LTLModel - Class in org.processmining.plugins.ltlchecker.model
 
LTLModel() - Constructor for class org.processmining.plugins.ltlchecker.model.LTLModel
 
LTLModelImportPlugin - Class in org.processmining.plugins.ltlchecker.importing
 
LTLModelImportPlugin() - Constructor for class org.processmining.plugins.ltlchecker.importing.LTLModelImportPlugin
 
LTLParser - Class in org.processmining.plugins.ltlchecker.parser
LTLParser is an parser for the LTL-language used in a LTL checking plugin for the ProM framework.
LTLParser(InputStream) - Constructor for class org.processmining.plugins.ltlchecker.parser.LTLParser
 
LTLParser(InputStream, String) - Constructor for class org.processmining.plugins.ltlchecker.parser.LTLParser
 
LTLParser(Reader) - Constructor for class org.processmining.plugins.ltlchecker.parser.LTLParser
 
LTLParser(LTLParserTokenManager) - Constructor for class org.processmining.plugins.ltlchecker.parser.LTLParser
 
LTLParserConstants - Interface in org.processmining.plugins.ltlchecker.parser
 
LTLParserTokenManager - Class in org.processmining.plugins.ltlchecker.parser
 
LTLParserTokenManager(SimpleCharStream) - Constructor for class org.processmining.plugins.ltlchecker.parser.LTLParserTokenManager
 
LTLParserTokenManager(SimpleCharStream, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.LTLParserTokenManager
 
LTLParserTreeConstants - Interface in org.processmining.plugins.ltlchecker.parser
 
LTLVerificationResult - Class in org.processmining.plugins.ltlchecker
LTLVerificationResult is a JPanel representing two lists, one with good process instances, and one with the bad ones.
LTLVerificationResult(CheckResultObject) - Constructor for class org.processmining.plugins.ltlchecker.LTLVerificationResult
 
LTLViewerConnection - Class in org.processmining.plugins.ltlchecker.visualizing
 
LTLViewerConnection(JComponent) - Constructor for class org.processmining.plugins.ltlchecker.visualizing.LTLViewerConnection
 
LUNTIL - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 

M

main(String[]) - Static method in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
main(String[]) - Static method in class org.processmining.plugins.ltlchecker.ProgressSample
 
mainPanel - Variable in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
 
MapsComparator - Class in org.processmining.plugins.ltlchecker.declare2ltl
 
MapsComparator() - Constructor for class org.processmining.plugins.ltlchecker.declare2ltl.MapsComparator
 
MapsComparatorVisualization - Class in org.processmining.plugins.ltlchecker.declare2ltl
 
MapsComparatorVisualization() - Constructor for class org.processmining.plugins.ltlchecker.declare2ltl.MapsComparatorVisualization
 
maxNextCharInd - Variable in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
Message - Class in org.processmining.plugins.ltlchecker
 
MethodsForWorkflowLogDataStructures - Class in org.processmining.plugins.ltlchecker
Title:
MethodsForWorkflowLogDataStructures() - Constructor for class org.processmining.plugins.ltlchecker.MethodsForWorkflowLogDataStructures
 
MIN - Static variable in class org.processmining.plugins.ltlchecker.formulatree.NumberValueNode
Min operator
MINUS - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
MINUS - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
MODEL_REFERENCE_SET - Static variable in class org.processmining.plugins.ltlchecker.formulatree.SetValueNode
It is a concept
modelReferences - Variable in class org.processmining.plugins.ltlchecker.InfoItem
List of model references (concepts in ontologies)
modelReferences(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.parser.ConceptSetAttribute
 
modelReferences(XTrace, LinkedList, int) - Method in class org.processmining.plugins.ltlchecker.parser.SetAttribute
 
modified - Variable in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
 
mouseClicked(MouseEvent) - Method in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
 
mouseEntered(MouseEvent) - Method in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
 
mouseExited(MouseEvent) - Method in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
 
mousePressed(MouseEvent) - Method in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
 
mouseReleased(MouseEvent) - Method in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
 
MULT - Static variable in class org.processmining.plugins.ltlchecker.formulatree.NumberValueNode
Mult operator
MULT - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 

N

name - Variable in class org.processmining.plugins.ltlchecker.InfoItem
Name of the info item
name - Variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
The name or text of this node.
nameLabel - Variable in class org.processmining.plugins.ltlchecker.EventCellRendererChecked
 
nameLabel - Variable in class org.processmining.plugins.ltlchecker.EventCellRendererLC
 
nameLabel - Variable in class org.processmining.plugins.ltlchecker.InstancesCellRenderer
 
nameLabel - Variable in class org.processmining.plugins.ltlchecker.RulesCellRenderer
 
nameLabel - Variable in class org.processmining.plugins.ltlchecker.RulesInstancesCellRenderer
 
ND_EDGE_OP - Static variable in class org.processmining.plugins.ltlchecker.Symbols
 
NE - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
newToken(int) - Static method in class org.processmining.plugins.ltlchecker.parser.Token
Returns a new Token object, by default.
next - Variable in class org.processmining.plugins.ltlchecker.parser.Token
A reference to the next regular (non-special) token from the input stream.
NEXTTIME - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
NexttimeNode - Class in org.processmining.plugins.ltlchecker.formulatree
NexttimeNode is a node class of the formula tree denoting the nexttime operator.
NexttimeNode() - Constructor for class org.processmining.plugins.ltlchecker.formulatree.NexttimeNode
 
Node - Interface in org.processmining.plugins.ltlchecker.parser
 
NODE - Static variable in class org.processmining.plugins.ltlchecker.Symbols
 
NORMAL - Static variable in class org.processmining.plugins.ltlchecker.Message
 
NOT - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
NOTEQUAL - Static variable in class org.processmining.plugins.ltlchecker.formulatree.CompNode
!=
NOTEQUAL - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
NotNode - Class in org.processmining.plugins.ltlchecker.formulatree
NotNode is a node class of the formula tree denoting the not operator.
NotNode() - Constructor for class org.processmining.plugins.ltlchecker.formulatree.NotNode
 
nr - Variable in class org.processmining.plugins.ltlchecker.formulatree.TreeNode
The number of ate in pi currently working on.
NUM_SIMILAR_INSTANCES - Static variable in class org.processmining.plugins.ltlchecker.MethodsForWorkflowLogDataStructures
 
NUM_TYPES - Static variable in class org.processmining.plugins.ltlchecker.Message
 
NUMBER - Static variable in class org.processmining.plugins.ltlchecker.parser.Attribute
The types
NumberAttribute - Class in org.processmining.plugins.ltlchecker.parser
NumberAttribute is a specialised Attribute class implementing an value method, used to compute the value of an attribute given the context.
NumberAttribute(String, int, int, int) - Constructor for class org.processmining.plugins.ltlchecker.parser.NumberAttribute
 
NumberAttribute(String, int, Attribute) - Constructor for class org.processmining.plugins.ltlchecker.parser.NumberAttribute
 
NumberCompNode - Class in org.processmining.plugins.ltlchecker.formulatree
NumberCompNode is a node class of the formula tree denoting comparator operators for numbers: ==, !=, <=, >=, < and >.
NumberCompNode(int) - Constructor for class org.processmining.plugins.ltlchecker.formulatree.NumberCompNode
 
numberLabel - Variable in class org.processmining.plugins.ltlchecker.EventCellRendererChecked
 
numberLabel - Variable in class org.processmining.plugins.ltlchecker.EventCellRendererLC
 
numberLabel - Variable in class org.processmining.plugins.ltlchecker.InstancesCellRenderer
 
numberLabel - Variable in class org.processmining.plugins.ltlchecker.RulesCellRenderer
 
numberLabel - Variable in class org.processmining.plugins.ltlchecker.RulesInstancesCellRenderer
 
NumberValueNode - Class in org.processmining.plugins.ltlchecker.formulatree
NumberValueNode is a representation of a number literal or attribute.
NumberValueNode(int) - Constructor for class org.processmining.plugins.ltlchecker.formulatree.NumberValueNode
 

O

ONTOLOGY_SEPARATOR - Static variable in class org.processmining.plugins.ltlchecker.OntologyModel
 
ONTOLOGY_SEPARATOR_PATTERN - Static variable in class org.processmining.plugins.ltlchecker.OntologyModel
 
OntologyCollection - Class in org.processmining.plugins.ltlchecker
 
OntologyCollection() - Constructor for class org.processmining.plugins.ltlchecker.OntologyCollection
 
OntologyModel - Class in org.processmining.plugins.ltlchecker
 
OntologyModel(String, Map<String, Set<String>>) - Constructor for class org.processmining.plugins.ltlchecker.OntologyModel
Constructor for reading an existing ontology.
OntologyModel(String, String) - Constructor for class org.processmining.plugins.ltlchecker.OntologyModel
Constructor for a new (empty) ontology.
opAsString(int) - Method in class org.processmining.plugins.ltlchecker.formulatree.CompNode
 
OR - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
org.processmining.plugins.ltlchecker - package org.processmining.plugins.ltlchecker
 
org.processmining.plugins.ltlchecker.declare2ltl - package org.processmining.plugins.ltlchecker.declare2ltl
 
org.processmining.plugins.ltlchecker.formulatree - package org.processmining.plugins.ltlchecker.formulatree
 
org.processmining.plugins.ltlchecker.importing - package org.processmining.plugins.ltlchecker.importing
 
org.processmining.plugins.ltlchecker.model - package org.processmining.plugins.ltlchecker.model
 
org.processmining.plugins.ltlchecker.parser - package org.processmining.plugins.ltlchecker.parser
 
org.processmining.plugins.ltlchecker.util - package org.processmining.plugins.ltlchecker.util
 
org.processmining.plugins.ltlchecker.visualizing - package org.processmining.plugins.ltlchecker.visualizing
 
ORIGINATOR - Static variable in class org.processmining.plugins.ltlchecker.ConceptModel
 
originatorLabel - Variable in class org.processmining.plugins.ltlchecker.EventCellRendererChecked
 
originatorLabel - Variable in class org.processmining.plugins.ltlchecker.EventCellRendererLC
 
OrNode - Class in org.processmining.plugins.ltlchecker.formulatree
OrNode is a node class of the formula tree denoting the or operator.
OrNode() - Constructor for class org.processmining.plugins.ltlchecker.formulatree.OrNode
 

P

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
 

Q

quantification(ArrayList, String) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
QUANTOR - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
QuantorNode - Class in org.processmining.plugins.ltlchecker.formulatree
QuantorNode is a node class of the formula tree denoting the quantors for all and exists.
QuantorNode() - Constructor for class org.processmining.plugins.ltlchecker.formulatree.QuantorNode
 

R

RBR - Static variable in class org.processmining.plugins.ltlchecker.Symbols
 
RBRACE - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
RBRACKET - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
RCUR - Static variable in class org.processmining.plugins.ltlchecker.Symbols
 
readChar() - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
REAL - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
REAL_LITERAL - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
real_next - Variable in class org.processmining.plugins.ltlchecker.virtual_parse_stack
Top of stack indicator for where we leave off in the real stack.
real_stack - Variable in class org.processmining.plugins.ltlchecker.virtual_parse_stack
The real stack that we shadow.
red - Variable in class org.processmining.plugins.ltlchecker.EventCellRendererChecked
 
REGEXPEQUAL - Static variable in class org.processmining.plugins.ltlchecker.formulatree.CompNode
~=
REGEXPEQUAL - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
ReInit(InputStream) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
ReInit(InputStream, String) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
ReInit(Reader) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
ReInit(LTLParserTokenManager) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
ReInit(SimpleCharStream) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParserTokenManager
 
ReInit(SimpleCharStream, int) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParserTokenManager
 
ReInit(Reader, int, int, int) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
ReInit(Reader, int, int) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
ReInit(Reader) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
ReInit(InputStream, String, int, int, int) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
ReInit(InputStream, int, int, int) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
ReInit(InputStream, String) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
ReInit(InputStream) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
ReInit(InputStream, String, int, int) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
ReInit(InputStream, int, int) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
remove(Object) - Method in class org.processmining.plugins.ltlchecker.DataSection
 
removeActionListener(ActionListener) - Static method in class org.processmining.plugins.ltlchecker.Message
 
removeData() - Method in class org.processmining.plugins.ltlchecker.util.ParamData
 
RemoveDouble - Class in org.processmining.plugins.ltlchecker.util
 
RemoveDouble() - Constructor for class org.processmining.plugins.ltlchecker.util.RemoveDouble
 
renaming() - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
replaceParameterDefaultWithActivities(String, Parameter, Collection<ActivityDefinition>) - Method in class org.processmining.plugins.ltlchecker.declare2ltl.SimpleParser
 
REQ - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
resInstances - Variable in class org.processmining.plugins.ltlchecker.SlickerOpenCheckResults
 
resRules - Variable in class org.processmining.plugins.ltlchecker.SlickerOpenCheckResults
 
right - Variable in class org.processmining.plugins.ltlchecker.Symbol
The data passed to parser
Role - Class in org.processmining.plugins.ltlchecker.declare2ltl
 
Role(int) - Constructor for class org.processmining.plugins.ltlchecker.declare2ltl.Role
Role
RootNode - Class in org.processmining.plugins.ltlchecker.formulatree
RootNode is used for binding formulae and values to the highest level of a defined formula.
RootNode() - Constructor for class org.processmining.plugins.ltlchecker.formulatree.RootNode
 
RPAREN - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
RuleModel - Class in org.processmining.plugins.ltlchecker
 
RuleModel() - Constructor for class org.processmining.plugins.ltlchecker.RuleModel
 
rules - Variable in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
 
RulesCellRenderer - Class in org.processmining.plugins.ltlchecker
 
RulesCellRenderer() - Constructor for class org.processmining.plugins.ltlchecker.RulesCellRenderer
 
RulesInstancesCellRenderer - Class in org.processmining.plugins.ltlchecker
 
RulesInstancesCellRenderer() - Constructor for class org.processmining.plugins.ltlchecker.RulesInstancesCellRenderer
 
rulesLabel - Variable in class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
 
rulesList - Variable in class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
 
rulesList - Variable in class org.processmining.plugins.ltlchecker.CheckResultsRuleBrowser
 
rulesList - Variable in class org.processmining.plugins.ltlchecker.CheckVisualizerGUI
 
rulesScrollPane - Variable in class org.processmining.plugins.ltlchecker.CheckResultsInstanceBrowser
 

S

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
 

T

tabSize - Variable in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
TEST - Static variable in class org.processmining.plugins.ltlchecker.Message
 
timestampLabel - Variable in class org.processmining.plugins.ltlchecker.EventCellRendererChecked
 
timestampLabel - Variable in class org.processmining.plugins.ltlchecker.EventCellRendererLC
 
timestampLabel - Variable in class org.processmining.plugins.ltlchecker.InstancesCellRenderer
 
token - Variable in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
Token - Class in org.processmining.plugins.ltlchecker.parser
Describes the input token stream.
Token() - Constructor for class org.processmining.plugins.ltlchecker.parser.Token
 
token_source - Variable in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
tokenImage - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
tokenImage - Variable in exception org.processmining.plugins.ltlchecker.parser.ParseException
This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.
TokenMgrError - Error in org.processmining.plugins.ltlchecker.parser
 
TokenMgrError() - Constructor for error org.processmining.plugins.ltlchecker.parser.TokenMgrError
 
TokenMgrError(String, int) - Constructor for error org.processmining.plugins.ltlchecker.parser.TokenMgrError
 
TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error org.processmining.plugins.ltlchecker.parser.TokenMgrError
 
top() - Method in class org.processmining.plugins.ltlchecker.virtual_parse_stack
Return value on the top of the stack (without popping it).
toString() - Method in class org.processmining.plugins.ltlchecker.CheckResult
To string this item.
toString() - Method in class org.processmining.plugins.ltlchecker.ConceptModel
 
toString() - Method in class org.processmining.plugins.ltlchecker.DataAttribute
 
toString() - Method in class org.processmining.plugins.ltlchecker.DataSection
 
toString() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.Event
toString
toString() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.PrettyTime
 
toString() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.Role
 
toString() - Method in class org.processmining.plugins.ltlchecker.declare2ltl.User
toString
toString() - Method in class org.processmining.plugins.ltlchecker.formulatree.BinaryNode
 
toString() - Method in class org.processmining.plugins.ltlchecker.formulatree.DateCompNode
 
toString() - Method in class org.processmining.plugins.ltlchecker.formulatree.DateValueNode
 
toString() - Method in class org.processmining.plugins.ltlchecker.formulatree.FormulaNode
Write this node as a string
toString() - Method in class org.processmining.plugins.ltlchecker.formulatree.NumberCompNode
 
toString() - Method in class org.processmining.plugins.ltlchecker.formulatree.NumberValueNode
 
toString() - Method in class org.processmining.plugins.ltlchecker.formulatree.QuantorNode
 
toString() - Method in class org.processmining.plugins.ltlchecker.formulatree.RootNode
 
toString() - Method in class org.processmining.plugins.ltlchecker.formulatree.SetCompNode
 
toString() - Method in class org.processmining.plugins.ltlchecker.formulatree.SetValueNode
 
toString() - Method in class org.processmining.plugins.ltlchecker.formulatree.StringCompNode
 
toString() - Method in class org.processmining.plugins.ltlchecker.formulatree.StringValueNode
 
toString() - Method in class org.processmining.plugins.ltlchecker.formulatree.UnaryNode
 
toString() - Method in class org.processmining.plugins.ltlchecker.formulatree.ValueNode
 
toString() - Method in class org.processmining.plugins.ltlchecker.InfoItem
Returns a string representation of this information item.
toString() - Method in class org.processmining.plugins.ltlchecker.OntologyModel
 
toString(boolean) - Method in class org.processmining.plugins.ltlchecker.parser.ASTComparison
 
toString(boolean) - Method in class org.processmining.plugins.ltlchecker.parser.ASTExpr
 
toString(boolean) - Method in class org.processmining.plugins.ltlchecker.parser.ASTFormulaCall
 
toString(boolean) - Method in class org.processmining.plugins.ltlchecker.parser.ASTformulaDefinition
 
toString(boolean) - Method in class org.processmining.plugins.ltlchecker.parser.ASTLiteral
 
toString(boolean) - Method in class org.processmining.plugins.ltlchecker.parser.ASTQuantification
 
toString(boolean) - Method in class org.processmining.plugins.ltlchecker.parser.ASTStringList
 
toString() - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
 
toString(boolean) - Method in class org.processmining.plugins.ltlchecker.parser.Attribute
 
toString(boolean) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
toString() - Method in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
toString(String) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
toString() - Method in class org.processmining.plugins.ltlchecker.parser.Token
Returns the image.
toString() - Method in class org.processmining.plugins.ltlchecker.ProvidedObject
 
toString() - Method in class org.processmining.plugins.ltlchecker.Symbol
Printing this token out.
toString() - Method in class org.processmining.plugins.ltlchecker.util.SetsSet
 
toString() - Method in class org.processmining.plugins.ltlchecker.util.Substitutes
 
translateToReferenceInLog(String, boolean, boolean) - Method in class org.processmining.plugins.ltlchecker.OntologyCollection
 
translateToReferencesInOntology(Collection<String>) - Method in class org.processmining.plugins.ltlchecker.OntologyCollection
 
TreeBuilder - Class in org.processmining.plugins.ltlchecker.util
TreeBuilder builds a formula tree from a parsetree and the name of a formula.
TreeBuilder(LTLParser, String, SetsSet) - Constructor for class org.processmining.plugins.ltlchecker.util.TreeBuilder
 
TreeNode - Class in org.processmining.plugins.ltlchecker.formulatree
Main class for treenodes, for formula nodes as well as for valuenodes.
TreeNode() - Constructor for class org.processmining.plugins.ltlchecker.formulatree.TreeNode
 
type - Variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
The type of this node.
TYPE_NAMES - Static variable in class org.processmining.plugins.ltlchecker.Message
 
typeLabel - Variable in class org.processmining.plugins.ltlchecker.EventCellRendererChecked
 
typeLabel - Variable in class org.processmining.plugins.ltlchecker.EventCellRendererLC
 
typeLabel - Variable in class org.processmining.plugins.ltlchecker.InstancesCellRenderer
 
typeLabel - Variable in class org.processmining.plugins.ltlchecker.RulesCellRenderer
 
typeLabel - Variable in class org.processmining.plugins.ltlchecker.RulesInstancesCellRenderer
 
typeNames - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 

U

UnaryNode - Class in org.processmining.plugins.ltlchecker.formulatree
UnaryNode is a node class of the formula tree denoting unary logic operators, like not, always, etc.
UnaryNode() - Constructor for class org.processmining.plugins.ltlchecker.formulatree.UnaryNode
 
unaryProp(ArrayList, String) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
UNMIN - Static variable in class org.processmining.plugins.ltlchecker.formulatree.NumberValueNode
unary Min operator
UNMINUS - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
UNPROP - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
UNTIL - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
UntilNode - Class in org.processmining.plugins.ltlchecker.formulatree
UntilNode is a node class of the formula tree denoting the until operator.
UntilNode() - Constructor for class org.processmining.plugins.ltlchecker.formulatree.UntilNode
 
updateGui() - Method in class org.processmining.plugins.ltlchecker.util.ParamTable
 
UpdateLineColumn(char) - Method in class org.processmining.plugins.ltlchecker.parser.SimpleCharStream
 
URI - Static variable in interface org.processmining.plugins.ltlchecker.parser.LTLParserConstants
 
USEFORMULA - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 
user - Variable in class org.processmining.plugins.ltlchecker.declare2ltl.Event
 
User - Class in org.processmining.plugins.ltlchecker.declare2ltl
 
User(int) - Constructor for class org.processmining.plugins.ltlchecker.declare2ltl.User
User
USESTATICFORMULA - Static variable in class org.processmining.plugins.ltlchecker.parser.SimpleNode
 

V

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.

W

WARNING - Static variable in class org.processmining.plugins.ltlchecker.Message
 
WORKFLOW_MODEL_ELEMENT - Static variable in class org.processmining.plugins.ltlchecker.ConceptModel
 
WORKITEM_ID - Static variable in class org.processmining.plugins.ltlchecker.declare2ltl.Event
 
write(String) - Method in class org.processmining.plugins.ltlchecker.model.LTLModel
 
writeToFile(String) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
 
writeToFile(String, Set<String>) - Method in class org.processmining.plugins.ltlchecker.parser.LTLParser
 

X

XTraceListModel - Class in org.processmining.plugins.ltlchecker
 
XTraceListModel(XTrace) - Constructor for class org.processmining.plugins.ltlchecker.XTraceListModel
 
A B C D E F G H I J K L M N O P Q R S T U V W X 
Skip navigation links