org.processmining.plugins.petra.monotonicity.expressions

Class ExpressionNegation

java.lang.Object

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

org.processmining.plugins.petra.monotonicity.expressions.ExpressionNegation

public class ExpressionNegation
extends ExpressionNode

Field Summary

Fields inherited from class org.processmining.plugins.petra.monotonicity.expressions.ExpressionNode

children

Constructor Summary

Constructors

Constructor and Description
ExpressionNegation(org.processmining.processtree.Expression expr, java.lang.String subexpression)

Method Summary

Modifier and Type	Method and Description
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)
boolean	isTrue(java.util.Map<org.processmining.processtree.Variable,java.lang.String> values)

Methods inherited from class org.processmining.plugins.petra.monotonicity.expressions.ExpressionNode

giveNode, indexOfTopMostOperator, topMostOperator

Methods inherited from class java.lang.Object

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

Constructor Detail

ExpressionNegation

public ExpressionNegation(org.processmining.processtree.Expression expr,
                          java.lang.String subexpression)

Method Detail

isTrue

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

Specified by:

isTrue in class ExpressionNode

getValidValues

public 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)

Specified by:

getValidValues in class ExpressionNode