org.processmining.plugins.petra.monotonicity.expressions

Class ExpressionNode

java.lang.Object

org.processmining.plugins.petra.monotonicity.expressions.ExpressionNode

Direct Known Subclasses:

ExpressionAnd, ExpressionLiteral, ExpressionNegation, ExpressionOr

public abstract class ExpressionNode
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.List<ExpressionNode>	children

Constructor Summary

Constructors

Constructor and Description
ExpressionNode()

Method Summary

Modifier and Type	Method and Description
abstract java.util.Set<java.util.Map<org.processmining.processtree.Variable,java.lang.String>>	getValidValues(java.util.Map<org.processmining.processtree.Variable,java.util.Set<java.lang.String>> possibleValues)
protected static ExpressionNode	giveNode(ExpressionOperator op, org.processmining.processtree.Expression expression, java.lang.String subExpression)
protected static int	indexOfTopMostOperator(java.lang.String expression)
abstract boolean	isTrue(java.util.Map<org.processmining.processtree.Variable,java.lang.String> values)
static ExpressionOperator	topMostOperator(java.lang.String expression)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

children

protected java.util.List<ExpressionNode> children

Constructor Detail

ExpressionNode

public ExpressionNode()

Method Detail

isTrue

public abstract boolean isTrue(java.util.Map<org.processmining.processtree.Variable,java.lang.String> values)

getValidValues

public abstract java.util.Set<java.util.Map<org.processmining.processtree.Variable,java.lang.String>> getValidValues(java.util.Map<org.processmining.processtree.Variable,java.util.Set<java.lang.String>> possibleValues)

indexOfTopMostOperator

protected static int indexOfTopMostOperator(java.lang.String expression)

topMostOperator

public static ExpressionOperator topMostOperator(java.lang.String expression)

giveNode

protected static ExpressionNode giveNode(ExpressionOperator op,
                                         org.processmining.processtree.Expression expression,
                                         java.lang.String subExpression)