Package | Description |
---|---|
org.eclipse.ocl.examples.eventmanager.filters | |
org.eclipse.ocl.examples.eventmanager.framework |
Copyright (c) 2009, 2011 SAP AG and others.
|
Modifier and Type | Class and Description |
---|---|
class |
AndFilter
Is an
LogicalOperationFilter implementing the and-operator, so it
matches if each contained operand matches the Notification . |
class |
NotFilter
Is an
LogicalOperationFilter and implements the not-operator. |
class |
OrFilter
Is an
LogicalOperationFilter implementing the or-operator, so it
matches if any of the contained operand matches the Notification . |
Modifier and Type | Method and Description |
---|---|
LogicalOperationFilterImpl |
AndFilter.clone() |
Modifier and Type | Method and Description |
---|---|
static int |
RegistrationManagerTableBased.getDepth(LogicalOperationFilterImpl filter)
Computes the depth of the subtree.
|
static OrFilter |
RegistrationManagerTableBased.getDisjunctiveNormalForm(LogicalOperationFilterImpl filter)
Transforms the (sub-)tree into disjunctive normal form.
|