Package | Description |
---|---|
org.processmining.plugins.ltlchecker.formulatree | |
org.processmining.plugins.ltlchecker.parser |
Modifier and Type | Method and Description |
---|---|
Attribute |
SetValueNode.getValue() |
Modifier and Type | Class and Description |
---|---|
class |
ConceptSetAttribute |
class |
DateAttribute
DateAttribute is a specialised
Attribute class implementing an value
method, used to compute the value of an attribute given the context. |
class |
NumberAttribute
NumberAttribute is a specialised
Attribute class implementing an value
method, used to compute the value of an attribute given the context. |
class |
SetAttribute
SetAttribute is a specialised
Attribute class implementing an value
method, used to compute the value of an attribute given the context. |
class |
StringAttribute
StringAttribute is a specialised
Attribute class implementing an value
method, used to compute the value of an attribute given the context. |
Modifier and Type | Field and Description |
---|---|
protected Attribute |
SimpleNode.attribute
An attribute associated with the node.
|
Modifier and Type | Method and Description |
---|---|
Attribute |
LTLParser.attributeId(java.util.ArrayList localVars) |
Attribute |
LTLParser.dummy(java.util.ArrayList localVars) |
Attribute |
AttributeSet.get(java.lang.String name)
Get an attribute given an identifier
|
Attribute |
ASTComparison.getAttribute() |
Attribute |
ASTExpr.getAttribute() |
Attribute |
SimpleNode.getAttribute() |
Attribute |
LTLParser.getAttribute(java.lang.String id)
Get the attribute linked with id.
|
Attribute |
ASTQuantification.getDummy() |
Attribute |
FormulaParameter.getParam() |
Attribute |
LTLParser.literal(Attribute param) |
Attribute |
LTLParser.valId(Attribute param,
java.util.ArrayList localVars) |
Modifier and Type | Method and Description |
---|---|
void |
AttributeSet.add(java.lang.String name,
Attribute attribute)
Add an
Attribute to this set. |
SimpleNode |
LTLParser.expr(int type,
java.util.ArrayList localVars,
Attribute lefthandSideAttribute) |
Attribute |
LTLParser.literal(Attribute param) |
void |
ASTComparison.setAttribute(Attribute attr) |
void |
ASTExpr.setAttribute(Attribute attr) |
void |
SimpleNode.setAttribute(Attribute attribute) |
void |
ASTQuantification.setDummy(Attribute dummy) |
Attribute |
LTLParser.valId(Attribute param,
java.util.ArrayList localVars) |
Constructor and Description |
---|
Attribute(java.lang.String value,
int kind,
Attribute type) |
AttributeNoValueException(org.deckfour.xes.model.XTrace pi,
int ateNr,
Attribute attr) |
ConceptSetAttribute(java.util.List<java.lang.String> values,
int kind,
Attribute type) |
DateAttribute(java.lang.String value,
int kind,
Attribute type) |
FormulaParameter(Attribute param) |
FormulaParameter(Attribute param,
java.lang.String defaultValue) |
NumberAttribute(java.lang.String value,
int kind,
Attribute type) |
ParseAttributeException(java.lang.String stringValue,
Attribute attr) |
SetAttribute(java.lang.String value,
int kind,
Attribute type) |
SetAttribute(java.lang.String value,
int kind,
Attribute type,
java.util.List<java.lang.String> modelReferences) |
StringAttribute(java.lang.String value,
int kind,
Attribute type) |